| Proof-carrying code GC Necula Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 2758 | 1997 |
| CIL: Intermediate language and tools for analysis and transformation of C programs GC Necula, S McPeak, SP Rahul, W Weimer Compiler Construction: 11th International Conference, CC 2002 Held as Part …, 2002 | 1330 | 2002 |
| 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 | 962 | 2002 |
| Safe kernel extensions without run-time checking GC Necula, P Lee OSDI 96 (16), 229-243, 1996 | 809 | 1996 |
| Translation validation for an optimizing compiler GC Necula Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000 | 637 | 2000 |
| XFI: Software guards for system address spaces U Erlingsson, M Abadi, M Vrable, M Budiu, GC Necula Proceedings of the 7th symposium on Operating systems design and …, 2006 | 553 | 2006 |
| 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 | 496 | 2005 |
| The design and implementation of a certifying compiler GC Necula, P Lee ACM SIGPLAN Notices 33 (5), 333-344, 1998 | 479 | 1998 |
| 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 | 472 | 2013 |
| 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 | 403 | 2003 |
| Safe, untrusted agents using proof-carrying code GC Necula, P Lee Mobile agents and security, 61-91, 1998 | 355 | 1998 |
| Mining temporal specifications for error detection W Weimer, GC Necula Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005 | 322 | 2005 |
| Compiling with proofs GC Necula Carnegie Mellon University, 1998 | 308 | 1998 |
| 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 | 286 | 2000 |
| Temporal-safety proofs for systems code TA Henzinger, GC Necula, R Jhala, G Sutre, R Majumdar, W Weimer Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 238 | 2002 |
| 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 | 236 | 2006 |
| CCured in the real world J Condit, M Harren, S McPeak, GC Necula, W Weimer ACM SIGPLAN Notices 38 (5), 232-244, 2003 | 234 | 2003 |
| Dependent types for low-level programming J Condit, M Harren, Z Anderson, D Gay, GC Necula Programming Languages and Systems: 16th European Symposium on Programming …, 2007 | 218 | 2007 |
| Elkhound: A fast, practical GLR parser generator S McPeak, GC Necula Compiler Construction: 13th International Conference, CC 2004, Held as Part …, 2004 | 199 | 2004 |
| Efficient representation and validation of proofs GC Necula, P Lee Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998 | 176 | 1998 |
Westley WeimerProfessor Computer Science, University of MichiganVerified email at umich.edu
