Optimistic Synchronization-Based State-Space Reduction
Abstract elided by the publisher.
Related papers
- Verifying eventual consistency of optimistic replication systems POPL 2014
- Effective Fine-Grain Synchronization for Automatically Parallelized Programs Using Optimistic Synchronization Primitives PPoPP 1997
- Stateless model checking with data-race preemption points OOPSLA 2016
- Instrumentation bias for dynamic data race detection OOPSLA 2017
- Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs CAV 2005
- JANUS: exploiting parallelism via hindsight PLDI 2012
- State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction VMCAI 2013
- State Space Reduction by Proving Confluence CAV 2002