George Necula
George Necula
Verified email at cs.berkeley.edu
Title
Cited by
Cited by
Year
Proof-carrying code
GC Necula
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles ofá…, 1997
25931997
CIL: Intermediate language and tools for analysis and transformation of C programs
GC Necula, S McPeak, SP Rahul, W Weimer
International Conference on Compiler Construction, 213-228, 2002
12412002
CCured: Type-safe retrofitting of legacy code
GC Necula, S McPeak, W Weimer
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles ofá…, 2002
8352002
Safe kernel extensions without run-time checking
GC Necula, P Lee
OSDI 96 (16), 229-243, 1996
7601996
Translation validation for an optimizing compiler
GC Necula
Proceedings of the ACM SIGPLAN 2000 conference on Programming languageá…, 2000
5552000
XFI: Software guards for system address spaces
┌ Erlingsson, M Abadi, M Vrable, M Budiu, GC Necula
Proceedings of the 7th symposium on Operating systems design andá…, 2006
4642006
The design and implementation of a certifying compiler
GC Necula, P Lee
ACM SIGPLAN Notices 33 (5), 333-344, 1998
4551998
CCured: Type-safe retrofitting of legacy software
GC Necula, J Condit, M Harren, S McPeak, W Weimer
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (3), 477-526, 2005
4032005
Capriccio: scalable threads for internet services
R Von Behren, J Condit, F Zhou, GC Necula, E Brewer
ACM SIGOPS Operating Systems Review 37 (5), 268-281, 2003
3842003
Guided gui testing of android apps with minimal restart and approximate learning
W Choi, G Necula, K Sen
Acm Sigplan Notices 48 (10), 623-640, 2013
3502013
Safe, untrusted agents using proof-carrying code
GC Necula, P Lee
Mobile Agents and Security, 61-91, 1998
3371998
Compiling with proofs
GC Necula
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 1998
3031998
Mining temporal specifications for error detection
W Weimer, GC Necula
International Conference on Tools and Algorithms for the Construction andá…, 2005
2772005
A certifying compiler for Java
C Colby, P Lee, GC Necula, F Blau, M Plesko, K Cline
ACM SIGPLAN Notices 35 (5), 95-107, 2000
2692000
Temporal-safety proofs for systems code
TA Henzinger, GC Necula, R Jhala, G Sutre, R Majumdar, W Weimer
International Conference on Computer Aided Verification, 526-538, 2002
2202002
CCured in the real world
J Condit, M Harren, S McPeak, GC Necula, W Weimer
ACM SIGPLAN Notices 38 (5), 232-244, 2003
2182003
SafeDrive: Safe and recoverable extensions using language-based techniques
F Zhou, J Condit, Z Anderson, I Bagrak, R Ennals, M Harren, G Necula, ...
Proceedings of the 7th symposium on Operating systems design andá…, 2006
2162006
Dependent types for low-level programming
J Condit, M Harren, Z Anderson, D Gay, GC Necula
European Symposium on Programming, 520-535, 2007
1922007
Elkhound: A fast, practical GLR parser generator
S McPeak, GC Necula
International Conference on Compiler Construction, 73-88, 2004
1802004
Efficient representation and validation of proofs
GC Necula, P Lee
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Scienceá…, 1998
179*1998
The system can't perform the operation now. Try again later.
Articles 1–20