Byron Cook
Byron Cook
Professor of Computer Science, UCL, Amazon
Geverifieerd e-mailadres voor cs.ucl.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Thorough static analysis of device drivers
T Ball, E Bounimova, B Cook, V Levin, J Lichtenberg, C McGarvey, ...
ACM SIGOPS Operating Systems Review 40 (4), 73-85, 2006
4812006
Termination proofs for systems code
B Cook, A Podelski, A Rybalchenko
ACM Sigplan Notices 41 (6), 415-426, 2006
4302006
SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft
T Ball, B Cook, V Levin, SK Rajamani
International Conference on Integrated Formal Methods, 1-20, 2004
3662004
Scalable shape analysis for systems code
H Yang, O Lee, J Berdine, C Calcagno, B Cook, D Distefano, P O’Hearn
International Conference on Computer Aided Verification, 385-398, 2008
3032008
Shape analysis for composite data structures
J Berdine, C Calcagno, B Cook, D Distefano, PW O’hearn, T Wies, ...
International Conference on Computer Aided Verification, 178-192, 2007
2702007
Proving program termination
B Cook, A Podelski, A Rybalchenko
Communications of the ACM 54 (5), 88-98, 2011
176*2011
Terminator: Beyond Safety
B Cook, A Podelski, A Rybalchenko
International Conference on Computer Aided Verification, 415-418, 2006
1482006
Automatic termination proofs for programs with shape-shifting heaps
J Berdine, B Cook, D Distefano, PW O’hearn
International Conference on Computer Aided Verification, 386-400, 2006
1442006
Abstraction refinement for termination
B Cook, A Podelski, A Rybalchenko
International Static Analysis Symposium, 87-101, 2005
1442005
SLAyer: Memory safety for systems-level code
J Berdine, B Cook, S Ishtiaq
International Conference on Computer Aided Verification, 178-183, 2011
1422011
Local reasoning for storable locks and threads
A Gotsman, J Berdine, B Cook, N Rinetzky, M Sagiv
Asian Symposium on Programming Languages And Systems, 19-37, 2007
1412007
Interprocedural shape analysis with separated heap abstractions
A Gotsman, J Berdine, B Cook
International Static Analysis Symposium, 240-260, 2006
1412006
A symbolic approach to predicate abstraction
SK Lahiri, RE Bryant, B Cook
International Conference on Computer Aided Verification, 141-153, 2003
1272003
Proving that programs eventually do something good
B Cook, A Gotsman, A Podelski, A Rybalchenko, MY Vardi
ACM SIGPLAN Notices 42 (1), 265-276, 2007
1202007
Microprocessor specification in Hawk
J Matthews, B Cook, J Launchbury
Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998
1081998
Thread-modular shape analysis
A Gotsman, J Berdine, B Cook, M Sagiv
ACM SIGPLAN Notices 42 (6), 266-277, 2007
1062007
Proving conditional termination
B Cook, S Gulwani, T Lev-Ami, A Rybalchenko, M Sagiv
International Conference on Computer Aided Verification, 328-340, 2008
1032008
Ramsey vs. lexicographic termination proving
B Cook, A See, F Zuleger
International Conference on Tools and Algorithms for the Construction and …, 2013
1012013
Proving that non-blocking algorithms don't block
A Gotsman, B Cook, M Parkinson, V Vafeiadis
ACM SIGPLAN Notices 44 (1), 16-28, 2009
1002009
Variance analyses from invariance analyses
J Berdine, A Chawdhary, B Cook, D Distefano, P O'Hearn
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
972007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20