Other Open Access
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.
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 |
All versions | This version | |
---|---|---|
Views | 44 | 44 |
Downloads | 42 | 42 |
Data volume | 2.9 GB | 2.9 GB |
Unique views | 40 | 40 |
Unique downloads | 34 | 34 |