An Algebraic Approach to the Static Analysis of Concurrent Software
Abstract elided by the publisher.
Related papers
- A generic approach to the static analysis of concurrent programs with procedures POPL 2003
- Dynamic Reductions for Model Checking Concurrent Software VMCAI 2017
- Complexity of Expressions Allowing Concurrency POPL 1978
- Canary: practical static detection of inter-thread value-flow bugs PLDI 2021
- A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis CAV 2014
- Experience report: types for a relational algebra library Haskell 2016
- Verifying correct usage of atomic blocks and typestate OOPSLA 2008
- Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote) GPCE 2026