Posted October 2010

research groups

Posted October 2005

  • Plaid: the great family that I'm part of
  • Fluid: static analysis like you've never seen before
  • POP: the award-winning type theory group
  • SVC: model checking and more

teaching assistantships

Updated Spring 2007


Posted June 2008

class project

Posted Spring 2006

Incremental Path Profiling for Optimizing Compilers (with Laura Hiatt)  

open source

Updated February 2009