Semantic Reduction of Thread Interleavings in Concurrent Programs
No abstract available.
Related papers
- Bounded partial-order reduction OOPSLA 2013
- ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution) TACAS 2025
- Maximal causality reduction for TSO and PSO OOPSLA 2016
- Dynamic partial-order reduction for model checking software POPL 2005
- On the Complexity of Checking Soundness of Natural Reductions CAV 2026
- Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs ECOOP 2026
- KISS: keep it simple and sequential PLDI 2004
- Dynamic Reductions for Model Checking Concurrent Software VMCAI 2017