Current Ph.D. Students:

C.J. Bell (Fault Tolerance)

Matt Meola (Language Design for Ad Hoc Data Processing)

Frances Spalding Perry (Transient Fault Tolerance)

Qian Xi (Grammar Induction & Automatic Generation of Data Processing Tools)

 

Former Ph.D. Students:

Daniel S. Dantas (Graduated 08/07, thesis)

Limin Jia (Graduated 11/07, thesis, now:  University of Pennsylvania)

Jay Ligatti (Graduated 05/06, thesis, now:  University of South Florida)

Yitzhak Mandelbaum (Graduated 08/06, thesis, now: AT&T Research)

 

Undergraduate Advisees:

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.

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:

Amal Ahmed (Princeton, now TTI)

Andrew Appel (Princeton)

Lujo Bauer (Princeton, now CMU)

David Burke (Galois Connections)

Iliano Cervesato

Mark Daly (Princeton, now industry)

Daniel S. Dantas (Princeton)

Mary Fernandez (AT&T)

Kathleen Fisher (AT&T)

Neal Glew (Intel)

Limin Jia (Princeton)

Robert Harper (CMU)

John Launchbury (Galois Connections)

Jay Ligatti (Princeton, now South Florida)

Lester Mackey (Princeton, now Berkeley)

Yitzhak Mandelbaum (Princeton, now AT&T)

Todd Millstein (UCLA)

Greg Morrisett (Cornell, now Harvard)

Xinming Ou (Princeton, now Kansas State)

Rob Simmons (Princeton, now CMU)

Frank Pfenning (CMU)

Gang Tan (Princeton, now Boston College)

Geoff Washburn (UPenn)

Kevin Watkins (CMU)

Stephanie Weirich (UPenn)

Peter White (Galois Connections)

Steve Zdancewic (UPenn)

Kenny Q. Zhu (Princeton)