research
∙
08/15/2022
Exact Separation Logic
Over-approximating (OX) program logics, such as separation logic, are us...
share
research
∙
05/31/2021
Gillian: A Multi-Language Platform for Unified Symbolic Analysis
This is an evolving document describing the meta-theory, the implementat...
research
∙
01/14/2020
Gillian: Compositional Symbolic Execution for All
We present Gillian, a language-independent framework for the development...
research
∙
01/29/2019
Data Consistency in Transactional Storage Systems: a Centralised Approach
Modern distributed databases weaken data consistency guarantees to allow...
research
∙
01/17/2019
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs
We introduce TaDA Live, a separation logic for reasoning compositionally...
research
∙
11/08/2018
A Program Logic for First-Order Encapsulated WebAssembly
WebAssembly (Wasm) is the first new programming language in over 20 year...
research
∙
09/25/2018