I am a first year Ph.D. student in the Programming Systems group at UCSD. I am interested in tools and techniques that not only enable the development of software that is guaranteed to exhibit a set of useful properties, but are also as painless to use as possible. I am currently working on CSolve, which is a verifier for C programs based on Low-Level Liquid Types.
Deterministic Parallelism with Liquid Effects - PLDI 2012 [pdf]
CSolve: Verifying C with Liquid Types - CAV 2012 (tool description) [pdf]
I graduated from MIT in 2008 with an S.B. in Computer Science, and again in 2009 with an M.Eng (thesis). After graduation, I worked at Oracle with a fantastic group of people developing a cluster filesystem for Windows, Linux, AIX, and Solaris. It was at this time that I became interested in programming languages and program analysis, especially with respect to analyzing systems software.