Concepedia

George C. Necula

GC

Statistics

Publications

50

Citations

7.7K

H-Index

33

Active since

1996

Affiliations

University of California, Berkeley(Current)

Carnegie Mellon University

George C. Necula is an author at University of California, Berkeley specializing in computing, computer science, and programming languages.

Publications per year

1996–2018

50

Publications

50

Proof-carrying code

George C. Necula · 1997 · 1.8K citations

, , +10

CCured

George C. Necula, Scott McPeak, Westley Weimer · ACM SIGPLAN Notices · 2012 · 511 citations

, , +14

Safe kernel extensions without run-time checking

George C. Necula, Peter Lee · 1996 · 506 citations

, , +7

Translation validation for an optimizing compiler

George C. Necula · 2000 · 487 citations

, , +16

CCured

George C. Necula, Scott McPeak, Westley Weimer · 2002 · 371 citations

, , +14

1–5 of 50