Automatic Synthesis of Deterministic Concurrency
No abstract available.
Related papers
- Modular reasoning for deterministic parallelism POPL 2011
- SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation VMCAI 2026
- Line-up: a complete and automatic linearizability checker PLDI 2010
- Abstraction-guided synthesis of synchronization POPL 2010
- A Concurrent Approach to String Transformation Synthesis PLDI 2025
- Efficient synthesis of probabilistic programs PLDI 2015
- Automatic semantic locking PPoPP 2014
- Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs POPL 2024