Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Byron Cook
@article{DBLP:journals/cacm/BarbosaBCDKLNNOPRTZ23,
author = {Haniel Barbosa and
Clark W. Barrett and
Byron Cook and
Bruno Dutertre and
Gereon Kremer and
Hanna Lachnitt and
Aina Niemetz and
Andres N{\"{o}}tzli and
Alex Ozdemir and
Mathias Preiner and
Andrew Reynolds and
Cesare Tinelli and
Yoni Zohar},
title = {Generating and Exploiting Automated Reasoning Proof Certificates},
journal = {Commun. {ACM}},
volume = {66},
number = {10},
pages = {86--95},
year = {2023},
url = {https://doi.org/10.1145/3587692},
doi = {10.1145/3587692},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/BarbosaBCDKLNNOPRTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WilsonNRCTB23,
author = {Amalee Wilson and
Andres N{\"{o}}tzli and
Andrew Reynolds and
Byron Cook and
Cesare Tinelli and
Clark W. Barrett},
editor = {Alexander Nadel and
Kristin Yvonne Rozier},
title = {Partitioning Strategies for Distributed {SMT} Solving},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA,
October 24-27, 2023},
pages = {199--208},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_28},
doi = {10.34727/2023/ISBN.978-3-85448-060-0\_28},
timestamp = {Wed, 13 Dec 2023 14:38:51 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/WilsonNRCTB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-05854,
author = {Amalee Wilson and
Andres N{\"{o}}tzli and
Andrew Reynolds and
Byron Cook and
Cesare Tinelli and
Clark W. Barrett},
title = {Partitioning Strategies for Distributed {SMT} Solving},
journal = {CoRR},
volume = {abs/2306.05854},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.05854},
doi = {10.48550/ARXIV.2306.05854},
eprinttype = {arXiv},
eprint = {2306.05854},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-05854.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CookKKTTT21,
author = {Byron Cook and
Kareem Khazem and
Daniel Kroening and
Serdar Tasiran and
Michael Tautschnig and
Mark R. Tuttle},
title = {Model checking boot code from {AWS} data centers},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {1},
pages = {34--52},
year = {2021},
url = {https://doi.org/10.1007/s10703-020-00344-2},
doi = {10.1007/S10703-020-00344-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/CookKKTTT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/ChongCEKKMSTTT21,
author = {Nathan Chong and
Byron Cook and
Jonathan Eidelman and
Konstantinos Kallas and
Kareem Khazem and
Felipe R. Monteiro and
Daniel Schwartz{-}Narbonne and
Serdar Tasiran and
Michael Tautschnig and
Mark R. Tuttle},
title = {Code-level model checking in the software development workflow at
Amazon Web Services},
journal = {Softw. Pract. Exp.},
volume = {51},
number = {4},
pages = {772--797},
year = {2021},
url = {https://doi.org/10.1002/spe.2949},
doi = {10.1002/SPE.2949},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/ChongCEKKMSTTT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BackesBBBCGJLMM20,
author = {John Backes and
Ulises Berrueco and
Tyler Bray and
Daniel Brim and
Byron Cook and
Andrew Gacek and
Ranjit Jhala and
Kasper S{\o}e Luckow and
Sean McLaughlin and
Madhav Menon and
Daniel Peebles and
Ujjwal Pugalia and
Neha Rungta and
Cole Schlesinger and
Adam Schodde and
Anvesh Tanuku and
Carsten Varming and
Deepa Viswanathan},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Stratified Abstraction of Access Control Policies},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {165--176},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_9},
doi = {10.1007/978-3-030-53288-8\_9},
timestamp = {Wed, 12 Aug 2020 15:15:42 +0200},
biburl = {https://dblp.org/rec/conf/cav/BackesBBBCGJLMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookDKMPPTW20,
author = {Byron Cook and
Bj{\"{o}}rn D{\"{o}}bel and
Daniel Kroening and
Norbert Manthey and
Martin Pohlack and
Elizabeth Polgreen and
Michael Tautschnig and
Pawel Wieczorkiewicz},
title = {Using model checking tools to triage the severity of security bugs
in the Xen hypervisor},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {185--193},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_26},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_26},
timestamp = {Thu, 14 Jan 2021 08:55:22 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/CookDKMPPTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChongCKKMSTTT20,
author = {Nathan Chong and
Byron Cook and
Konstantinos Kallas and
Kareem Khazem and
Felipe R. Monteiro and
Daniel Schwartz{-}Narbonne and
Serdar Tasiran and
Michael Tautschnig and
Mark R. Tuttle},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Code-level model checking in the software development workflow},
booktitle = {{ICSE-SEIP} 2020: 42nd International Conference on Software Engineering,
Software Engineering in Practice, Seoul, South Korea, 27 June - 19
July, 2020},
pages = {11--20},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377813.3381347},
doi = {10.1145/3377813.3381347},
timestamp = {Fri, 11 Dec 2020 12:48:29 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChongCKKMSTTT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BouchetCCDGHJMP20,
author = {Malik Bouchet and
Byron Cook and
Bryant Cutler and
Anna Druzkina and
Andrew Gacek and
Liana Hadarean and
Ranjit Jhala and
Brad Marshall and
Daniel Peebles and
Neha Rungta and
Cole Schlesinger and
Chriss Stephens and
Carsten Varming and
Andy Warfield},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {Block public access: trust safety verification of access control policies},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {281--291},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3409728},
doi = {10.1145/3368089.3409728},
timestamp = {Tue, 10 Nov 2020 10:30:27 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BouchetCCDGHJMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BackesBCGLRSSTV19,
author = {John Backes and
Pauline Bolignano and
Byron Cook and
Andrew Gacek and
Kasper S{\o}e Luckow and
Neha Rungta and
Martin Sch{\"{a}}f and
Cole Schlesinger and
Rima Tanash and
Carsten Varming and
Michael W. Whalen},
title = {One-Click Formal Methods},
journal = {{IEEE} Softw.},
volume = {36},
number = {6},
pages = {61--65},
year = {2019},
url = {https://doi.org/10.1109/MS.2019.2930609},
doi = {10.1109/MS.2019.2930609},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BackesBCGLRSSTV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BackesBCDGHKKKK19,
author = {John Backes and
Sam Bayless and
Byron Cook and
Catherine Dodge and
Andrew Gacek and
Alan J. Hu and
Temesghen Kahsai and
Bill Kocik and
Evgenii Kotelnikov and
Jure Kukovec and
Sean McLaughlin and
Jason Reed and
Neha Rungta and
John Sizemore and
Mark A. Stalzer and
Preethi Srinivasan and
Pavle Subotic and
Carsten Varming and
Blake Whaley},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Reachability Analysis for AWS-Based Networks},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {231--241},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_14},
doi = {10.1007/978-3-030-25543-5\_14},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/BackesBCDGHKKKK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Cook18,
author = {Byron Cook},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Formal Reasoning About the Security of Amazon Web Services},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {38--47},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_3},
doi = {10.1007/978-3-319-96145-3\_3},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/Cook18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChudnovCCDHMMMM18,
author = {Andrey Chudnov and
Nathan Collins and
Byron Cook and
Joey Dodds and
Brian Huffman and
Colm MacC{\'{a}}rthaigh and
Stephen Magill and
Eric Mertens and
Eric Mullen and
Serdar Tasiran and
Aaron Tomb and
Eddy Westbrook},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Continuous Formal Verification of Amazon s2n},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {430--446},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_26},
doi = {10.1007/978-3-319-96142-2\_26},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChudnovCCDHMMMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookKKTTT18,
author = {Byron Cook and
Kareem Khazem and
Daniel Kroening and
Serdar Tasiran and
Michael Tautschnig and
Mark R. Tuttle},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Model Checking Boot Code from {AWS} Data Centers},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {467--486},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_28},
doi = {10.1007/978-3-319-96142-2\_28},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/CookKKTTT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BackesBCDGLRTV18,
author = {John Backes and
Pauline Bolignano and
Byron Cook and
Catherine Dodge and
Andrew Gacek and
Kasper S{\o}e Luckow and
Neha Rungta and
Oksana Tkachuk and
Carsten Varming},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Semantic-based Automated Reasoning for {AWS} Access Policies using
{SMT}},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8602994},
doi = {10.23919/FMCAD.2018.8602994},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BackesBCDGLRTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AthanasiouCEMST18,
author = {Konstantinos Athanasiou and
Byron Cook and
Michael Emmi and
Colm MacC{\'{a}}rthaigh and
Daniel Schwartz{-}Narbonne and
Serdar Tasiran},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {SideTrail: Verifying Time-Balancing of Cryptosystems},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {215--228},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_12},
doi = {10.1007/978-3-030-03592-1\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/AthanasiouCEMST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CookKP17,
author = {Byron Cook and
Heidy Khlaaf and
Nir Piterman},
title = {Verifying Increasingly Expressive Temporal Logics for Infinite-State
Systems},
journal = {J. {ACM}},
volume = {64},
number = {2},
pages = {15:1--15:39},
year = {2017},
url = {https://doi.org/10.1145/3060257},
doi = {10.1145/3060257},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/CookKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Cook17,
author = {Byron Cook},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Automated formal reasoning about {AWS} systems},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {7},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102231},
doi = {10.23919/FMCAD.2017.8102231},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Cook17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Cook17,
author = {Byron Cook},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {Automated formal reasoning about amazon web services (keynote)},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {9},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3092315},
doi = {10.1145/3092282.3092315},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/Cook17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BrockschmidtCIK16,
author = {Marc Brockschmidt and
Byron Cook and
Samin Ishtiaq and
Heidy Khlaaf and
Nir Piterman},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {{T2:} Temporal Property Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {387--393},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_22},
doi = {10.1007/978-3-662-49674-9\_22},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BrockschmidtCIK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookKP15,
author = {Byron Cook and
Heidy Khlaaf and
Nir Piterman},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {On Automation of CTL* Verification for Infinite-State Systems},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {13--29},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_2},
doi = {10.1007/978-3-319-21690-4\_2},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/CookKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AlbarghouthiBCK15,
author = {Aws Albarghouthi and
Josh Berdine and
Byron Cook and
Zachary Kincaid},
editor = {Jan Vitek},
title = {Spatial Interpolants},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {634--660},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_26},
doi = {10.1007/978-3-662-46669-8\_26},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/AlbarghouthiBCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CookKP15,
author = {Byron Cook and
Heidy Khlaaf and
Nir Piterman},
editor = {Christel Baier and
Cesare Tinelli},
title = {Fairness for Infinite-State Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {384--398},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_30},
doi = {10.1007/978-3-662-46681-0\_30},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CookKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlbarghouthiBCK15,
author = {Aws Albarghouthi and
Josh Berdine and
Byron Cook and
Zachary Kincaid},
title = {Spatial Interpolants},
journal = {CoRR},
volume = {abs/1501.04100},
year = {2015},
url = {http://arxiv.org/abs/1501.04100},
eprinttype = {arXiv},
eprint = {1501.04100},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlbarghouthiBCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrockschmidtCIK15,
author = {Marc Brockschmidt and
Byron Cook and
Samin Ishtiaq and
Heidy Khlaaf and
Nir Piterman},
title = {{T2:} Temporal Property Verification},
journal = {CoRR},
volume = {abs/1512.08689},
year = {2015},
url = {http://arxiv.org/abs/1512.08689},
eprinttype = {arXiv},
eprint = {1512.08689},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrockschmidtCIK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tinytocs/CookFNO15,
author = {Byron Cook and
Carsten Fuhs and
Kaustubh Nimkar and
Peter W. O'Hearn},
title = {Embracing Overapproximation for Proving Nontermination},
journal = {Tiny Trans. Comput. Sci.},
volume = {3},
year = {2015},
url = {http://tinytocs.org/vol3/papers/TinyToCS\_3\_cook.pdf},
timestamp = {Tue, 14 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tinytocs/CookFNO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookFHIJP14,
author = {Byron Cook and
Jasmin Fisher and
Benjamin A. Hall and
Samin Ishtiaq and
Garvit Juniwal and
Nir Piterman},
editor = {Armin Biere and
Roderick Bloem},
title = {Finding Instability in Biological Models},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {358--372},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_24},
doi = {10.1007/978-3-319-08867-9\_24},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/CookFHIJP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookFNO14,
author = {Byron Cook and
Carsten Fuhs and
Kaustubh Nimkar and
Peter W. O'Hearn},
title = {Disproving termination with overapproximation},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {67--74},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987597},
doi = {10.1109/FMCAD.2014.6987597},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CookFNO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookKP14,
author = {Byron Cook and
Heidy Khlaaf and
Nir Piterman},
title = {Faster temporal reasoning for infinite-state programs},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {75--82},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987598},
doi = {10.1109/FMCAD.2014.6987598},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/CookKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChenCFNO14,
author = {Hong Yi Chen and
Byron Cook and
Carsten Fuhs and
Kaustubh Nimkar and
Peter W. O'Hearn},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Proving Nontermination via Safety},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {156--171},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_11},
doi = {10.1007/978-3-642-54862-8\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChenCFNO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BabicCHR13,
author = {Domagoj Babic and
Byron Cook and
Alan J. Hu and
Zvonimir Rakamaric},
title = {Proving termination of nonlinear command sequences},
journal = {Formal Aspects Comput.},
volume = {25},
number = {3},
pages = {389--403},
year = {2013},
url = {https://doi.org/10.1007/s00165-012-0252-5},
doi = {10.1007/S00165-012-0252-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BabicCHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CookKRW13,
author = {Byron Cook and
Daniel Kroening and
Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
title = {Ranking function synthesis for bit-vector relations},
journal = {Formal Methods Syst. Des.},
volume = {43},
number = {1},
pages = {93--120},
year = {2013},
url = {https://doi.org/10.1007/s10703-013-0186-4},
doi = {10.1007/S10703-013-0186-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CookKRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrockschmidtCF13,
author = {Marc Brockschmidt and
Byron Cook and
Carsten Fuhs},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Better Termination Proving through Cooperation},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {413--429},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_28},
doi = {10.1007/978-3-642-39799-8\_28},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/BrockschmidtCF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/TaylorPIFCCBB13,
author = {Alex S. Taylor and
Nir Piterman and
Samin Ishtiaq and
Jasmin Fisher and
Byron Cook and
Caitlin Cockerton and
Sam Bourton and
David Benqu{\'{e}}},
editor = {Wendy E. Mackay and
Stephen A. Brewster and
Susanne B{\o}dker},
title = {At the interface of biology and computation},
booktitle = {2013 {ACM} {SIGCHI} Conference on Human Factors in Computing Systems,
{CHI} '13, Paris, France, April 27 - May 2, 2013},
pages = {493--502},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2470654.2470725},
doi = {10.1145/2470654.2470725},
timestamp = {Tue, 01 Jun 2021 15:21:42 +0200},
biburl = {https://dblp.org/rec/conf/chi/TaylorPIFCCBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CookK13,
author = {Byron Cook and
Eric Koskinen},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Reasoning about nondeterminism in programs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {219--230},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2491969},
doi = {10.1145/2491956.2491969},
timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
biburl = {https://dblp.org/rec/conf/pldi/CookK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CookSZ13,
author = {Byron Cook and
Abigail See and
Florian Zuleger},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Ramsey vs. Lexicographic Termination Proving},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {47--61},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_4},
doi = {10.1007/978-3-642-36742-7\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CookSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CookKV12,
author = {Byron Cook and
Eric Koskinen and
Moshe Y. Vardi},
title = {Temporal property verification as a program analysis task - Extended
Version},
journal = {Formal Methods Syst. Des.},
volume = {41},
number = {1},
pages = {66--82},
year = {2012},
url = {https://doi.org/10.1007/s10703-012-0153-5},
doi = {10.1007/S10703-012-0153-5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CookKV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BenqueBCCFIPTV12,
author = {David Benqu{\'{e}} and
Sam Bourton and
Caitlin Cockerton and
Byron Cook and
Jasmin Fisher and
Samin Ishtiaq and
Nir Piterman and
Alex S. Taylor and
Moshe Y. Vardi},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Bma: Visual Tool for Modeling and Analyzing Biological Networks},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {686--692},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_50},
doi = {10.1007/978-3-642-31424-7\_50},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BenqueBCCFIPTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/CookPR11,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
title = {Proving program termination},
journal = {Commun. {ACM}},
volume = {54},
number = {5},
pages = {88--98},
year = {2011},
url = {https://doi.org/10.1145/1941487.1941509},
doi = {10.1145/1941487.1941509},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/CookPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Cook11,
author = {Byron Cook},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Advances in Proving Program Termination and Liveness},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {4},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_2},
doi = {10.1007/978-3-642-22438-6\_2},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/Cook11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerdineCI11,
author = {Josh Berdine and
Byron Cook and
Samin Ishtiaq},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {SLAyer: Memory Safety for Systems-Level Code},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {178--183},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_15},
doi = {10.1007/978-3-642-22110-1\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BerdineCI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookKV11,
author = {Byron Cook and
Eric Koskinen and
Moshe Y. Vardi},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Temporal Property Verification as a Program Analysis Task},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {333--348},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_26},
doi = {10.1007/978-3-642-22110-1\_26},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CookKV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CookHOPW11,
author = {Byron Cook and
Christoph Haase and
Jo{\"{e}}l Ouaknine and
Matthew J. Parkinson and
James Worrell},
editor = {Joost{-}Pieter Katoen and
Barbara K{\"{o}}nig},
title = {Tractable Reasoning in a Fragment of Separation Logic},
booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
{CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6901},
pages = {235--249},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23217-6\_16},
doi = {10.1007/978-3-642-23217-6\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/CookHOPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CookK11,
author = {Byron Cook and
Eric Koskinen},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Making prophecies with decision predicates},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {399--410},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926431},
doi = {10.1145/1926385.1926431},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/CookK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CookFKP11,
author = {Byron Cook and
Jasmin Fisher and
Elzbieta Krepska and
Nir Piterman},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Proving Stabilization of Biological Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {134--149},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_11},
doi = {10.1007/978-3-642-18275-4\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/CookFKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GotsmanBC11,
author = {Alexey Gotsman and
Josh Berdine and
Byron Cook},
editor = {Michael W. Mislove and
Jo{\"{e}}l Ouaknine},
title = {Precision and the Conjunction Rule in Concurrent Separation Logic},
booktitle = {Twenty-seventh Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2011, Pittsburgh, PA, USA, May 25-28, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {276},
pages = {171--190},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.09.021},
doi = {10.1016/J.ENTCS.2011.09.021},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GotsmanBC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CookKRW10,
author = {Byron Cook and
Daniel Kroening and
Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Ranking Function Synthesis for Bit-Vector Relations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {236--250},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_19},
doi = {10.1007/978-3-642-12002-2\_19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CookKRW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2010,
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6},
doi = {10.1007/978-3-642-14295-6},
isbn = {978-3-642-14294-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CookPR09,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
title = {Summarization for termination: no return!},
journal = {Formal Methods Syst. Des.},
volume = {35},
number = {3},
pages = {369--387},
year = {2009},
url = {https://doi.org/10.1007/s10703-009-0087-8},
doi = {10.1007/S10703-009-0087-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CookPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookGMRSSV09,
author = {Byron Cook and
Ashutosh Gupta and
Stephen Magill and
Andrey Rybalchenko and
Jir{\'{\i}} Simsa and
Satnam Singh and
Viktor Vafeiadis},
title = {Finding heap-bounds for hardware synthesis},
booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
pages = {205--212},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/FMCAD.2009.5351120},
doi = {10.1109/FMCAD.2009.5351120},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CookGMRSSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Cook09,
author = {Byron Cook},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Taming the Unbounded for Hardware Synthesis},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {39},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_3},
doi = {10.1007/978-3-642-00255-7\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Cook09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GotsmanCPV09,
author = {Alexey Gotsman and
Byron Cook and
Matthew J. Parkinson and
Viktor Vafeiadis},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {Proving that non-blocking algorithms don't block},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {16--28},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480886},
doi = {10.1145/1480881.1480886},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/GotsmanCPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Cook09,
author = {Byron Cook},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {Advances in Program Termination and Liveness},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {4},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_4},
doi = {10.1007/978-3-540-93900-9\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Cook09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2009,
editor = {Mar{\'{\i}}a Alpuente and
Byron Cook and
Christophe Joubert},
title = {Formal Methods for Industrial Critical Systems, 14th International
Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5825},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04570-7},
doi = {10.1007/978-3-642-04570-7},
isbn = {978-3-642-04569-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HincheyJCCBM08,
author = {Mike Hinchey and
Michael Jackson and
Patrick Cousot and
Byron Cook and
Jonathan P. Bowen and
Tiziana Margaria},
title = {Software engineering and formal methods},
journal = {Commun. {ACM}},
volume = {51},
number = {9},
pages = {54--59},
year = {2008},
url = {https://doi.org/10.1145/1378727.1378742},
doi = {10.1145/1378727.1378742},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/HincheyJCCBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookGLRS08,
author = {Byron Cook and
Sumit Gulwani and
Tal Lev{-}Ami and
Andrey Rybalchenko and
Mooly Sagiv},
editor = {Aarti Gupta and
Sharad Malik},
title = {Proving Conditional Termination},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {328--340},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_32},
doi = {10.1007/978-3-540-70545-1\_32},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/CookGLRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YangLBCCDO08,
author = {Hongseok Yang and
Oukseh Lee and
Josh Berdine and
Cristiano Calcagno and
Byron Cook and
Dino Distefano and
Peter W. O'Hearn},
editor = {Aarti Gupta and
Sharad Malik},
title = {Scalable Shape Analysis for Systems Code},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {385--398},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_36},
doi = {10.1007/978-3-540-70545-1\_36},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/YangLBCCDO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChawdharyCGSY08,
author = {Aziem Chawdhary and
Byron Cook and
Sumit Gulwani and
Mooly Sagiv and
Hongseok Yang},
editor = {Sophia Drossopoulou},
title = {Ranking Abstractions},
booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 2008, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {148--162},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_13},
doi = {10.1007/978-3-540-78739-6\_13},
timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
biburl = {https://dblp.org/rec/conf/esop/ChawdharyCGSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/CookS07,
author = {Byron Cook and
Roberto Sebastiani},
title = {Preface to Special Issue on Satisfiability Modulo Theories},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {3},
number = {1-2},
year = {2007},
url = {https://doi.org/10.3233/sat190027},
doi = {10.3233/SAT190027},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/CookS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LahiriBC07,
author = {Shuvendu K. Lahiri and
Thomas Ball and
Byron Cook},
title = {Predicate Abstraction via Symbolic Decision Procedures},
journal = {Log. Methods Comput. Sci.},
volume = {3},
number = {2},
year = {2007},
url = {https://doi.org/10.2168/LMCS-3(2:1)2007},
doi = {10.2168/LMCS-3(2:1)2007},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/LahiriBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CookKS07,
author = {Byron Cook and
Daniel Kroening and
Natasha Sharygina},
title = {Verification of Boolean programs with unbounded thread creation},
journal = {Theor. Comput. Sci.},
volume = {388},
number = {1-3},
pages = {227--242},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.07.050},
doi = {10.1016/J.TCS.2007.07.050},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CookKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/GotsmanBCRS07,
author = {Alexey Gotsman and
Josh Berdine and
Byron Cook and
Noam Rinetzky and
Mooly Sagiv},
editor = {Zhong Shao},
title = {Local Reasoning for Storable Locks and Threads},
booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
Singapore, November 29-December 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4807},
pages = {19--37},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76637-7\_3},
doi = {10.1007/978-3-540-76637-7\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/GotsmanBCRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Cook07,
author = {Byron Cook},
editor = {Werner Damm and
Holger Hermanns},
title = {Automatically Proving Program Termination},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {1},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_1},
doi = {10.1007/978-3-540-73368-3\_1},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/Cook07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerdineCCDOWY07,
author = {Josh Berdine and
Cristiano Calcagno and
Byron Cook and
Dino Distefano and
Peter W. O'Hearn and
Thomas Wies and
Hongseok Yang},
editor = {Werner Damm and
Holger Hermanns},
title = {Shape Analysis for Composite Data Structures},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {178--192},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_22},
doi = {10.1007/978-3-540-73368-3\_22},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BerdineCCDOWY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Cook07,
author = {Byron Cook},
title = {Bringing Hardware and Software Closer Together with Termination Analysis},
booktitle = {5th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2007), May 30 - June 1st, Nice,
France},
pages = {201},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MEMCOD.2007.371223},
doi = {10.1109/MEMCOD.2007.371223},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Cook07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GotsmanBCS07,
author = {Alexey Gotsman and
Josh Berdine and
Byron Cook and
Mooly Sagiv},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Thread-modular shape analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {266--277},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250765},
doi = {10.1145/1250734.1250765},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GotsmanBCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CookPR07,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Proving thread termination},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {320--330},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250771},
doi = {10.1145/1250734.1250771},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CookPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BerdineCCDO07,
author = {Josh Berdine and
Aziem Chawdhary and
Byron Cook and
Dino Distefano and
Peter W. O'Hearn},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Variance analyses from invariance analyses},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {211--224},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190249},
doi = {10.1145/1190216.1190249},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/BerdineCCDO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CookGPRV07,
author = {Byron Cook and
Alexey Gotsman and
Andreas Podelski and
Andrey Rybalchenko and
Moshe Y. Vardi},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Proving that programs eventually do something good},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {265--276},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190257},
doi = {10.1145/1190216.1190257},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/CookGPRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MagillBCC07,
author = {Stephen Magill and
Josh Berdine and
Edmund M. Clarke and
Byron Cook},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Arithmetic Strengthening for Shape Analysis},
booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
pages = {419--436},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_26},
doi = {10.1007/978-3-540-74061-2\_26},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/MagillBCC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BabicHRC07,
author = {Domagoj Babic and
Alan J. Hu and
Zvonimir Rakamaric and
Byron Cook},
title = {Proving Termination by Divergence},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {93--102},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.32},
doi = {10.1109/SEFM.2007.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BabicHRC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Cook07,
author = {Byron Cook},
title = {Automatically Proving Concurrent Programs Correct},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {269--272},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.10},
doi = {10.1109/SEFM.2007.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Cook07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ManevichBCRS07,
author = {Roman Manevich and
Josh Berdine and
Byron Cook and
G. Ramalingam and
Mooly Sagiv},
editor = {Orna Grumberg and
Michael Huth},
title = {Shape Analysis by Graph Decomposition},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {3--18},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_3},
doi = {10.1007/978-3-540-71209-1\_3},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ManevichBCRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2007P7401,
editor = {Franz Baader and
Byron Cook and
J{\"{u}}rgen Giesl and
Robert Nieuwenhuis},
title = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07401},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/portals/07401/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2007P7401.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2007,
editor = {Byron Cook and
Andreas Podelski},
title = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4349},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1},
doi = {10.1007/978-3-540-69738-1},
isbn = {978-3-540-69735-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BaaderCGN07,
author = {Franz Baader and
Byron Cook and
J{\"{u}}rgen Giesl and
Robert Nieuwenhuis},
editor = {Franz Baader and
Byron Cook and
J{\"{u}}rgen Giesl and
Robert Nieuwenhuis},
title = {07401 Executive Summary -- Deduction and Decision Procedures},
booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07401},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1251},
timestamp = {Sun, 02 Oct 2022 15:58:47 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BaaderCGN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BaaderCGN07a,
author = {Franz Baader and
Byron Cook and
J{\"{u}}rgen Giesl and
Robert Nieuwenhuis},
editor = {Franz Baader and
Byron Cook and
J{\"{u}}rgen Giesl and
Robert Nieuwenhuis},
title = {07401 Abstracts Collection -- Deduction and Decision Procedures},
booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07401},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1252},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BaaderCGN07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GriesmayerBC06,
author = {Andreas Griesmayer and
Roderick Bloem and
Byron Cook},
editor = {Thomas Ball and
Robert B. Jones},
title = {Repair of Boolean Programs with an Application to {C}},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {358--371},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_33},
doi = {10.1007/11817963\_33},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GriesmayerBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerdineCDO06,
author = {Josh Berdine and
Byron Cook and
Dino Distefano and
Peter W. O'Hearn},
editor = {Thomas Ball and
Robert B. Jones},
title = {Automatic Termination Proofs for Programs with Shape-Shifting Heaps},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {386--400},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_35},
doi = {10.1007/11817963\_35},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BerdineCDO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookPR06,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Thomas Ball and
Robert B. Jones},
title = {Terminator: Beyond Safety},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {415--418},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_37},
doi = {10.1007/11817963\_37},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CookPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BallBCLLMORU06,
author = {Thomas Ball and
Ella Bounimova and
Byron Cook and
Vladimir Levin and
Jakob Lichtenberg and
Con McGarvey and
Bohus Ondrusek and
Sriram K. Rajamani and
Abdullah Ustuner},
editor = {Yolande Berbers and
Willy Zwaenepoel},
title = {Thorough static analysis of device drivers},
booktitle = {Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April
18-21, 2006},
pages = {73--85},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1217935.1217943},
doi = {10.1145/1217935.1217943},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/BallBCLLMORU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookKS06,
author = {Byron Cook and
Daniel Kroening and
Natasha Sharygina},
title = {Over-Approximating Boolean Programs with Unbounded Thread Creation},
booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,
{FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
pages = {53--59},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/FMCAD.2006.24},
doi = {10.1109/FMCAD.2006.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/CookKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CookPR06,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Michael I. Schwartzbach and
Thomas Ball},
title = {Termination proofs for systems code},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
Language Design and Implementation, Ottawa, Ontario, Canada, June
11-14, 2006},
pages = {415--426},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133981.1134029},
doi = {10.1145/1133981.1134029},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CookPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GotsmanBC06,
author = {Alexey Gotsman and
Josh Berdine and
Byron Cook},
editor = {Kwangkeun Yi},
title = {Interprocedural Shape Analysis with Separated Heap Abstractions},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {240--260},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_16},
doi = {10.1007/11823230\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/GotsmanBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CookS07,
author = {Byron Cook and
Roberto Sebastiani},
editor = {Michael W. Mislove},
title = {Preface and Foreword},
booktitle = {Combined Proceedings of the Fourth Workshop on Pragmatics of Decision
Procedures in Automated Reasoning {(PDPAR} 2006) and the First International
Workshop on Probabilistic Automata and Logics (PaUL 2006), Parts of
FloC 2006, Seattle, WA, USA, August 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {8},
pages = {3--6},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.021},
doi = {10.1016/J.ENTCS.2007.05.021},
timestamp = {Fri, 27 Jan 2023 14:04:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CookS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/softmc/2005,
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {3},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/144/issue/3},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/softmc/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0612003,
author = {Shuvendu K. Lahiri and
Thomas Ball and
Byron Cook},
title = {Predicate Abstraction via Symbolic Decision Procedures},
journal = {CoRR},
volume = {abs/cs/0612003},
year = {2006},
url = {http://arxiv.org/abs/cs/0612003},
eprinttype = {arXiv},
eprint = {cs/0612003},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0612003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Cook05,
author = {Byron Cook},
title = {Finding Bugs in Device Drivers with Static Driver Verifier},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {71},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/abstract-cook.ps},
timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
biburl = {https://dblp.org/rec/conf/asm/Cook05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LahiriBC05,
author = {Shuvendu K. Lahiri and
Thomas Ball and
Byron Cook},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Predicate Abstraction via Symbolic Decision Procedures},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {24--38},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_5},
doi = {10.1007/11513988\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/LahiriBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookKS05,
author = {Byron Cook and
Daniel Kroening and
Natasha Sharygina},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Cogent: Accurate Theorem Proving for Program Verification},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {296--300},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_30},
doi = {10.1007/11513988\_30},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CookKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CookG05,
author = {Byron Cook and
Georges Gonthier},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {Using St{\aa}lmarck's Algorithm to Prove Inequalities},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {330--344},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_23},
doi = {10.1007/11576280\_23},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/CookG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CookPR05,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Chris Hankin and
Igor Siveroni},
title = {Abstraction Refinement for Termination},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {87--101},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_8},
doi = {10.1007/11547662\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/CookPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/CookKS05,
author = {Byron Cook and
Daniel Kroening and
Natasha Sharygina},
editor = {Patrice Godefroid},
title = {Symbolic Model Checking for Asynchronous Boolean Programs},
booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
CA, USA, August 22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3639},
pages = {75--90},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11537328\_9},
doi = {10.1007/11537328\_9},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/CookKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CookSV06,
author = {Byron Cook and
Scott D. Stoller and
Willem Visser},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Preface},
booktitle = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.001},
doi = {10.1016/J.ENTCS.2006.01.001},
timestamp = {Fri, 16 Dec 2022 10:50:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CookSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BallCLZ04,
author = {Thomas Ball and
Byron Cook and
Shuvendu K. Lahiri and
Lintao Zhang},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {457--461},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_36},
doi = {10.1007/978-3-540-27813-9\_36},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BallCLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BallCLR04,
author = {Thomas Ball and
Byron Cook and
Vladimir Levin and
Sriram K. Rajamani},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {{SLAM} and Static Driver Verifier: Technology Transfer of Formal Methods
inside Microsoft},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {1--20},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_1},
doi = {10.1007/978-3-540-24756-2\_1},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BallCLR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Cook04,
author = {Byron Cook},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Finding {API} usage rule violations in Windows device drivers using
Static Driver Verifier},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {18--18},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/Cook04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CookKS04,
author = {Byron Cook and
Daniel Kroening and
Natasha Sharygina},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Accurate Theorem Proving for Program Verification},
booktitle = {Leveraging Applications of Formal Methods, First International Symposium,
ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4313},
pages = {96--114},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11925040\_7},
doi = {10.1007/11925040\_7},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/CookKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallCDR04,
author = {Thomas Ball and
Byron Cook and
Satyaki Das and
Sriram K. Rajamani},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Refining Approximations in Software Predicate Abstraction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {388--403},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_30},
doi = {10.1007/978-3-540-24730-2\_30},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BallCDR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AagaardCDJ03,
author = {Mark D. Aagaard and
Byron Cook and
Nancy A. Day and
Robert B. Jones},
title = {A framework for superscalar microprocessor correctness statements},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {3},
pages = {298--312},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0087-0},
doi = {10.1007/S10009-002-0087-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AagaardCDJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/AnderssonBCH03,
author = {Gunnar Andersson and
Per Bjesse and
Byron Cook and
Ziyad Hanna},
title = {Design automation with mixtures of proof strategies for propositional
logic},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {22},
number = {8},
pages = {1042--1048},
year = {2003},
url = {https://doi.org/10.1109/TCAD.2003.814959},
doi = {10.1109/TCAD.2003.814959},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/AnderssonBCH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LahiriBC03,
author = {Shuvendu K. Lahiri and
Randal E. Bryant and
Byron Cook},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {A Symbolic Approach to Predicate Abstraction},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {141--153},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_15},
doi = {10.1007/978-3-540-45069-6\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/LahiriBC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CookSV03,
author = {Byron Cook and
Scott D. Stoller and
Willem Visser},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {SoftMC 2003: Workshop on Software Model Checking},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {377},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80001-5},
doi = {10.1016/S1571-0661(05)80001-5},
timestamp = {Thu, 08 Dec 2022 15:49:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CookSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2003smc,
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/89/issue/3},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/2003smc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AnderssonBCH02,
author = {Gunnar Andersson and
Per Bjesse and
Byron Cook and
Ziyad Hanna},
title = {A proof engine approach to solving combinational design automation
problems},
booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
New Orleans, LA, USA, June 10-14, 2002},
pages = {725--730},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513918.514101},
doi = {10.1145/513918.514101},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AnderssonBCH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AagaardCDJ01,
author = {Mark D. Aagaard and
Byron Cook and
Nancy A. Day and
Robert B. Jones},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {A Framework for Microprocessor Correctness Statements},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {433--448},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_33},
doi = {10.1007/3-540-44798-9\_33},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/AagaardCDJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DayAC00,
author = {Nancy A. Day and
Mark D. Aagaard and
Byron Cook},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {Combining Stream-Based and State-Based Verification Techniques},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {126--142},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_9},
doi = {10.1007/3-540-40922-X\_9},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/DayAC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CookLMK99,
author = {Byron Cook and
John Launchbury and
John Matthews and
Richard B. Kieburtz},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Formal Verification of Explicitly Parallel Microprocessors},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {23--36},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_4},
doi = {10.1007/3-540-48153-2\_4},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/CookLMK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/DayLC99,
author = {Nancy A. Day and
Jeffrey R. Lewis and
Byron Cook},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Symbolic Simulation of Microprocessor Models using Type Classes in
Haskell},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {346--349},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_31},
doi = {10.1007/3-540-48153-2\_31},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/DayLC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LaunchburyLC99,
author = {John Launchbury and
Jeffrey R. Lewis and
Byron Cook},
editor = {Didier R{\'{e}}my and
Peter Lee},
title = {On Embedding a Microarchitectural Design Language within Haskell},
booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
1999},
pages = {60--69},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/317636.317784},
doi = {10.1145/317636.317784},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/LaunchburyLC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/MatthewsCL98,
author = {John Matthews and
Byron Cook and
John Launchbury},
title = {Microprocessor Specification in Hawk},
booktitle = {Proceedings of the 1998 International Conference on Computer Languages,
{ICCL} 1998, Chicago, IL, USA, May 14-16, 1998},
pages = {90--101},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICCL.1998.674160},
doi = {10.1109/ICCL.1998.674160},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/MatthewsCL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CookL97,
author = {Byron Cook and
John Launchbury},
editor = {Simon L. Peyton Jones and
Mads Tofte and
A. Michael Berman},
title = {Disposable Memo Functions (Extended Abstract)},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
9-11, 1997},
pages = {310},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258948.258979},
doi = {10.1145/258948.258979},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/CookL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-12-14 21:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
