research
∙
11/14/2022
The Path to Durable Linearizability
There is an increasing body of literature proposing new and efficient pe...
share
research
∙
09/15/2022
Proving Hypersafety Compositionally
Hypersafety properties of arity n are program properties that relate n t...
research
∙
09/12/2022
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
The emergence of propositions-as-sessions, a Curry-Howard correspondence...
research
∙
11/13/2019
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions
We develop a theory of decidable inductive invariants for an infinite-st...
research
∙
01/17/2019