Starling: Lightweight Concurrency Verification with Views
Abstract elided by the publisher.
Related papers
- VYRD: verifYing concurrent programs by runtime refinement-violation detection PLDI 2005
- Formal verification of a concurrent bounded queue in a weak memory model ICFP 2021
- Gobra: Modular Specification and Verification of Go Programs CAV 2021
- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution) TACAS 2023
- Lightweight concurrency primitives for GHC Haskell 2007
- Verification of programs under the release-acquire semantics PLDI 2019
- A personal perspective on concurrency PLDI 2014
- Concurrent and parallel garbage collection for lightweight threads on multicore processors ISMM 2022