Postdocs and staff:
- Aditya Thakur, researcher, project: Inference Engines for Executable Biology.
Students:
- 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.
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, 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.
About
- Contact Information
- Download CV
- Projects
- Students
- Papers
- Talks
- Current and Recent Courses
- Courseware
- Organizing
News
Looking for a research programmer position? 9/4/2018
We are looking for a research programmer with interests in program synthesis, DSLs, SMT solvers, and Scala.
Course on program synthesis
9/2/2012Emina 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.