×

zbMATH — the first resource for mathematics

Cook, Byron

Compute Distance To:
Author ID: cook.byron Recent zbMATH articles by "Cook, Byron"
Published as: Cook, Byron; Cook, B.
Documents Indexed: 41 Publications since 2001, including 3 Books

Publications by Year

Citations contained in zbMATH Open

35 Publications have been cited 228 times in 154 Documents Cited by Year
Abstraction refinement for termination. Zbl 1141.68365
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey
21
2005
Scalable shape analysis for systems code. Zbl 1155.68359
Yang, Hongseok; Lee, Oukseh; Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter
20
2008
Shape analysis for composite data structures. Zbl 1135.68372
Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok
13
2007
Tractable reasoning in a fragment of separation logic. Zbl 1300.03017
Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James
13
2011
Proving that non-blocking algorithms don’t block. Zbl 1315.68093
Gotsman, Alexey; Cook, Byron; Parkinson, Matthew; Vafeiadis, Viktor
11
2009
Local reasoning for storable locks and threads. Zbl 1137.68354
Gotsman, Alexey; Berdine, Josh; Cook, Byron; Rinetzky, Noam; Sagiv, Mooly
11
2007
Ranking function synthesis for bit-vector relations. Zbl 1284.68172
Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M.
10
2010
Proving conditional termination. Zbl 1155.68431
Cook, Byron; Gulwani, Sumit; Lev-Ami, Tal; Rybalchenko, Andrey; Sagiv, Mooly
10
2008
Variance analyses from invariance analyses. Zbl 1295.68076
Berdine, Josh; Chawdhary, Aziem; Cook, Byron; Distefano, Dino; O’Hearn, Peter
9
2007
Proving that programs eventually do something good. Zbl 1295.68083
Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y.
9
2007
Automatic termination proofs for programs with shape-shifting heaps. Zbl 1188.68109
Berdine, Josh; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.
9
2006
Interprocedural shape analysis with separated heap abstractions. Zbl 1225.68072
Gotsman, Alexey; Berdine, Josh; Cook, Byron
9
2006
Zapato: Automatic theorem proving for predicate abstraction refinement. Zbl 1103.68604
Ball, Thomas; Cook, Byron; Lahiri, Shuvendu K.; Zhang, Lintao
8
2004
A symbolic approach to predicate abstraction. Zbl 1278.68181
Lahiri, Shuvendu K.; Bryant, Randal E.; Cook, Byron
8
2003
Ranking abstractions. Zbl 1133.68317
Chawdhary, Aziem; Cook, Byron; Gulwani, Sumit; Sagiv, Mooly; Yang, Hongseok
6
2008
Ramsey versus lexicographic termination proving. Zbl 1381.68050
Cook, Byron; See, Abigail; Zuleger, Florian
5
2013
Symbolic model checking for asynchronous Boolean programs. Zbl 1151.68367
Cook, Byron; Kroening, Daniel; Sharygina, Natasha
5
2005
Verification of Boolean programs with unbounded thread creation. Zbl 1143.68043
Cook, Byron; Kroening, Daniel; Sharygina, Natasha
5
2007
Arithmetic strengthening for shape analysis. Zbl 1211.68094
Magill, Stephen; Berdine, Josh; Clarke, Edmund; Cook, Byron
5
2007
On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems. Zbl 1381.68154
Cook, Byron; Khlaaf, Heidy; Piterman, Nir
4
2015
Predicate abstraction via symbolic decision procedures. Zbl 1081.68055
Lahiri, Shuvendu K.; Ball, Thomas; Cook, Byron
4
2005
Making prophecies with decision predicates. Zbl 1284.68389
Cook, Byron; Koskinen, Eric
4
2011
Ranking function synthesis for bit-vector relations. Zbl 1291.68138
Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M.
4
2013
Refining approximations in software predicate abstraction. Zbl 1126.68344
Ball, Thomas; Cook, Byron; Das, Satyaki; Rajamani, Sriram K.
4
2004
Cogent: Accurate theorem proving for program verification. Zbl 1081.68673
Cook, Byron; Kroening, Daniel; Sharygina, Natasha
3
2005
Summarization for termination: No return! Zbl 1185.68412
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey
3
2009
Proving stabilization of biological systems. Zbl 1318.92014
Cook, Byron; Fisher, Jasmin; Krepska, Elzbieta; Piterman, Nir
3
2011
Temporal property verification as a program analysis task. Zbl 1284.68171
Cook, Byron; Koskinen, Eric; Vardi, Moshe
2
2012
Spatial interpolants. Zbl 1335.68040
Albargouthi, Aws; Berdine, Josh; Cook, Byron; Kincaid, Zachary
2
2015
Precision and the conjunction rule in concurrent separation logic. Zbl 1342.68085
Gotsman, Alexey; Berdine, Josh; Cook, Byron
2
2011
Repair of Boolean programs with an application to C. Zbl 1188.68188
Griesmayer, Andreas; Bloem, Roderick; Cook, Byron
2
2006
A framework for microprocessor correctness statements. Zbl 1002.68500
Aagaard, Mark D.; Cook, Byron; Day, Nancy A.; Jones, Robert B.
1
2001
Proving termination of nonlinear command sequences. Zbl 1298.68164
Babić, Domagoj; Cook, Byron; Hu, Alan J.; Rakamarić, Zvonimir
1
2013
Predicate abstraction via symbolic decision procedures. Zbl 1128.03019
Lahiri, Shuvendu Kumar; Ball, Thomas; Cook, Byron
1
2007
Computer aided verification. 22nd international conference, CAV 2010, Edinburgh, UK, July 15–19, 2010. Proceedings. Zbl 1193.68016
Touili, Tayssir (ed.); Cook, Byron (ed.); Jackson, Paul (ed.)
1
2010
On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems. Zbl 1381.68154
Cook, Byron; Khlaaf, Heidy; Piterman, Nir
4
2015
Spatial interpolants. Zbl 1335.68040
Albargouthi, Aws; Berdine, Josh; Cook, Byron; Kincaid, Zachary
2
2015
Ramsey versus lexicographic termination proving. Zbl 1381.68050
Cook, Byron; See, Abigail; Zuleger, Florian
5
2013
Ranking function synthesis for bit-vector relations. Zbl 1291.68138
Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M.
4
2013
Proving termination of nonlinear command sequences. Zbl 1298.68164
Babić, Domagoj; Cook, Byron; Hu, Alan J.; Rakamarić, Zvonimir
1
2013
Temporal property verification as a program analysis task. Zbl 1284.68171
Cook, Byron; Koskinen, Eric; Vardi, Moshe
2
2012
Tractable reasoning in a fragment of separation logic. Zbl 1300.03017
Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James
13
2011
Making prophecies with decision predicates. Zbl 1284.68389
Cook, Byron; Koskinen, Eric
4
2011
Proving stabilization of biological systems. Zbl 1318.92014
Cook, Byron; Fisher, Jasmin; Krepska, Elzbieta; Piterman, Nir
3
2011
Precision and the conjunction rule in concurrent separation logic. Zbl 1342.68085
Gotsman, Alexey; Berdine, Josh; Cook, Byron
2
2011
Ranking function synthesis for bit-vector relations. Zbl 1284.68172
Cook, Byron; Kroening, Daniel; Rümmer, Philipp; Wintersteiger, Christoph M.
10
2010
Computer aided verification. 22nd international conference, CAV 2010, Edinburgh, UK, July 15–19, 2010. Proceedings. Zbl 1193.68016
Touili, Tayssir; Cook, Byron; Jackson, Paul
1
2010
Proving that non-blocking algorithms don’t block. Zbl 1315.68093
Gotsman, Alexey; Cook, Byron; Parkinson, Matthew; Vafeiadis, Viktor
11
2009
Summarization for termination: No return! Zbl 1185.68412
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey
3
2009
Scalable shape analysis for systems code. Zbl 1155.68359
Yang, Hongseok; Lee, Oukseh; Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter
20
2008
Proving conditional termination. Zbl 1155.68431
Cook, Byron; Gulwani, Sumit; Lev-Ami, Tal; Rybalchenko, Andrey; Sagiv, Mooly
10
2008
Ranking abstractions. Zbl 1133.68317
Chawdhary, Aziem; Cook, Byron; Gulwani, Sumit; Sagiv, Mooly; Yang, Hongseok
6
2008
Shape analysis for composite data structures. Zbl 1135.68372
Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok
13
2007
Local reasoning for storable locks and threads. Zbl 1137.68354
Gotsman, Alexey; Berdine, Josh; Cook, Byron; Rinetzky, Noam; Sagiv, Mooly
11
2007
Variance analyses from invariance analyses. Zbl 1295.68076
Berdine, Josh; Chawdhary, Aziem; Cook, Byron; Distefano, Dino; O’Hearn, Peter
9
2007
Proving that programs eventually do something good. Zbl 1295.68083
Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y.
9
2007
Verification of Boolean programs with unbounded thread creation. Zbl 1143.68043
Cook, Byron; Kroening, Daniel; Sharygina, Natasha
5
2007
Arithmetic strengthening for shape analysis. Zbl 1211.68094
Magill, Stephen; Berdine, Josh; Clarke, Edmund; Cook, Byron
5
2007
Predicate abstraction via symbolic decision procedures. Zbl 1128.03019
Lahiri, Shuvendu Kumar; Ball, Thomas; Cook, Byron
1
2007
Automatic termination proofs for programs with shape-shifting heaps. Zbl 1188.68109
Berdine, Josh; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.
9
2006
Interprocedural shape analysis with separated heap abstractions. Zbl 1225.68072
Gotsman, Alexey; Berdine, Josh; Cook, Byron
9
2006
Repair of Boolean programs with an application to C. Zbl 1188.68188
Griesmayer, Andreas; Bloem, Roderick; Cook, Byron
2
2006
Abstraction refinement for termination. Zbl 1141.68365
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey
21
2005
Symbolic model checking for asynchronous Boolean programs. Zbl 1151.68367
Cook, Byron; Kroening, Daniel; Sharygina, Natasha
5
2005
Predicate abstraction via symbolic decision procedures. Zbl 1081.68055
Lahiri, Shuvendu K.; Ball, Thomas; Cook, Byron
4
2005
Cogent: Accurate theorem proving for program verification. Zbl 1081.68673
Cook, Byron; Kroening, Daniel; Sharygina, Natasha
3
2005
Zapato: Automatic theorem proving for predicate abstraction refinement. Zbl 1103.68604
Ball, Thomas; Cook, Byron; Lahiri, Shuvendu K.; Zhang, Lintao
8
2004
Refining approximations in software predicate abstraction. Zbl 1126.68344
Ball, Thomas; Cook, Byron; Das, Satyaki; Rajamani, Sriram K.
4
2004
A symbolic approach to predicate abstraction. Zbl 1278.68181
Lahiri, Shuvendu K.; Bryant, Randal E.; Cook, Byron
8
2003
A framework for microprocessor correctness statements. Zbl 1002.68500
Aagaard, Mark D.; Cook, Byron; Day, Nancy A.; Jones, Robert B.
1
2001
all top 5

