Other Open Access

Effective Lock Handling in Stateless Model Checking

Michalis Kokologiannakis; Azalea Raad; Viktor Vafeiadis

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 (2.9 GB)
Name Size
LICENSE.txt
md5:b234ee4d69f5fce4486a80fdaf4a4263
18.1 kB Download
oopsla19_paper281.ova
md5:cbbc6df6f1160c525a3e01a81c0dc67e
2.9 GB Download
README.pdf
md5:09555368e9efa4a4c1e62872ed6cd58e
36.2 kB Download
14
15
views
downloads
All versions This version
Views 1414
Downloads 1515
Data volume 2.9 GB2.9 GB
Unique views 1010
Unique downloads 88

Share

Cite as