×

zbMATH — the first resource for mathematics

Berdine, Josh

Compute Distance To:
Author ID: berdine.josh Recent zbMATH articles by "Berdine, Josh"
Published as: Berdine, Josh; Berdine, J.
Documents Indexed: 20 Publications since 2002, including 1 Book

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 153 times in 109 Documents Cited by Year
Symbolic execution with separation logic. Zbl 1159.68363
Berdine, Josh; Calcagno, Cristiano; O’Hearn, Peter W.
28
2005
A decidable fragment of separation logic. Zbl 1117.03337
Berdine, Josh; Calcagno, Cristiano; O’Hearn, Peter W.
23
2004
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
Local reasoning for storable locks and threads. Zbl 1137.68354
Gotsman, Alexey; Berdine, Josh; Cook, Byron; Rinetzky, Noam; Sagiv, Mooly
11
2007
Interprocedural shape analysis with separated heap abstractions. Zbl 1225.68072
Gotsman, Alexey; Berdine, Josh; Cook, Byron
9
2006
Variance analyses from invariance analyses. Zbl 1295.68076
Berdine, Josh; Chawdhary, Aziem; Cook, Byron; Distefano, Dino; O’Hearn, Peter
9
2007
Linear continuation-passing. Zbl 1030.68011
Berdine, Josh; O’Hearn, Peter; Reddy, Uday; Thielecke, Hayo
9
2002
Automatic termination proofs for programs with shape-shifting heaps. Zbl 1188.68109
Berdine, Josh; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.
9
2006
Arithmetic strengthening for shape analysis. Zbl 1211.68094
Magill, Stephen; Berdine, Josh; Clarke, Edmund; Cook, Byron
5
2007
Structuring the verification of heap-manipulating programs. Zbl 1312.68065
Nanevski, Aleksandar; Vafeiadis, Viktor; Berdine, Josh
3
2010
Thread quantification for concurrent shape analysis. Zbl 1155.68360
Berdine, J.; Lev-Ami, T.; Manevich, R.; Ramalingam, G.; Sagiv, M.
3
2008
Precision and the conjunction rule in concurrent separation logic. Zbl 1342.68085
Gotsman, Alexey; Berdine, Josh; Cook, Byron
2
2011
Computing all implied equalities via SMT-based partition refinement. Zbl 1423.68408
Berdine, Josh; Bjørner, Nikolaj
2
2014
Spatial interpolants. Zbl 1335.68040
Albargouthi, Aws; Berdine, Josh; Cook, Byron; Kincaid, Zachary
2
2015
Heap decomposition for concurrent shape analysis. Zbl 1149.68358
Manevich, Roman; Lev-Ami, Tal; Sagiv, Mooly; Ramalingam, Ganesan; Berdine, Josh
2
2008
Strong update, disposal, and encapsulation in bunched typing. Zbl 1273.03097
Berdine, Josh; O’Hearn, Peter W.
2
2006
Resourceful reachability as HORN-LA. Zbl 1406.68049
Berdine, Josh; Bjørner, Nikolaj; Ishtiaq, Samin; Kriener, Jael E.; Wintersteiger, Christoph M.
1
2013
Spatial interpolants. Zbl 1335.68040
Albargouthi, Aws; Berdine, Josh; Cook, Byron; Kincaid, Zachary
2
2015
Computing all implied equalities via SMT-based partition refinement. Zbl 1423.68408
Berdine, Josh; Bjørner, Nikolaj
2
2014
Resourceful reachability as HORN-LA. Zbl 1406.68049
Berdine, Josh; Bjørner, Nikolaj; Ishtiaq, Samin; Kriener, Jael E.; Wintersteiger, Christoph M.
1
2013
Precision and the conjunction rule in concurrent separation logic. Zbl 1342.68085
Gotsman, Alexey; Berdine, Josh; Cook, Byron
2
2011
Structuring the verification of heap-manipulating programs. Zbl 1312.68065
Nanevski, Aleksandar; Vafeiadis, Viktor; Berdine, Josh
3
2010
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
Thread quantification for concurrent shape analysis. Zbl 1155.68360
Berdine, J.; Lev-Ami, T.; Manevich, R.; Ramalingam, G.; Sagiv, M.
3
2008
Heap decomposition for concurrent shape analysis. Zbl 1149.68358
Manevich, Roman; Lev-Ami, Tal; Sagiv, Mooly; Ramalingam, Ganesan; Berdine, Josh
2
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
Arithmetic strengthening for shape analysis. Zbl 1211.68094
Magill, Stephen; Berdine, Josh; Clarke, Edmund; Cook, Byron
5
2007
Interprocedural shape analysis with separated heap abstractions. Zbl 1225.68072
Gotsman, Alexey; Berdine, Josh; Cook, Byron
9
2006
Automatic termination proofs for programs with shape-shifting heaps. Zbl 1188.68109
Berdine, Josh; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.
9
2006
Strong update, disposal, and encapsulation in bunched typing. Zbl 1273.03097
Berdine, Josh; O’Hearn, Peter W.
2
2006
Symbolic execution with separation logic. Zbl 1159.68363
Berdine, Josh; Calcagno, Cristiano; O’Hearn, Peter W.
28
2005
A decidable fragment of separation logic. Zbl 1117.03337
Berdine, Josh; Calcagno, Cristiano; O’Hearn, Peter W.
23
2004
Linear continuation-passing. Zbl 1030.68011
Berdine, Josh; O’Hearn, Peter; Reddy, Uday; Thielecke, Hayo
9
2002
all top 5

