Publication | Date of Publication | Type |
---|
On algebra of program correctness and incorrectness | 2023-03-30 | Paper |
Local reasoning about the presence of bugs: incorrectness separation logic | 2021-02-09 | Paper |
Continuous Reasoning | 2021-01-20 | Paper |
Permission accounting in separation logic | 2017-07-14 | Paper |
The essence of Reynolds | 2016-08-05 | Paper |
Separation and information hiding | 2015-11-11 | Paper |
Compositional shape analysis by means of bi-abduction | 2015-07-03 | Paper |
On the relation between concurrent separation logic and concurrent Kleene algebra | 2015-06-10 | Paper |
BI as an assertion language for mutable data structures | 2015-03-17 | Paper |
Verifying linearizability with hindsight | 2015-03-02 | Paper |
Variance analyses from invariance analyses | 2014-09-12 | Paper |
Modular verification of a non-blocking stack | 2014-09-12 | Paper |
Separation Logic Semantics for Communicating Processes | 2014-05-13 | Paper |
Developments in Concurrent Kleene Algebra | 2014-04-16 | Paper |
The essence of Reynolds | 2014-04-10 | Paper |
Compositional Shape Analysis by Means of Bi-Abduction | 2014-02-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q2851318 | 2013-10-10 | Paper |
On Locality and the Exchange Law for Concurrent Processes | 2011-09-02 | Paper |
Abstraction for concurrent objects | 2011-01-07 | Paper |
Blaming the client: on data refinement in the presence of pointers | 2010-11-22 | Paper |
Graphical models of separation logic | 2010-08-20 | Paper |
Abstraction for Concurrent Objects | 2009-03-31 | Paper |
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic | 2009-03-12 | Paper |
Separation Logic Tutorial | 2009-01-22 | Paper |
Scalable Shape Analysis for Systems Code | 2008-07-15 | Paper |
Shape Analysis for Composite Data Structures | 2007-11-29 | Paper |
Programming Languages and Systems | 2007-09-28 | Paper |
Automatic Termination Proofs for Programs with Shape-Shifting Heaps | 2007-09-05 | Paper |
Resources, concurrency, and local reasoning | 2007-05-11 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
Programming Languages and Systems | 2006-10-20 | Paper |
From Algol to polymorphic linear lambda-calculus | 2006-09-12 | Paper |
CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4738240 | 2004-08-11 | Paper |
Possible worlds and resources: The semantics of \(\mathbf{BI}\) | 2004-08-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4474211 | 2004-08-04 | Paper |
On bunched typing | 2004-05-18 | Paper |
Program logic and equivalence in the presence of garbage collection. | 2003-05-25 | Paper |
Linear continuation-passing | 2003-05-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4783297 | 2002-12-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q2769428 | 2002-02-05 | Paper |
Objects, interference, and the Yoneda embedding | 2000-08-23 | Paper |
Syntactic control of interference revisited | 2000-08-23 | Paper |
Bireflectivity | 2000-08-23 | Paper |
The Logic of Bunched Implications | 1999-09-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4263875 | 1999-09-22 | Paper |
Kripke logical relations and PCF | 1999-05-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4222775 | 1998-12-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4222776 | 1998-12-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4222758 | 1998-12-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4364388 | 1998-03-15 | Paper |
Parametricity and local variables | 1998-01-28 | Paper |
Note on Algol and conservatively extending functional programming | 1996-08-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4282570 | 1994-08-28 | Paper |
Semantical analysis of specification logic. II | 1994-04-17 | Paper |
A model for syntactic control of interference | 1994-03-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q3138545 | 1993-11-11 | Paper |
A resolution framework for finitely-valued first-order logics | 1992-06-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q3485886 | 1990-01-01 | Paper |