| 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: scaling the impact of formal methods
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Permission accounting in separation logic
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
The essence of Reynolds
Formal Aspects of Computing | 2016-08-05 | Paper |
Separation and information hiding
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Compositional shape analysis by means of bi-abduction
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
On the relation between concurrent separation logic and concurrent Kleene algebra
Journal of Logical and Algebraic Methods in Programming | 2015-06-10 | Paper |
BI as an assertion language for mutable data structures
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Verifying linearizability with hindsight
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing | 2015-03-02 | Paper |
Variance analyses from invariance analyses
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Modular verification of a non-blocking stack
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Separation Logic Semantics for Communicating Processes
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Developments in concurrent Kleene algebra
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
The essence of Reynolds
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
Compositional shape analysis by means of bi-abduction
Journal of the ACM | 2014-02-17 | Paper |
Strong update, disposal, and encapsulation in bunched typing
| 2013-10-10 | Paper |
On locality and the exchange law for concurrent processes
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Abstraction for concurrent objects
Theoretical Computer Science | 2011-01-07 | Paper |
Blaming the client: on data refinement in the presence of pointers
Formal Aspects of Computing | 2010-11-22 | Paper |
Graphical models of separation logic
Information Processing Letters | 2010-08-20 | Paper |
Abstraction for Concurrent Objects
Programming Languages and Systems | 2009-03-31 | Paper |
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
Static Analysis | 2009-03-12 | Paper |
Separation Logic Tutorial
Logic Programming | 2009-01-22 | Paper |
Scalable Shape Analysis for Systems Code
Computer Aided Verification | 2008-07-15 | Paper |
Shape Analysis for Composite Data Structures
Computer Aided Verification | 2007-11-29 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Automatic Termination Proofs for Programs with Shape-Shifting Heaps
Computer Aided Verification | 2007-09-05 | Paper |
Resources, concurrency, and local reasoning
Theoretical Computer Science | 2007-05-11 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2006-10-20 | Paper |
From Algol to polymorphic linear lambda-calculus
Journal of the ACM | 2006-09-12 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
scientific article; zbMATH DE number 2087445 (Why is no real title available?)
| 2004-08-11 | Paper |
Possible worlds and resources: The semantics of \(\mathbf{BI}\)
Theoretical Computer Science | 2004-08-06 | Paper |
scientific article; zbMATH DE number 2081098 (Why is no real title available?)
| 2004-08-04 | Paper |
On bunched typing
Journal of Functional Programming | 2004-05-18 | Paper |
Program logic and equivalence in the presence of garbage collection.
Theoretical Computer Science | 2003-05-25 | Paper |
Linear continuation-passing
Higher-Order and Symbolic Computation | 2003-05-14 | Paper |
scientific article; zbMATH DE number 1841809 (Why is no real title available?)
| 2002-12-04 | Paper |
scientific article; zbMATH DE number 1701349 (Why is no real title available?)
| 2002-02-05 | Paper |
Syntactic control of interference revisited
Theoretical Computer Science | 2000-08-23 | Paper |
Bireflectivity
Theoretical Computer Science | 2000-08-23 | Paper |
Objects, interference, and the Yoneda embedding
Theoretical Computer Science | 2000-08-23 | Paper |
The Logic of Bunched Implications
The Bulletin of Symbolic Logic | 1999-09-22 | Paper |
scientific article; zbMATH DE number 1342284 (Why is no real title available?)
| 1999-09-22 | Paper |
Kripke logical relations and PCF
Information and Computation | 1999-05-11 | Paper |
scientific article; zbMATH DE number 1231472 (Why is no real title available?)
| 1998-12-13 | Paper |
scientific article; zbMATH DE number 1231473 (Why is no real title available?)
| 1998-12-13 | Paper |
scientific article; zbMATH DE number 1231457 (Why is no real title available?)
| 1998-12-10 | Paper |
scientific article; zbMATH DE number 1088040 (Why is no real title available?)
| 1998-03-15 | Paper |
Parametricity and local variables
Journal of the ACM | 1998-01-28 | Paper |
Note on Algol and conservatively extending functional programming
Journal of Functional Programming | 1996-08-21 | Paper |
scientific article; zbMATH DE number 517042 (Why is no real title available?)
| 1994-08-28 | Paper |
Semantical analysis of specification logic. II
Information and Computation | 1994-04-17 | Paper |
A model for syntactic control of interference
Mathematical Structures in Computer Science | 1994-03-27 | Paper |
scientific article; zbMATH DE number 431769 (Why is no real title available?)
| 1993-11-11 | Paper |
A resolution framework for finitely-valued first-order logics
Journal of Symbolic Computation | 1992-06-28 | Paper |
scientific article; zbMATH DE number 4157911 (Why is no real title available?)
| 1990-01-01 | Paper |
