Computer Science University of California / UNIVERSITY OF CALIFORNIA / Harvey Mudd College / Evans Date University of California / /
IndustryTerm
large software systems / real software systems / software defects / /
Organization
Chair Date Professor George Necula Date Professor Steven N. Evans Date University / BERKELEY Committee / UNIVERSITY OF CALIFORNIA / BERKELEY / Stanford / GRADUATE DIVISION / Harvey Mudd College / /
Person
Tachio Terauchi / George Necula / Simon Goldsmith / Jeff Foster / George Necula Professor Steven / Alex Students / N. Evans Spring / David Gay / Steven N. Evans / Miki Yamamoto / Alexander Aiken / Iulian Neamtiu / Alex Aiken / Edith Harbaugh / Zhendong Su / Kirsten Chevalier / John Kodumal / Ben Liblit / Dan Wilkerson / Polyvios Pratikakis / Matt Muto / Jonathan Ragan-Kelley / Berkeley Professor Alexander Aiken / /
Program Analysis with Regularly Annotated Constraints by John Kodumal B.S. (Harvey Mudd College[removed]A dissertation submitted in partial satisfaction of the requirements for the degree of