Josh Berdine
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 Electronic Notes in Theoretical Computer Science | 2016-07-15 | Paper |
| Spatial interpolants Programming Languages and Systems | 2016-04-26 | Paper |
| Structuring the verification of heap-manipulating programs Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| Computing All Implied Equalities via SMT-Based Partition Refinement Automated Reasoning | 2014-09-26 | Paper |
| Variance analyses from invariance analyses Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Resourceful reachability as HORN-LA Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
| Strong update, disposal, and encapsulation in bunched typing | 2013-10-10 | Paper |
| Interprocedural Shape Analysis with Separated Heap Abstractions Static Analysis | 2009-03-12 | Paper |
| Arithmetic Strengthening for Shape Analysis Static Analysis | 2009-03-03 | Paper |
| Heap Decomposition for Concurrent Shape Analysis Static Analysis | 2008-08-28 | Paper |
| Scalable Shape Analysis for Systems Code Computer Aided Verification | 2008-07-15 | Paper |
| Thread Quantification for Concurrent Shape Analysis Computer Aided Verification | 2008-07-15 | Paper |
| Local Reasoning for Storable Locks and Threads Programming Languages and Systems | 2008-05-15 | Paper |
| Shape Analysis for Composite Data Structures Computer Aided Verification | 2007-11-29 | Paper |
| Automatic Termination Proofs for Programs with Shape-Shifting Heaps Computer Aided Verification | 2007-09-05 | Paper |
| Shape Analysis by Graph Decomposition Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2006-10-20 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science | 2005-08-12 | Paper |
| Linear continuation-passing Higher-Order and Symbolic Computation | 2003-05-14 | Paper |
Research outcomes over time
This page was built for person: Josh Berdine
