Josh Berdine

2007
14	EE	Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv: Local Reasoning for Storable Locks and Threads. APLAS 2007: 19-37
13	EE	Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang: Shape Analysis for Composite Data Structures. CAV 2007: 178-192
12	EE	Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv: Thread-modular shape analysis. PLDI 2007: 266-277
11	EE	Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn: Variance analyses from invariance analyses. POPL 2007: 211-224
10	EE	Josh Berdine: Local reasoning about storable locks. PPDP 2007: 153
9	EE	Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook: Arithmetic Strengthening for Shape Analysis. SAS 2007: 419-436
8	EE	Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv: Shape Analysis by Graph Decomposition. TACAS 2007: 3-18
2006
7	EE	Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearn: Automatic Termination Proofs for Programs with Shape-Shifting Heaps. CAV 2006: 386-400
6	EE	Alexey Gotsman, Josh Berdine, Byron Cook: Interprocedural Shape Analysis with Separated Heap Abstractions. SAS 2006: 240-260
5	EE	Josh Berdine, Peter W. O'Hearn: Strong Update, Disposal, and Encapsulation in Bunched Typing. Electr. Notes Theor. Comput. Sci. 158: 81-98 (2006)
2005
4	EE	Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn: Symbolic Execution with Separation Logic. APLAS 2005: 52-68
3	EE	Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn: Smallfoot: Modular Automatic Assertion Checking with Separation Logic. FMCO 2005: 115-137
2004
2	EE	Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn: A Decidable Fragment of Separation Logic. FSTTCS 2004: 97-109
2002
1		Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke: Linear Continuation-Passing. Higher-Order and Symbolic Computation 15(2-3): 181-208 (2002)

Coauthor Index

1	Cristiano Calcagno	[2] [3] [4] [13]
2	Aziem Chawdhary	[11]
3	Edmund M. Clarke	[9]
4	Byron Cook	[6] [7] [8] [9] [11] [12] [13] [14]
5	Dino Distefano	[7] [11] [13]
6	Alexey Gotsman	[6] [12] [14]
7	Stephen Magill	[9]
8	Roman Manevich	[8]
9	Peter W. O'Hearn	[1] [2] [3] [4] [5] [7] [11] [13]
10	G. Ramalingam (Ganesan Ramalingam)	[8]
11	Uday S. Reddy	[1]
12	Noam Rinetzky	[14]
13	Shmuel Sagiv (Mooly Sagiv)	[8] [12] [14]
14	Hayo Thielecke	[1]
15	Thomas Wies	[13]
16	Hongseok Yang	[13]