Scott McPeak
Publications by Year
Research Areas
Security and Verification in Computing, Software Engineering Research, Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Software Testing and Debugging Techniques
Most-Cited Works
- → CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs(2002)971 cited
- → A few billion lines of code later(2010)613 cited
- → CCured(2012)510 cited
- → CCured: type-safe retrofitting of legacy software(2005)363 cited
- → Elkhound: A Fast, Practical GLR Parser Generator(2004)141 cited
- → CCured in the real world(2003)138 cited
- → Data Structure Specifications via Local Equality Axioms(2005)102 cited