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 | 14 | 14 |
| Downloads | 15 | 15 |
| Data volume | 2.9 GB | 2.9 GB |
| Unique views | 10 | 10 |
| Unique downloads | 8 | 8 |
Indexed in
- Publication date:
- August 17, 2019
- DOI:
-
- Keyword(s):
- model checking weak memory models
- Meeting:
- Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), Athens, Greece, 23-25 October 2019
- License (for files):
- GNU General Public License v2.0 only