Ph.D. Dissertations - Ras Bodik

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]