research
∙
07/28/2023
Context-Aware Separation Logic
Separation logic is often praised for its ability to closely mimic the l...
share
research
∙
04/10/2023
Make flows small again: revisiting the flow framework
We present a new flow framework for separation logic reasoning about pro...
research
∙
09/27/2022
Embedding Hindsight Reasoning in Separation Logic
Proving linearizability of concurrent data structures remains a key chal...
research
∙
08/30/2022
Model-based Fault Classification for Automotive Software
Intensive testing using model-based approaches is the standard way of de...
research
∙
07/05/2022
A Concurrent Program Logic with a Future and History
Verifying fine-grained optimistic concurrent programs remains an open pr...
research
∙
10/25/2019
Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation
We consider the verification of lock-free data structures that manually ...
research
∙
10/25/2018