Logical Concurrency Control from Sequential Proofs
Abstract elided by the publisher.
Related papers
- The sequential prison OOPSLA 2011
- Steel: proof-oriented programming in a dependently typed concurrent separation logic ICFP 2021
- Safe, fast, concurrent proof checking for the lambda-pi calculus modulo rewriting CPP 2022
- A calculus of atomic actions POPL 2009
- Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator OOPSLA 2010
- Proof Automation for Linearizability in Separation Logic OOPSLA 2023
- Synthesis of Concurrent Systems with Many Similar Sequential Processes POPL 1989
- Syntactic control of interference for separation logic POPL 2012