George Necula

Associate Professor

Research Areas

• Programming Systems (PS)
• Security (SEC)
• software engineering, security, program analysis

Research Centers

• Team for Research in Ubiquitous Secure Technology (TRUST)

Teaching Schedule (Spring 2008)

• CS 169. Software Engineering, T T 11:00-12:30P, 306 Soda

Biography

George Necula is an Associate Professor in the Computer Science Department at University of California, Berkeley. His research interests include programming languages, verification methods and security with an emphasis towards use of programming language and logic-based technologies for security and for improving software quality. George Necula has received his Bachelor of Science in 1993 from Polytechnic University of Bucharest in Romania, and his PhD in Computer Science in 1998 from Carnegie Mellon University, where he developed the technique of Proof-Carrying Code, jointly with Peter Lee. George Necula is an Okawa Fellow, an Alfred P. Sloan Foundation Fellow, a recipient of the NSF Career Award, ACM SIGOPS Hall of Fame Award in 2006, and of the 2001 ACM Grace Murray Hopper Award.

Selected Publications

• F. Zhou, J. P. Condit, Z. R. Anderson, I. Bagrak, R. Ennals, M. T. Harren, G. Necula, and E. Brewer, "SafeDrive: Safe and recoverable extensions using language-based techniques," in Proc. 7th USENIX Symp. on Operating Systems Design and Implementation, Berkeley, CA: USENIX, Association, 2006, pp. 45-60.
• G. Necula, J. Condit, M. Harren, S. McPeak, and W. Weimer, "CCured: Type-safe retrofitting of legacy software," ACM Trans. Programming Languages and Systems (TOPLAS), vol. 27, no. 3, pp. 477-526, May 2005.
• S. Gulwani and G. Necula, "Discovering affine equalities using random interpretation," in Proc. 30th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, New York, NY: ACM Press, 2003, pp. 74-84.
• G. Necula, "Translation validation for an optimizing compiler," in Proc. ACM SIGPLAN 2000 Conf. on Programming Language Design and Implementation, New York, NY: ACM Press, 2000, pp. 83-94.
• G. Necula and P. Lee, "The design and implementation of a certifying compiler," in Proc. ACM SIGPLAN 1998 Conf. on Programming Language Design and Implementation, A. M. Berman, Ed., New York, NY: ACM Press, 1998, pp. 333-344.
• G. Necula, "Proof-carrying code," in Proc. 24th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, New York, NY: ACM Press, 1997, pp. 106-119.
• G. Necula and P. Lee, "Safe kernel extensions without run-time checking," in Proc. 2nd USENIX Symp. on Operating Systems Design and Implementation, New York, NY: ACM Press, 1996, pp. 229-243.