Search the dblp DataBase

Publications of Author

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