Current Projects:
PADS:
processing ad hoc data sources
Zap:
producing reliable software in the presence of transient faults
Older Projects:
Polymer:
compositional program monitoring
AspectML:
a functional aspect-oriented programming language
Plato:
logical reasoning about programs
TAL: typed assembly language
Courses
COS JIW/SRT/397/497:
Independent Work (Spring
08,
Fall
07) (Look
Here for IW
online calendar)
COS 441: Programming Languages (Fall 05,
Fall 07)
COS 226: Introduction to
Algorithms and Data Structures (Spring
07)
COS 320: Compiling Techniques (Spring 03,
Spring 04,
Spring 05,
Spring 06)
COS 597B: Computer Security Foundations (Fall 04)
COS 510: Programming Languages (Fall 02,
Fall
03)
COS 598E: Foundations of Language-Based Security (Spring 02).
TACL Seminar:
Princeton's research seminar on programming languages and compiler
technology
General Academic Service
Associate Editor for ACM TOPLAS. June 2007-.
ACM POPL Publicity Chair. POPL 03-POPL 06.
Program Committees & Summer Schools
[2007]
POPL 07,
CGO 07,
FOOL/WOOD 07,
TFP 07,
PLAS 07.
[2006] SPACE 06 (Program Co-Chair),
ICALP 06,
FOAL 06,
Summer School on Language-Based Techniques for Concurrent and Distributed
Software (Steering Committee).
[2005]
FOAL
05 (Program Chair),
TLDI 05,
NJPLS
(Program Chair),
Summer School on Reliable Computing
(Organizer).
[2004]
ICFP 04,
LRRP 04,
FOAL
04,
NJPLS (Host),
Summer School on Software Security
(Organizer).
[2003]
NJPLS (Host),
Summer
School on
Foundations of Security (Invited speaker).
[2002]
PEPM
02,
NJPLS
(Program Chair), Summer School on Foundations
of Internet Security. (Invited speaker).
Awards
Most
Influential 1998 POPL Paper Award. (pdf)
Awarded after 10 years consideration at POPL 2008. Also see our journal
paper on this topic (pdf).
PLDI 2007 Best Paper Award
(pdf). June 2007.
Emerson Junior Faculty Award for Excellence in Research and Teaching.
May 2005.
Alfred P. Sloan Fellow. Sept 2004-Sept 2006.
NSF Career Award. July 2003.
Awards Won by My Students
Accenture
Award. Won by Zach DeVito, an undergraduate advisee. Dec.
2007.
Accenture
Award. Won by Lester Mackey, an undergraduate advisee. Dec.
2007.
CRA
Outstanding Undergraduate Award. Won by Lester Mackey, an undergraduate
advisee. May 2007.
Pyne
Prize. Won by Lester Mackey, an undergraduate
advisee. May 2007.
Princeton Computer Science Department Senior Thesis
Award.
Co-winner Mark Daly, an undergraduate advisee. May 2006.
Princeton Computer Science Department Senior Thesis
Award.
Co-winner Rob Simmons, an undergraduate advisee. May 2005.