George Necula
George Necula | |
---|---|
Computer Science | |
Institutions | |
Doctoral advisor | Peter Lee |
George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley who does research in the area of programming languages and software engineering, with a particular focus on software verification and formal methods. He is best known for his Ph.D. thesis work first describing proof-carrying code,[1] a work that received the 2007 SIGPLAN Most Influential POPL Paper Award.[2]
Life and work
Originally from
More recently, Necula's work has focused on open-source analysis, verification, and transformation tools for C, including the C Intermediate Language (CIL), CCured [1], and Deputy [2].
C Intermediate Language
C Intermediate Language (CIL) is a simplified subset of the C programming language, as well as a set of tools for transforming C programs into that language.[4][5][6] Several other tools use CIL as a way to have access to a C abstract syntax tree. One of these programs is Frama-C (Framework to Analyze C programs).
Awards
Necula is a Fellow of the
References
- ^ George C. Necula. Compiling with Proofs. PhD thesis, School of Computer Science, Carnegie Mellon Univ., Sept. 1998.
- ^ SIGPLAN (2010-01-24). "Most Influential POPL Paper Award". ACM. Archived from the original on 2009-08-02. Retrieved 2010-02-02.
- ^ George Necula (Spring 2010). "George Necula's Home Page". Retrieved 2010-02-03.
- ISBN 3-540-43369-4.
- ^ "GitHub - cil-project/Cil: C Intermediate Language". GitHub.
- ISBN 3-540-43369-4
- ^ Association for Computing Machinery (2001). "ACM Award Citation / George Necula". Retrieved 2010-02-02.
- ^ National Science Foundation (2002-06-22). "Award Abstract #9875171 - CAREER: A Logic-Based Approach to Software System Integrity and Security". Retrieved 2010-02-02.
- ^ Association for Computing Machinery (2010). "SIGOPS - Hall of Fame Award". Retrieved 2010-02-02.