Skip to main content

Optimal Dynamic Partial Order Reduction with Observers

Stavros Aronis, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas

Full text DOI 10.1007/978-3-319-89963-3_14 dblp BibTeX

Abstract elided by the publisher.

Related papers

Data-centric dynamic partial order reduction POPL 2018
Dynamic partial order reduction for relaxed memory models PLDI 2015
Unblocking Dynamic Partial Order Reduction CAV 2023
Optimal dynamic partial order reduction POPL 2014
Truly stateless, optimal dynamic partial order reduction POPL 2022
Parsimonious Optimal Dynamic Partial Order Reduction CAV 2024
Quasi-Optimal Partial Order Reduction CAV 2018
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels PLDI 2023