Byron Cook
Amazon (United States)(US)University College London(GB)Seattle University(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Security and Verification in Computing, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Thorough static analysis of device drivers(2006)376 cited
- → Termination proofs for systems code(2006)319 cited
- → SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft(2004)282 cited
- → Scalable Shape Analysis for Systems Code(2008)232 cited
- → Shape Analysis for Composite Data Structures(2007)196 cited
- → Terminator: Beyond Safety(2006)129 cited
- → Proving program termination(2011)128 cited