Causal Dataflow Analysis for Concurrent Programs
No abstract available.
Related papers
- Causal commutative arrows revisited Haskell 2016
- Causal commutative arrows JFP 2011
- Causal commutative arrows and their optimization ICFP 2009
- Dataflow analysis for concurrent programs using datarace detection PLDI 2008
- Stateless model checking concurrent programs with maximal causality reduction PLDI 2015
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- A Concurrent System of Multi-ported Processes with Causal Dependency APLAS 2004
- Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs CAV 2010