Current students and postdocs:
<ul>
<li><a href="http://ntung.com/">Nicholas Tung</a>,
    <em>BS</em>, 
	expected graduation: 2012,
	topic: <em>Synthesis for GPUs</em>.
</li>
<li>Evan Pu,
    <em>BS</em>, 
	expected graduation: 2011,
	topic: <em>Synthesis of dynamic programming algorithms</em>, co-advised with Saurabh Srivastava.
</li>
<li><a href="http://www.eecs.berkeley.edu/~lmeyerov/">Leo Meyerovich</a>,
    <em>PhD</em>, 
	expected graduation: 2013,
	topic: <em>Parallel layout engines and expressing layout semantics</em>, winner of NSF Fellowship, Qualcomm Fellowship, CRA Honorable Mention.
</li>
<li><a href="http://www.eecs.berkeley.edu/~sbarman/">Shaon Barman</a>,
    <em>PhD</em>, 
	expected graduation: 2014,
	topic: <em>Angelic programming</em>.
</li>
<li><a href="http://parlab.eecs.berkeley.edu/node/216">Joel Galenson</a>,
    <em>PhD</em>, 
	expected graduation: 2014,
	topic: <em>Programming by demonstration</em>, co-advised with Koushik Sen.
</li>
<li><a href="http://parlab.eecs.berkeley.edu/node/274">Thibaud Hottelier</a>,
    <em>PhD</em>, 
	expected graduation: 2014,
	topic: <em>Mud: declarative layout language with a synthesis-based compiler</em>.
</li>
<li><a href="http://www.cs.umd.edu/~saurabhs/">Saurabh Srivastava</a>,
    <em>postdoc</em>, 
	expected graduation: 2012,
	topic: <em>Synthesis for synthetic biology</em>, winner of CIFellowship.
</li>
<li><a href="http://people.epfl.ch/alisinan.koksal">Ali Sinan Koksal</a>,
    <em>PhD</em>, 
	expected graduation: 2017,
	topic: <em>tbd</em>.
</li>
<li><a href="http://www.linkedin.com/in/edwardklu">Edward Lu</a>,
    <em>BS</em>, 
	expected graduation: 2012,
	topic: <em>rendering for the browser project</em>.
</li>
</ul>
Graduated:
<ul>
<li><a href="http://pages.cs.wisc.edu/~sastry/">Subbu Sastry</a>,
    <em>PhD</em>, 2003 (University of Wisconsin),
	<em>Techniques for Transparent Program Specialization In Dynamic Optimizers</em>, co-advised with Jim Smith.
</li>
<li><a href="http://domino.research.ibm.com/library/cyberdig.nsf/papers?SearchView&amp;Query=Field+AuthorList=ammons&amp;SearchMax=50">Glenn Ammons</a>,
    <em>PhD</em>, 2003 (University of Wisconsin),
	<em>Strauss:  A Specification Miner</em>, co-advised with Jim Larus.
</li>
<li><a href="http://xhfamily.com/x/">Min Xu</a>,
    <em>PhD</em>, 2006 (University of Wisconsin),
	<em>Race Recording for Multithreaded Deterministic Replay Using Multiprocessor Hardware</em>, co-advised with Mark Hill.
</li>
<li>Brian Fields,
    <em>PhD</em>, 2006,
	<em>Using Criticality to Attack Performance Bottlenecks</em>, winner of NSF Fellowship.
</li>
<li><a href="https://researcher.ibm.com/researcher/view.php?person=us-msridhar">Manu Sridharan</a>,
    <em>PhD</em>, 2007,
	<em>Refinement-Based Program Analysis Tools</em>, winner of Microsoft Fellowship, NDSEG Fellowship.
</li>
<li><a href="http://www.boopidy.com/aj/cs/index.html">A.J. Shankar</a>,
    <em>PhD</em>, 2007,
	<em>Complex Program Transformations Via Simple Online Dynamic Analyses</em>, winner of NDSEG Fellowship.
</li>
<li><a href="http://blog.mozilla.com/dmandelin/2011/04/">David Mandelin</a>,
    <em>MS</em>, 2007,
	<em>Prospector</em>.
</li>
<li><a href="http://people.csail.mit.edu/asolar/">Armando Solar-Lezama</a>,
    <em>PhD</em>, 2008,
	<em>Program Synthesis by Sketching</em>, winner of IBM Fellowship.
</li>
<li>Liviu Tancau,
    <em>MS</em>, 2007,
	<em>JavaSketch</em>.
</li>
<li>Lexin Shan,
    <em>MS</em>, 2009,
	<em>SMT-based Sketch Synthesizer</em>.
</li>
<li><a href="http://blog.mozilla.com/cjones/">Chris Jones</a>,
    <em>BS</em>, 2008,
	<em>Parallel lexical analysis</em>, winner of 2008 CRA Honorable Mention.
</li>
<li>Justin Bonnar,
    <em>BS</em>, 2009,
	<em>Attribute grammar scheduler</em>.
</li>
<li>Seth Fowler,
    <em>MS</em>, 2011,
	<em>Divide-and-Conquer Parsing for Parallelism and Laziness</em>, winner of Qualcomm Fellowship.
</li>
<li>Adam Jiang,
    <em>MS</em>, 2011,
	<em>Attribute grammar scheduler for parallel layout engines</em>.
</li>
<li>James Ide,
    <em>BS</em>, 2011,
	<em>A declarative layout and animation language</em>.
</li>
<li><a href="http://www.linkedin.com/in/edwardklu">Apollo Ellis</a>,
    <em>BS</em>, 2008,
	<em>Parallel raytracing</em>.
</li>
<li><a href="http://www.eecs.berkeley.edu/~arnold/">Gilad Arnold</a>,
    <em>PhD</em>, 2011,
	<em>LL: dataparallel language for sparse matrices</em>.
</li>
<li>Sagar Jain,
    <em>MS</em>, 2011,
	<em>Program Synthesis of Parallel Scans</em>.
</li>
</ul>