Links

• The LLVM Compiler Infrastructure

  I began working with LLVM in 2003 at the University of Illinois. It's a very nice compiler infrastructure, and I've used it in nearly all of my research projects.

• Secure Virtual Architecture

  I am the lead developer on the Secure Virtual Architecture (SVA). SVA enforces safety properties on commodity operating system kernels.

• University of Rochester

  My current employer.

• University of Illinois

  My alma mater and previous employer.

Menu