Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published August 17, 2019 | Version v1
Other Open

Effective Lock Handling in Stateless Model Checking

  • 1. MPI-SWS

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.

Files

LICENSE.txt

Files (2.9 GB)

Name Size Download all
md5:b234ee4d69f5fce4486a80fdaf4a4263
18.1 kB Preview Download
md5:cbbc6df6f1160c525a3e01a81c0dc67e
2.9 GB Download
md5:09555368e9efa4a4c1e62872ed6cd58e
36.2 kB Preview Download