Cited by 346 Authors

13 Kröning, Daniel
8 Cook, Byron
7 Demri, Stéphane P.
6 Giesl, Jürgen
6 Vojnar, Tomáš
5 Iosif, Radu
5 Sharygina, Natasha
5 Wintersteiger, Christoph M.
4 Brockschmidt, Marc
4 Brotherston, James
4 Cimatti, Alessandro
4 Frohn, Florian
4 Genaim, Samir
4 Hensel, Jera
4 Holík, Lukáš
4 Rogalewicz, Adam
4 Sebastiani, Roberto
4 Ströder, Thomas
3 Biere, Armin
3 Bouajjani, Ahmed
3 Bruttomesso, Roberto
3 Chin, Wei-Ngan
3 Deters, Morgan
3 Enea, Constantin
3 Fuhs, Carsten
3 Lengál, Ondřej
3 Lozes, Etienne
3 Petersen, Rasmus Lerchedahl
3 Podelski, Andreas
3 Qin, Shengchao
3 Rybalchenko, Andrey
3 Schneider-Kamp, Peter
3 Sighireanu, Mihaela
3 Tsitovich, Aliaksei
3 Wahl, Thomas
2 Albert, Elvira
2 Appel, Andrew W.
2 Aschermann, Cornelius
2 Bagnara, Roberto
2 Birkedal, Lars
2 Bozga, Marius
2 Bozzano, Marco
2 Brochenin, Rémi
2 Chen, Taolue
2 Donaldson, Alastair F.
2 Dragoi, Cezara
2 Ernst, Gidon
2 Falke, Stephan
2 Fisher, Jasmin
2 Flores-Montoya, Antonio
2 Gardner, Philippa Anne
2 Gast, Holger
2 Ghardallou, Wided
2 Griggio, Alberto
2 Habermehl, Peter
2 He, Guanhua
2 Hobor, Aquinas
2 Jansen, Christina
2 Jobstmann, Barbara
2 Junttila, Tommi A.
2 Kaiser, Alexander D.
2 Kapur, Deepak
2 Koskinen, Eric
2 Leavens, Gary T.
2 Martin-Martin, Enrique
2 Mili, Ali
2 Noll, Thomas
2 O’Hearn, Peter W.
2 Otto, Carsten
2 Piterman, Nir
2 Plücker, Martin
2 Pottier, François
2 Ranise, Silvio
2 Rümmer, Philipp
2 Schellhorn, Gerhard
2 Tautschnig, Michael
2 Tonetta, Stefano
2 van Rossum, Peter
2 von Essen, Christian
2 Wu, Zhilin
2 Yang, Hongseok
2 Zaffanella, Enea
2 Zhao, Hengjun
1 Abdelzaher, Tarek F.
1 Abdulla, Parosh Aziz
1 Ahmed, Zara
1 Alechina, Natasha
1 Alpuente, María
1 Amighi, Afshin
1 Andrianov, P. S.
1 Ashar, Pranav
1 Babić, Domagoj
1 Badban, Bahareh
1 Balaban, Ittai
1 Bansal, Kshitij
1 Bao, Yuyan
1 Barone-Adesi, Katerina
1 Basler, Gérard
1 Ben-Amram, Amir M.
1 Benque, David
...and 246 more Authors

Citations by Year