Ph.D. Dissertations - Ras Bodik

Dynamic and Interactive Synthesis of Code Snippets
Joel Galenson [2014]

Programming Layout by Manipulation
Thibaud Hottelier [2014]

Parallel Layout Engines: Synthesis and Optimization of Tree Traversals
Leo Meyerovich [2013]

Data-Parallel Language for Correct and Efficient Sparse Matrix Codes
Gilad Arnold [2011]

Complex Program Transformations Via Simple Online Dynamic Analyses
Ajeet Ganesh Shankar [2009]

Program Synthesis By Sketching
Armando Solar Lezama [2008]

Refinement-Based Program Analysis Tools
Manu Sridharan [2007]

Using Criticality to Attack Performance Bottlenecks
Brian Allen Fields [2006]