Postdocs and staff:

  • Aditya Thakur, researcher, project: Inference Engines for Executable Biology.


  • Sarah Chasins, PhD, expected graduation: 2019, topic: Web scraping by demonstration, winner of NSF Graduate Research Fellowship; ARCS Fellowship for Graduate Study.
  • Julie Newcomb, PhD, expected graduation: 2020, topic: Creating a DSL to define hints for student homework problems on DFAs.
  • Chenglong Wang, PhD, expected graduation: 2020, topic: PBD for data analysis , co-advised with Alvin Cheung.
  • Sam Elliott, PhD, expected graduation: 2020, topic: Synthesis for spatial architectures .
  • Sam Kaufman, PhD , expected graduation: 2020, topic: ML + PLSE.


  • 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, now at IBM Research.
  • Min Xu, PhD, 2006 (University of Wisconsin), Race Recording for Multithreaded Deterministic Replay Using Multiprocessor Hardware, co-advised with Mark Hill, now at SeaMicro.
  • Brian Fields, PhD, 2006, Using Criticality to Attack Performance Bottlenecks, winner of NSF Fellowship, now at Webroot Software.
  • Manu Sridharan, PhD, 2007, Refinement-Based Program Analysis Tools, winner of Microsoft Fellowship, NDSEG Fellowship, now at IBM Research.
  • A.J. Shankar, PhD, 2007, Complex Program Transformations Via Simple Online Dynamic Analyses, winner of NDSEG Fellowship, now at modista, EasyESI.
  • David Mandelin, MS, 2007, Prospector, now at Mozilla.
  • Armando Solar-Lezama, PhD, 2008, Program Synthesis by Sketching, winner of IBM Fellowship, now at MIT.
  • Liviu Tancau, MS, 2007, JavaSketch, now at Google.
  • Lexin Shan, MS, 2009, SMT-based Sketch Synthesizer.
  • Chris Jones, BS, 2008, Parallel lexical analysis, winner of 2008 CRA Honorable Mention, now at Mozilla.
  • Justin Bonnar, BS, 2009, Attribute grammar scheduler, now at Amazon.
  • Seth Fowler, MS, 2011, Divide-and-Conquer Parsing for Parallelism and Laziness, winner of Qualcomm Fellowship, now at Qualcomm Research Center.
  • Adam Jiang, MS, 2011, Attribute grammar scheduler for parallel layout engines, now at Oracle.
  • James Ide, BS, 2011, A declarative layout and animation language, now at Facebook.
  • Apollo Ellis, BS, 2008, Parallel raytracing, now at UT Austin (grad student); Intel.
  • Gilad Arnold, PhD, 2011, Data-Parallel Language for Correct and Efficient Sparse Matrix Codes, now at Google.
  • Sagar Jain, MS, 2011, Program Synthesis of Parallel Scans, now at Google.
  • Nicholas Tung, BS, 2012, Synthesis for GPUs.
  • Evan Pu, BS, 2011, Synthesis of dynamic programming algorithms, co-advised with Saurabh Srivastava, now at MIT (grad student).
  • Edward Lu, MS, 2013, Synthesis of relational queries, now at Google.
  • Matt Torok, BS, 2013, Superconductor: Data visualization layout on GPU, now at Graphistry.
  • Leo Meyerovich, PhD, 2013, Parallel layout engines and expressing layout semantics, winner of NSF Fellowship, Qualcomm Fellowship, CRA Honorable Mention, now at Graphistry.
  • Joel Galenson, PhD, 2014, CodeHint, co-advised with Koushik Sen, now at Qualcomm BARD; Google.
  • Thibaud Hottelier, PhD, 2014, Mud: declarative layout language with a synthesis-based compiler, now at Graphistry.
  • Saurabh Srivastava, researcher, 2014, Synthesis for synthetic biology, winner of CIFellowship, now at 20n; Synthetic Minds.
  • Emina Torlak, researcher, 2014, Solver-Aided Languages and Symbolic Virtual Machines, now at University of Washington.
  • Shaon Barman, PhD, 2015, Programming by demonstration for web browser users.
  • Ali Sinan Koksal, PhD, 2018, Modeling biology with solver-aided languages, co-advised with Jasmin Fisher, Nir Piterman, now at Google.
  • Phitchaya (Mangpo) Phothilimthana, PhD, 2018, Synthesis-aided compiler for ultra-low-power manycores, winner of Qualcomm Innovation Fellowship; MSR Fellowship, now at Google Brain Research.
  • Eric Atkinson, BS, 2015, Synthesis of parallel layout engines, now at MIT.
  • Rohin Shah, BS, 2016, Automatic Specialization of Inference Algorithms, now at UC Berkeley.
  • Chenyang Yuan, BS, 2016, Synthesis Engines.
  • Kartik Chandra, High School, , , now at Stanford.
  • Sumith Kulal, BS, , , now at Stanford.



Looking for a research programmer position?

We are looking for a research programmer with interests in program synthesis, DSLs, SMT solvers, and Scala.

Course on program synthesis

Emina Torlak and I have given an invited tutorial at CAV 2012. The tutorial is being expanded this semester into a graduate course, which you can follow as we add lectures and homeworks. CAV tutorial slides: (ppt, pdf, screencast). The graduate course.

Layout based on BASIC by Download Website Templates