Current Course

In Spring 2008 I'm teaching a graduate seminar on optimistic replication.

Past Courses

• cs173, Programming Languages:
  • Fall 2007
  • Fall 2005 [review]
  • Fall 2004 [review]
  • Fall 2003 [review]
  • Fall 2002 [review]
  • Fall 2001 [review]
  • Fall 2000
• cs234, Software Engineering: Spring 2005 with Steve Reiss (Software Security: Access Control and Information Flow)
• cs274, Programming Language Theory /
  cs296-1, Topics in Programming Languages and Systems:
  • Spring 2006 (Dynamic Access Control)
  • Fall 2004 (Operational Semantics)
  • Spring 2003 (Software Verification)
  • Spring 2002 (Types and Programming Languages)
  • Spring 2001 (Survival Kit)
• cs190, Software System Design: Spring 2004 [review]
• cs183-184, Consistent Software Evolution: Fall 2002-2003 with Steve Reiss

All reviews are from the Critical Review, Brown's independent, student-run review process.