research
∙
10/28/2020
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Message passing is a useful abstraction for implementing concurrent prog...
share
research
∙
06/24/2020
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
We present a new version of ReLoC: a relational logic for proving refine...
research
∙
10/02/2019
Compositional Non-Interference for Fine-Grained Concurrent Programs
We present SeLoC: a relational separation logic for verifying non-interf...
research
∙
04/01/2019