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

First Page		Document Content
Date: 2006-09-15 15:19:01 PAT Constraint programming Software engineering Program analysis Static program analysis George Necula		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 Add to Reading List Source URL: theory.stanford.edu Download Document from Source Website File Size: 928,68 KB Share Document on Facebook

	Minimizing Faulty Executions of Distributed Systems Aurojit Panda? Vjekoslav Brajkovic George Necula? Arvind Krishnamurthy† Scott Shenker? DocID: 1xUc2 - View Document
	CCured: Type-Safe Retrofitting of Legacy Software GEORGE C. NECULA, JEREMY CONDIT, MATTHEW HARREN, SCOTT McPEAK, and WESTLEY WEIMER University of California, Berkeley DocID: 1sZHA - View Document
	The Landscape of Parallel Computing Research: A View from Berkeley 2.0 Krste Asanovic, Ras Bodik, Jim Demmel, John Kubiatowicz, Kurt Keutzer, Edward Lee, George Necula, Dave Patterson, Koushik Sen, John Shalf, John Wawrz DocID: 1sUrL - View Document
	CCured: Type-Safe Retrofitting of Legacy Software GEORGE C. NECULA, JEREMY CONDIT, MATTHEW HARREN, SCOTT McPEAK, and WESTLEY WEIMER University of California, Berkeley DocID: 1mxmo - View Document
	Published in the Proceedings of the Principles of Programming Languages, 2002, pages 128–139 CCured: Type-Safe Retrofitting of Legacy Code George C. Necula Scott McPeak DocID: 1medF - View Document