Josh Berdine

Available identifiers

Publication	Date of Publication	Type
Local reasoning about the presence of bugs: incorrectness separation logic	2021-02-09	Paper
Precision and the Conjunction Rule in Concurrent Separation Logic	2016-07-15	Paper
Spatial Interpolants	2016-04-26	Paper
Structuring the verification of heap-manipulating programs	2015-06-11	Paper
Computing All Implied Equalities via SMT-Based Partition Refinement	2014-09-26	Paper
Variance analyses from invariance analyses	2014-09-12	Paper
Resourceful Reachability as HORN-LA	2014-01-17	Paper
Strong update, disposal, and encapsulation in bunched typing	2013-10-10	Paper
Interprocedural Shape Analysis with Separated Heap Abstractions	2009-03-12	Paper
Arithmetic Strengthening for Shape Analysis	2009-03-03	Paper
Heap Decomposition for Concurrent Shape Analysis	2008-08-28	Paper
Scalable Shape Analysis for Systems Code	2008-07-15	Paper
Thread Quantification for Concurrent Shape Analysis	2008-07-15	Paper
Local Reasoning for Storable Locks and Threads	2008-05-15	Paper
Shape Analysis for Composite Data Structures	2007-11-29	Paper
Automatic Termination Proofs for Programs with Shape-Shifting Heaps	2007-09-05	Paper
Shape Analysis by Graph Decomposition	2007-09-03	Paper
Programming Languages and Systems	2006-10-20	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper
Linear continuation-passing	2003-05-14	Paper

This page was built for person: Josh Berdine