Cited by 232 Authors

6 Brotherston, James
6 Chin, Wei-Ngan
6 Cook, Byron
5 Kröning, Daniel
5 Vojnar, Tomáš
4 Bouajjani, Ahmed
4 Demri, Stéphane P.
4 Iosif, Radu
4 Qin, Shengchao
4 Tatsuta, Makoto
3 Appel, Andrew W.
3 Birkedal, Lars
3 Enea, Constantin
3 Holík, Lukáš
3 Lengál, Ondřej
3 Lozes, Etienne
3 O’Hearn, Peter W.
3 Petersen, Rasmus Lerchedahl
3 Rogalewicz, Adam
3 Sighireanu, Mihaela
3 Wintersteiger, Christoph M.
2 Arusoaie, Andrei
2 Beringer, Lennart
2 Bozga, Marius
2 Brochenin, Rémi
2 Brockschmidt, Marc
2 Charlton, Nathaniel
2 Chen, Taolue
2 Dang, Han-Hing
2 Dragoi, Cezara
2 Duan, Zhenhua
2 Faisal Al Ameen, Mahmudul
2 Gast, Holger
2 Giesl, Jürgen
2 Habermehl, Peter
2 He, Guanhua
2 Hobor, Aquinas
2 Horsfall, Ben
2 Jansen, Christina
2 Le, Quang Loc
2 Lu, Xu
2 Lucanu, Dorel
2 Möller, Bernhard
2 Nanevski, Aleksandar
2 Noll, Thomas
2 Pottier, François
2 Reus, Bernhard
2 Rusu, Vlad
2 Rybalchenko, Andrey
2 Sagiv, Mooly
2 Sánchez, Alejandro D.
2 Sánchez, César
2 Schulte, Wolfram
2 Sharygina, Natasha
2 Tian, Cong
2 Tribastone, Mirco
2 Tsitovich, Aliaksei
2 Vafeiadis, Viktor
2 Vandin, Andrea
2 Wu, Zhilin
1 Abdulla, Parosh Aziz
1 Alpuente, María
1 Amighi, Afshin
1 Aschermann, Cornelius
1 Aspinall, David
1 Atkey, Robert
1 Babić, Domagoj
1 Balaban, Ittai
1 Bao, Yuyan
1 Basler, Gérard
1 Bäumler, Simon
1 Bjørner, Nikolaj S.
1 Blom, Stefan
1 Brutschy, Lucas
1 Buisse, Alexandre
1 Calcagno, Cristiano
1 Cao, Qinxiang
1 Cao, Yongzhi
1 Cardelli, Luca
1 Charguéraud, Arthur
1 Chen, Yiyun
1 Chroboczek, Juliusz
1 Craciun, Florin
1 Crespo, Juan Manuel
1 Curien, Pierre-Louis
1 Darabi, Saeed
1 David, Cristina
1 Deters, Morgan
1 Distefano, Dino
1 Dockins, Robert
1 Dodds, Josiah
1 Dong, Yuan
1 Dreyer, Derek R.
1 Du, Hongwei
1 Egger, Jeffrey M.
1 Ellison, Chucky
1 Ernst, Gidon
1 Feng, Xinyu
1 Ferrara, Pietro
1 Frohn, Florian
...and 132 more Authors

Citations by Year