I'm giving a talk on KLEE at Stanford's Annual Security Workshop on April 16, 2009.

Our OSDI 2008 paper (best paper award) is ready. It presents our new symbolic execution system KLEE, and our experience applying it to over 450 UNIX utilities.

Our TISSEC 2008 journal paper is ready. It is an extended version of our CCS 2006 paper on EXE.

I am a doctoral student in the Department of Computer Science at Stanford University, working in Prof. Dawson Engler's group. My research interests include most aspects related to software conformance and reliability, and span the areas of software engineering, program analysis, and computer security.

My Ph.D. work focuses on applying symbolic execution techniques to checking real systems code. The three symbolic execution systems that we designed (EGT, EXE, and KLEE) were applied to a variety of systems (Linux file systems, networking tools, UNIX utilities etc.) finding bugs in all of them, together with the actual inputs generating these bugs.

Previous work has included research on software resilience and reliability, most notably the Failure Oblivious project at MIT, and the Data Randomization/WIT projects at Microsoft Research.

Previously, I received a Master of Engineering degree in Computer Science from MIT, under the direction of Prof. Martin Rinard. I received a Bachelor of Science degree in Computer Science, and a Bachelor of Science degree in Mathematics, also from MIT.