Josh Berdine
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
13
Active years
2005–2023
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CONCUR | A General Approach to Under-Approximate Reasoning About Concurrent Programs. | Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn |
| 2020 | CAV | Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. | Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter W. O'Hearn, Jules Villard |
| 2015 | ESOP | Spatial Interpolants. | Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid |
| 2015 | SAS | A Forward Analysis for Recurrent Sets. | Alexey Bakhirkin, Josh Berdine, Nir Piterman |
| 2014 | CADE | Computing All Implied Equalities via SMT-Based Partition Refinement. | Josh Berdine, Nikolaj S. Bjrner |
| 2014 | SAS | Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction. | Alexey Bakhirkin, Josh Berdine, Nir Piterman |
| 2013 | LPAR | Resourceful Reachability as HORN-LA. | Josh Berdine, Nikolaj S. Bjrner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger |
| 2012 | CAV | Diagnosing Abstraction Failure for Separation Logic-Based Analyses. | Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger |
| 2011 | CAV | SLAyer: Memory Safety for Systems-Level Code. | Josh Berdine, Byron Cook, Samin Ishtiaq |
| 2010 | POPL | Structuring the verification of heap-manipulating programs. | Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine |
| 2009 | SOFSEM | Automatic Verification of Heap Manipulation Using Separation Logic. | Josh Berdine |
| 2008 | CAV | Thread Quantification for Concurrent Shape Analysis. | Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv |
| 2008 | CAV | Scalable Shape Analysis for Systems Code. | Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn |
| 2008 | DIAGRAMS | Diagrammatic Reasoning in Separation Logic. | M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine |
| 2008 | SAS | Heap Decomposition for Concurrent Shape Analysis. | Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine |
| 2007 | APLAS | Local Reasoning for Storable Locks and Threads. | Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv |
| 2007 | CAV | Shape Analysis for Composite Data Structures. | Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang |
| 2007 | PLDI | Thread-modular shape analysis. | Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv |
| 2007 | POPL | Variance analyses from invariance analyses. | Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn |
| 2007 | PPDP | Local reasoning about storable locks. | Josh Berdine |
| 2007 | SAS | Arithmetic Strengthening for Shape Analysis. | Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook |
| 2007 | TACAS | Shape Analysis by Graph Decomposition. | Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv |
| 2006 | CAV | Automatic Termination Proofs for Programs with Shape-Shifting Heaps. | Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearn |
| 2006 | SAS | Interprocedural Shape Analysis with Separated Heap Abstractions. | Alexey Gotsman, Josh Berdine, Byron Cook |
| 2005 | APLAS | Symbolic Execution with Separation Logic. | Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn |