The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Josh Berdine: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002