2009 |
19 | EE | Josh Berdine:
Automatic Verification of Heap Manipulation Using Separation Logic.
SOFSEM 2009: 34 |
2008 |
18 | EE | 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 | EE | Josh Berdine,
Tal Lev-Ami,
Roman Manevich,
G. Ramalingam,
Shmuel Sagiv:
Thread Quantification for Concurrent Shape Analysis.
CAV 2008: 399-413 |
16 | EE | M. Ridsdale,
Mateja Jamnik,
Nick Benton,
Josh Berdine:
Diagrammatic Reasoning in Separation Logic.
Diagrams 2008: 408-411 |
15 | EE | Roman Manevich,
Tal Lev-Ami,
Mooly Sagiv,
Ganesan Ramalingam,
Josh Berdine:
Heap Decomposition for Concurrent Shape Analysis.
SAS 2008: 363-377 |
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) |