1![Minimizing Faulty Executions of Distributed Systems Aurojit Panda? Vjekoslav Brajkovic George Necula? Arvind Krishnamurthy† Scott Shenker? Minimizing Faulty Executions of Distributed Systems Aurojit Panda? Vjekoslav Brajkovic George Necula? Arvind Krishnamurthy† Scott Shenker?](https://www.pdfsearch.io/img/36d6070b4f1aa20ecaf85c878bd62e89.jpg) | Add to Reading ListSource URL: people.eecs.berkeley.eduLanguage: English - Date: 2016-02-16 17:31:03
|
---|
2![CCured: Type-Safe Retrofitting of Legacy Software GEORGE C. NECULA, JEREMY CONDIT, MATTHEW HARREN, SCOTT McPEAK, and WESTLEY WEIMER University of California, Berkeley CCured: Type-Safe Retrofitting of Legacy Software GEORGE C. NECULA, JEREMY CONDIT, MATTHEW HARREN, SCOTT McPEAK, and WESTLEY WEIMER University of California, Berkeley](https://www.pdfsearch.io/img/854315887de480643a064cc86695e2ce.jpg) | Add to Reading ListSource URL: www.cs.virginia.edu- Date: 2008-02-27 16:12:44
|
---|
3![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 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](https://www.pdfsearch.io/img/6f3afca574c0f04b8cf43c8b4bc00210.jpg) | Add to Reading ListSource URL: cacs.usc.edu- Date: 2015-12-07 18:56:23
|
---|
4![CCured: Type-Safe Retrofitting of Legacy Software GEORGE C. NECULA, JEREMY CONDIT, MATTHEW HARREN, SCOTT McPEAK, and WESTLEY WEIMER University of California, Berkeley CCured: Type-Safe Retrofitting of Legacy Software GEORGE C. NECULA, JEREMY CONDIT, MATTHEW HARREN, SCOTT McPEAK, and WESTLEY WEIMER University of California, Berkeley](https://www.pdfsearch.io/img/ba2a1144d911351c15dec24da296cdc7.jpg) | Add to Reading ListSource URL: www.cs.virginia.eduLanguage: English - Date: 2008-02-27 16:12:44
|
---|
5![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 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](https://www.pdfsearch.io/img/37836ec1504e56edf8a1619635a0cc69.jpg) | Add to Reading ListSource URL: www.scottmcpeak.comLanguage: English - Date: 2004-10-27 17:18:43
|
---|
6![Published in Proc. of Conference on Compiler Construction, 2002, pp. 213–228. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs George C. Necula, Scott McPeak, S. P. Rahul, and Westley Published in Proc. of Conference on Compiler Construction, 2002, pp. 213–228. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs George C. Necula, Scott McPeak, S. P. Rahul, and Westley](https://www.pdfsearch.io/img/9ba153c19004ab41626dda5bef20e6d7.jpg) | Add to Reading ListSource URL: www.scottmcpeak.comLanguage: English - Date: 2004-10-27 17:17:45
|
---|
7![CCured in the Real World Jeremy Condit Matthew Harren Scott McPeak George C. Necula CCured in the Real World Jeremy Condit Matthew Harren Scott McPeak George C. Necula](https://www.pdfsearch.io/img/054a43603249a67e7a2d221285600747.jpg) | Add to Reading ListSource URL: www.scottmcpeak.comLanguage: English - Date: 2004-10-27 17:16:37
|
---|
8![Capriccio: Scalable Threads for Internet Services Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, and Eric Brewer Computer Science Division University of California, Berkeley {jrvb,jcondit,zf,necula,brewer}@c Capriccio: Scalable Threads for Internet Services Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, and Eric Brewer Computer Science Division University of California, Berkeley {jrvb,jcondit,zf,necula,brewer}@c](https://www.pdfsearch.io/img/31e49ed5abc7a2ea759502a2c6edbe36.jpg) | Add to Reading ListSource URL: capriccio.cs.berkeley.eduLanguage: English - Date: 2004-02-11 10:37:14
|
---|
9![Verifying Safety Properties in Assembly Code without Compiler Support Matt Harren George Necula Verifying Safety Properties in Assembly Code without Compiler Support Matt Harren George Necula](https://www.pdfsearch.io/img/c0f166f79845068c7bff61b39583dc4c.jpg) | Add to Reading ListSource URL: chess.eecs.berkeley.eduLanguage: English |
---|
10![Mining Temporal Specifications for Error Detection Westley Weimer and George C. Necula University of California, Berkeley {weimer, necula}@cs.berkeley.edu Mining Temporal Specifications for Error Detection Westley Weimer and George C. Necula University of California, Berkeley {weimer, necula}@cs.berkeley.edu](https://www.pdfsearch.io/img/0f119fea6d00f806644124ff2b6f7dcd.jpg) | Add to Reading ListSource URL: www.cs.berkeley.edu- Date: 2010-10-29 12:59:23
|
---|