Ph.D. Dissertations - Ras Bodik

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]

Program Analysis Using Random Interpretation
Sumit Gulwani [2005]