Ph.D. Dissertations - Ras Bodik
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]
Electrical Engineering and Computer Sciences |
||
COLLEGE OF ENGINEERING |
UC Berkeley |
|
|
||||
|
|
||||
|
Information for: Support Services: |
||||
|
|