Josh Berdine

	2012
23		Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn: Verification Condition Generation and Variable Conditions in Smallfoot CoRR abs/1204.4804: (2012)
	2011
22		Josh Berdine, Byron Cook, Samin Ishtiaq: SLAyer: Memory Safety for Systems-Level Code. CAV 2011: 178-183
21		Alexey Gotsman, Josh Berdine, Byron Cook: Precision and the Conjunction Rule in Concurrent Separation Logic. Electr. Notes Theor. Comput. Sci. 276: 171-190 (2011)
	2010
20		Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine: Structuring the verification of heap-manipulating programs. POPL 2010: 261-274
	2009
19		Josh Berdine: Automatic Verification of Heap Manipulation Using Separation Logic. SOFSEM 2009: 34
	2008
18		Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn: Scalable Shape Analysis for Systems Code. CAV 2008: 385-398
17		Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv: Thread Quantification for Concurrent Shape Analysis. CAV 2008: 399-413
16		M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine: Diagrammatic Reasoning in Separation Logic. Diagrams 2008: 408-411
15		Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine: Heap Decomposition for Concurrent Shape Analysis. SAS 2008: 363-377
	2007
14		Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv: Local Reasoning for Storable Locks and Threads. APLAS 2007: 19-37
13		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		Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv: Thread-modular shape analysis. PLDI 2007: 266-277
11		Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn: Variance analyses from invariance analyses. POPL 2007: 211-224
10		Josh Berdine: Local reasoning about storable locks. PPDP 2007: 153
9		Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook: Arithmetic Strengthening for Shape Analysis. SAS 2007: 419-436
8		Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv: Shape Analysis by Graph Decomposition. TACAS 2007: 3-18
	2006
7		Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearn: Automatic Termination Proofs for Programs with Shape-Shifting Heaps. CAV 2006: 386-400
6		Alexey Gotsman, Josh Berdine, Byron Cook: Interprocedural Shape Analysis with Separated Heap Abstractions. SAS 2006: 240-260
5		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		Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn: Symbolic Execution with Separation Logic. APLAS 2005: 52-68
3		Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn: Smallfoot: Modular Automatic Assertion Checking with Separation Logic. FMCO 2005: 115-137
	2004
2		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	Nick Benton (P. N. Benton)	[16]
2	Cristiano Calcagno	[2] [3] [4] [13] [18] [23]
3	Aziem Chawdhary	[11]
4	Edmund M. Clarke	[9]
5	Byron Cook	[6] [7] [8] [9] [11] [12] [13] [14] [18] [21] [22]
6	Dino Distefano	[7] [11] [13] [18]
7	Alexey Gotsman	[6] [12] [14] [21]
8	Samin Ishtiaq	[22]
9	Mateja Jamnik	[16]
10	Oukseh Lee	[18]
11	Tal Lev-Ami	[15] [17]
12	Stephen Magill	[9]
13	Roman Manevich	[8] [15] [17]
14	Aleksandar Nanevski	[20]
15	Peter W. O'Hearn	[1] [2] [3] [4] [5] [7] [11] [13] [18] [23]
16	G. Ramalingam (Ganesan Ramalingam)	[8] [15] [17]
17	Uday S. Reddy	[1]
18	M. Ridsdale	[16]
19	Noam Rinetzky	[14]
20	Shmuel Sagiv (Mooly Sagiv)	[8] [12] [14] [15] [17]
21	Hayo Thielecke	[1]
22	Viktor Vafeiadis	[20]
23	Thomas Wies	[13]
24	Hongseok Yang	[13] [18]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page