George C. Necula
"Dunarea de Jos" University of Galati(RO)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Security and Verification in Computing, Parallel Computing and Optimization Techniques, Software Testing and Debugging Techniques
Most-Cited Works
- → Proof-carrying code(1997)1,809 cited
- → CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs(2002)971 cited
- → CCured(2012)510 cited
- → Safe kernel extensions without run-time checking(1996)502 cited
- → Translation validation for an optimizing compiler(2000)487 cited
- → CCured: type-safe retrofitting of legacy software(2005)363 cited
- → The design and implementation of a certifying compiler(1998)357 cited
- → XFI: software guards for system address spaces(2006)340 cited
- → Guided GUI testing of android apps with minimal restart and approximate learning(2013)320 cited