research
∙
06/02/2023
Specifying and Verifying Persistent Libraries
We present a general framework for specifying and verifying persistent l...
share
research
∙
09/16/2021
Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic
We present a unification of refinement and Hoare-style reasoning in a fo...
research
∙
11/10/2020
Game Semantics: Easy as Pi
Game semantics has proven to be a robust method to give compositional se...
research
∙
05/09/2020
Concurrent Separation Logic Meets Template Games
An old dream of concurrency theory and programming language semantics ha...
research
∙
07/21/2018
An Asynchronous soundness theorem for concurrent separation logic
Concurrent separation logic (CSL) is a specification logic for concurren...
research
∙
10/06/2017
