Minimizing Faulty Executions of Distributed Systems Aurojit Panda? Vjekoslav Brajkovic George Necula? Arvind Krishnamurthy† Scott Shenker?

Source URL: people.eecs.berkeley.edu

• Computing
• Computer programming
• Software engineering
• Inter-process communication
• Object-oriented programming languages
• Programming languages
• Actor model
• Concurrent computing
• Akka
• Leader election
• Message passing
• Schedule

CCured: Type-Safe Retrofitting of Legacy Software GEORGE C. NECULA, JEREMY CONDIT, MATTHEW HARREN, SCOTT McPEAK, and WESTLEY WEIMER University of California, Berkeley

Source URL: www.cs.virginia.edu

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

Source URL: cacs.usc.edu

CCured: Type-Safe Retrofitting of Legacy Software GEORGE C. NECULA, JEREMY CONDIT, MATTHEW HARREN, SCOTT McPEAK, and WESTLEY WEIMER University of California, Berkeley

Source URL: www.cs.virginia.edu

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

Source URL: www.scottmcpeak.com

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

Source URL: www.scottmcpeak.com

CCured in the Real World Jeremy Condit Matthew Harren Scott McPeak George C. Necula

Source URL: www.scottmcpeak.com

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

Source URL: capriccio.cs.berkeley.edu

Verifying Safety Properties in Assembly Code without Compiler Support Matt Harren George Necula

Source URL: chess.eecs.berkeley.edu

Mining Temporal Specifications for Error Detection Westley Weimer and George C. Necula University of California, Berkeley {weimer, necula}@cs.berkeley.edu

Source URL: www.cs.berkeley.edu