Duet: Static Analysis for Unbounded Parallelism
No abstract available.
Related papers
- Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy OOPSLA 2019
- Verification of parameterized concurrent programs by modular reasoning about data and control POPL 2012
- Proof Spaces for Unbounded Parallelism POPL 2015
- Dependence-aware, unbounded sound predictive race detection OOPSLA 2019
- Analysis of Or-Parallel Execution Models TOPLAS 1993
- Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects APLAS 2017
- Efficient Analysis of Probabilistic Programs with an Unbounded Counter CAV 2011
- On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels CAV 1998