| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7559270 (Why is no real title available?)
| 2022-07-18 | Paper |
Learning Symmetric Rules with SATNet
| 2022-06-28 | Paper |
Deep neural networks with dependent weights: Gaussian Process mixture limit, heavy tails, sparsity and compressibility
| 2022-05-17 | Paper |
The beta-Bernoulli process and algebraic effects
| 2021-07-28 | Paper |
Specification and space complexity of collaborative text editing
Theoretical Computer Science | 2021-01-25 | Paper |
A Convenient Category for Higher-Order Probability Theory
| 2021-01-19 | Paper |
Algebraic laws for weak consistency
| 2020-05-27 | Paper |
Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses
Formal Methods in System Design | 2018-10-04 | Paper |
Learning a variable-clustering strategy for Octagon from labeled data generated by a static analysis
| 2018-08-27 | Paper |
Transaction chopping for parallel snapshot isolation
| 2018-08-24 | Paper |
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Specification and complexity of collaborative text editing
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | 2017-09-29 | Paper |
Abstraction refinement guided by a learnt probabilistic model
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
'Cause I'm strong enough: reasoning about consistency choices in distributed systems
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Symbolic automata for representing big code
Acta Informatica | 2016-06-28 | Paper |
Composite replicated data types
Programming Languages and Systems | 2016-04-26 | 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 |
Modular verification of preemptive OS kernels
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
Views, compositional reasoning for concurrent programs
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
Parameterised linearisability
Automata, Languages, and Programming | 2014-07-01 | Paper |
Step-indexed Kripke models over recursive worlds
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Replicated data types, specification, verification, optimality
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
A divide-and-conquer approach for analysing overlaid data structures
Formal Methods in System Design | 2014-03-28 | Paper |
Modular verification of preemptive OS kernels
Journal of Functional Programming | 2014-02-27 | Paper |
Compositional shape analysis by means of bi-abduction
Journal of the ACM | 2014-02-17 | Paper |
Symbolic automata for static specification mining
Static Analysis | 2014-01-21 | Paper |
Variables as resource in separation logic
| 2013-10-08 | Paper |
Linearizability with ownership transfer
Logical Methods in Computer Science | 2013-09-26 | Paper |
Verifying concurrent memory reclamation algorithms with grace
Programming Languages and Systems | 2013-08-05 | Paper |
A step-indexed Kripke model of hidden state
Mathematical Structures in Computer Science | 2013-03-14 | Paper |
Show no weakness: sequentially consistent specifications of TSO libraries
Lecture Notes in Computer Science | 2013-03-13 | Paper |
Linearizability with ownership transfer
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Two for the price of one: lifting separation logic assertions
Logical Methods in Computer Science | 2012-09-25 | Paper |
Concurrent Library Correctness on the TSO Memory Model
Programming Languages and Systems | 2012-06-22 | Paper |
Nested Hoare triples and frame rules for higher-order store
Logical Methods in Computer Science | 2012-04-02 | Paper |
Liveness-Preserving Atomicity Abstraction
Automata, Languages and Programming | 2011-07-07 | 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 |
A semantic foundation for hidden state
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
Automatic construction of Hoare proofs from abstract interpretation results.
Lecture Notes in Computer Science | 2010-01-05 | Paper |
Nested Hoare Triples and Frame Rules for Higher-Order Store
Computer Science Logic | 2009-11-12 | 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 |
A Simple Model of Separation Logic for Higher-Order Store
Automata, Languages and Programming | 2008-08-19 | Paper |
Relational Parametricity and Separation Logic
Logical Methods in Computer Science | 2008-08-07 | Paper |
Scalable Shape Analysis for Systems Code
Computer Aided Verification | 2008-07-15 | Paper |
Ranking Abstractions
Programming Languages and Systems | 2008-04-11 | Paper |
Shape Analysis for Composite Data Structures
Computer Aided Verification | 2007-11-29 | Paper |
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
Logical Methods in Computer Science | 2007-10-11 | Paper |
Relational Parametricity and Separation Logic
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Relational separation logic
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 |
Static insertion of safe and effective memory reuse commands into ML-like programs
Science of Computer Programming | 2005-10-10 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Correctness of data representations involving heap data structures
Science of Computer Programming | 2004-11-22 | Paper |
scientific article; zbMATH DE number 2090846 (Why is no real title available?)
| 2004-08-13 | 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 |
scientific article; zbMATH DE number 1956556 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1841809 (Why is no real title available?)
| 2002-12-04 | Paper |
scientific article; zbMATH DE number 1512629 (Why is no real title available?)
| 2000-10-03 | Paper |
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
| N/A | Paper |
