Current Ph.D. Students & Post-Docs:

C.J. Bell (Co-advised with Andrew Appel; The Semantics of Parallelizing Compilers)

Chris Monsanto (Frenetic:  A Network Programming Language)

Cole Schlesinger (Yarra: a lightweight extension to C for data integrity and partial safety)

Qian Xi (Domain-Specific Languages & Tools for Data Processing)

 

Graduated Masters, Ph.D. Students & Post-Docs:

Rob Harrison (Masters 2009-2011, thesis; after graduating:  West Point)

Nate Foster (Post-Doc 2009-2010; next appointment:  Cornell University)

Kenny Q. Zhu (Post-Doc 2007-2009, next appointment:  Shanghai Jiao Tong University)

Frances Spalding Perry (Graduated Ph.D. 08/08, thesis, after graduating:  Google)

Daniel S. Dantas (Graduated Ph.D. 08/07, thesis, after graduating:  Consulting)

Limin Jia (Graduated Ph.D. 11/07, thesis, after graduating:  University of Pennsylvania)

Jay Ligatti (Graduated Ph.D. 05/06, thesis, after graduating:  University of South Florida)

Yitzhak Mandelbaum (Graduated Ph.D. 08/06, thesis, after graduating: AT&T Research)

 

Undergraduate Advisees:

Adriana Susnea.  A high-level parallel language for querying and visualizing CoMon data. Spring 2011.

Alex Ogier.  Complexity analysis for functional data parallel programs. Fall 2010.

Patrick Wendell.  Interfacing ad hoc data with Avro through bi-directional lenses.  Fall 2010.

Adam Sanders, A news aggregator and reader. Senior Thesis, Fall 2008-Spring 2009

Michael Dirolf.  Software transient fault tolerance:  Compiler intermediate representation design and implementation.  Fall 2007.

David Costanzo.  Algorithms for processing dependent regular expressions.  Summer research.  Summer 2007; Senior Independent Work, Fall 2007.

Aaron Potechin.  Algorithms in O'Caml.  Summer course development.  Summer 2007.

Ben Deloache.  Test data generation with PADS.  Senior Independent Work.  Fall 2006.

Zach DeVito.  Data format inference.  Junior Independent Work.  Fall 2006.

Mark Daly. A user interface and format inference for processing ad hoc data.  Senior Thesis.  Fall 2005-Spring 2006.

Lester Mackey.  Lambda Zap: An intermediate language for fault tolerance.  Summer research & Junior Independent Work.  Spring-Summer 2006.  ACM Outstanding Undergraduate Winner, 2007.

Jin Oh.  PADS and CASS utilization for beta coefficients estimation with the single-index model.  Senior Independent Work.  Spring 2006.

Michael Ten-Pow.  Junior Independent Work.  Fall 2005.

Rob Simmons.  Twelf as a unified framework for language formalization and implementation.  Senior Thesis, Fall 2004-Spring 2005.  Co-winner of the Princeton Computer Science Department Senior Thesis Award.  (pdf)

Jonathon Heinberg. MinAML:  A minimalized aspect-oriented programming language.  Junior Independent Work, Spring 2003.

Jonathon Heinberg. JTensor:  A linear logic theorem prover in Java.  Junior Independent Work. Fall 2002.

Bismark Paliz. Engineering webservers for resistance to denial of service attacks.  Senior Independent Work. Fall 2002.

 

Recent Collaborators:

Andrew Appel (Princeton)

David August (Princeton)

Lujo Bauer (Princeton, now CMU)

CJ Bell (Princeton)

Daniel S. Dantas (Princeton)

Mike Freedman (Princeton)

Kathleen Fisher (AT&T)

Nate Foster (Cornell)

Limin Jia (Princeton)

Trevor Jim (AT&T)

Robert Harper (CMU)

Rob Harrison (Princeton)

Shuvendu Lahiri (Microsoft)

Jay Ligatti (Princeton, now South Florida)

Yitzhak Mandelbaum (Princeton, now AT&T)

Chris Monsanto (Princeton)

Greg Morrisett (Cornell, now Harvard)

Vivek Pai (Princeton)

Jen Rexford (Princeton)

Frank Pfenning (CMU)

Shaz Qadeer (Microsoft)

Cole Schlesinger (Princeton)

Nikhil Swamy (Microsoft)

Stephanie Weirich (UPenn)

Qian Xi (Princeton)

Steve Zdancewic (UPenn)

Ben Zorn (Microsoft)

Kenny Q. Zhu (Princeton)