Welcome. I am currently a Software Engineer at Google. Previously, I was a Ph.D. student in the Analysis of Computer Systems Group at New York University, working with Clark Barrett.
If you find me fascinating (and you should—I am), read my blog, look at my pictures, or friend me on Facebook.
Email: cconway at cs dot nyu dot edu (are the spambots really this dumb?)
Projects:
- Cascade, a Java verification framework
- CVC4, an SMT solver
- Orion, a high-precision static analyzer for C
- NDL, a domain-specific language for device drivers
- Pencil, a language for describing Petri Nets
Publications:
- Tools and Techniques for the Sound Verification of Low Level Code. Ph.D. Thesis. January 2011. (abstract) (PDF)
- Leveraging SMT: Using SMT Solvers to Improve Verification; Using Verification to Improve SMT Solvers (position paper). With Clark Barrett. Usable Verification Workshop 2010. (PDF)
- Verifying Low-Level Implementations of High-Level Datatypes. With Clark Barrett. CAV 2010. (PDF) (BibTeX) (DOI)
- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. With Dennis Dams, Kedar S. Namjoshi, and Clark Barrett. SAS 2008. (PDF) (BibTeX) (DOI) (Tech report version)
-
Programming Asynchronous Layers with CLARITY. With Prakash
Chandrasekaran, Joseph M. Joy, and Sriram K. Rajamani. FSE 2007.
(PDF)
(BibTeX)
(DOI)
- Verifiable design of asynchronous software. With Prakash Chandrasekaran, Joseph M. Joy, and Sriram K. Rajamani. Next Generation Design and Verification of Methodologies for Distributed Embedded Control Systems, 2007. Invited paper. (proceedings)
- Incremental Algorithms for Inter-procedural Analysis of Safety Properties. With Kedar S. Namjoshi, Dennis Dams, and Stephen A. Edwards. CAV 2005. (PDF) (BibTeX) (Slides) (DOI) (Tech report version)
- NDL: A Domain-Specific Language for Device Drivers. With Stephen A. Edwards. LCTES 2004. (PDF) (BibTeX) (Slides) (DOI)
Teaching:
- Introduction to Computers & Programming (Summer 09) (Instructor)
- Programming Languages and Translators (Fall 05) (TA)
- Intro to Computer Science (Summer 03) (Instructor)
Miscellaneous:
- Some software I've written
- Some ancient, pre-Flickr-era pictures.
Useful NYU Links (not intended for public consumption, but go ahead and consume, if you must):
- NYUHome
- NYU Calendar
- Bobcat Library Search
- ACM Portal
- SpringerLink
- NYU Proxy:
https://ezproxy.library.nyu.edu/login?url= ... - Proxy bookmarklet:
javascript:location.href='https://ezproxy.library.nyu.edu/login?url='+location.href