Statistics
Publications
43
Citations
2.5K
H-Index
27
Active since
1999
Byron Cook is an author at Microsoft Research (United Kingdom) specializing in computer science, computing, and formal methods.
Publications per year
1999–2023
43
43
Thorough static analysis of device drivers
Thomas Ball, Ella Bounimova, Byron Cook et al. · 2006 · 378 citations
Termination proofs for systems code
Byron Cook, Andreas Podelski, Andrey Rybalchenko · ACM SIGPLAN Notices · 2006 · 322 citations
Termination proofs for systems code
Byron Cook, Andreas Podelski, Andrey Rybalchenko · 2006 · 238 citations
Byron Cook, Andreas Podelski, Andrey Rybalchenko · Communications of the ACM · 2011 · 129 citations
Thorough static analysis of device drivers
Thomas Ball, Ella Bounimova, Byron Cook et al. · ACM SIGOPS Operating Systems Review · 2006 · 96 citations
1–5 of 43