Current students and postdocs:
  • Nicholas Tung, BS, expected graduation: 2012, topic: Synthesis for GPUs.
  • Evan Pu, BS, expected graduation: 2011, topic: Synthesis of dynamic programming algorithms, co-advised with Saurabh Srivastava.
  • Leo Meyerovich, PhD, expected graduation: 2013, topic: Parallel layout engines and expressing layout semantics, winner of NSF Fellowship, Qualcomm Fellowship, CRA Honorable Mention.
  • Shaon Barman, PhD, expected graduation: 2014, topic: Angelic programming.
  • Joel Galenson, PhD, expected graduation: 2014, topic: Programming by demonstration, co-advised with Koushik Sen.
  • Thibaud Hottelier, PhD, expected graduation: 2014, topic: Mud: declarative layout language with a synthesis-based compiler.
  • Saurabh Srivastava, postdoc, expected graduation: 2012, topic: Synthesis for synthetic biology, winner of CIFellowship.
  • Ali Sinan Koksal, PhD, expected graduation: 2017, topic: tbd.
  • Edward Lu, BS, expected graduation: 2012, topic: rendering for the browser project.
Graduated:
  • Subbu Sastry, PhD, 2003 (University of Wisconsin), Techniques for Transparent Program Specialization In Dynamic Optimizers, co-advised with Jim Smith.
  • Glenn Ammons, PhD, 2003 (University of Wisconsin), Strauss: A Specification Miner, co-advised with Jim Larus.
  • Min Xu, PhD, 2006 (University of Wisconsin), Race Recording for Multithreaded Deterministic Replay Using Multiprocessor Hardware, co-advised with Mark Hill.
  • Brian Fields, PhD, 2006, Using Criticality to Attack Performance Bottlenecks, winner of NSF Fellowship.
  • Manu Sridharan, PhD, 2007, Refinement-Based Program Analysis Tools, winner of Microsoft Fellowship, NDSEG Fellowship.
  • A.J. Shankar, PhD, 2007, Complex Program Transformations Via Simple Online Dynamic Analyses, winner of NDSEG Fellowship.
  • David Mandelin, MS, 2007, Prospector.
  • Armando Solar-Lezama, PhD, 2008, Program Synthesis by Sketching, winner of IBM Fellowship.
  • Liviu Tancau, MS, 2007, JavaSketch.
  • Lexin Shan, MS, 2009, SMT-based Sketch Synthesizer.
  • Chris Jones, BS, 2008, Parallel lexical analysis, winner of 2008 CRA Honorable Mention.
  • Justin Bonnar, BS, 2009, Attribute grammar scheduler.
  • Seth Fowler, MS, 2011, Divide-and-Conquer Parsing for Parallelism and Laziness, winner of Qualcomm Fellowship.
  • Adam Jiang, MS, 2011, Attribute grammar scheduler for parallel layout engines.
  • James Ide, BS, 2011, A declarative layout and animation language.
  • Apollo Ellis, BS, 2008, Parallel raytracing.
  • Gilad Arnold, PhD, 2011, Data-Parallel Language for Correct and Efficient Sparse Matrix Codes.
  • Sagar Jain, MS, 2011, Program Synthesis of Parallel Scans.

Layout based on BASIC by Download Website Templates