Published August 17, 2019
| Version v1
Other
Open
Effective Lock Handling in Stateless Model Checking
Description
This is the artifact accompanying the paper "Effective Lock Handling in Stateless Model Checking", which will appear in OOPSLA 19.
We consider our paper's artifact to be the set of benchmarks we used in the paper, as well as the results we got by running particular
versions of model checking tools (i.e., GenMC and LAPOR) on the benchmarks set. We do not consider the artifact of the paper to be LAPOR, as it will evolve over time.