Software Open Access
Software Artifact for "The Anchor Verifier for Blocking and Non-Blocking Concurrent Software"
Flanagan, Cormac; Freund, Stephen
Citation Style Language JSON Export
{
"publisher": "Zenodo",
"DOI": "10.5281/zenodo.4032625",
"title": "Software Artifact for \"The Anchor Verifier for Blocking and Non-Blocking Concurrent Software\"",
"issued": {
"date-parts": [
[
2020,
10,
1
]
]
},
"abstract": "<p>This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Blocking Concurrent Software" published at OOPSLA 2020. It is a virtual machine image. Once the VM is booted, use the username `artifact` and password `artifact` to log in. The README file in the home directory contains further instructions.</p>",
"author": [
{
"family": "Flanagan, Cormac"
},
{
"family": "Freund, Stephen"
}
],
"version": "1.0",
"type": "article",
"id": "4032625"
}
196
4
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 196 | 63 |
| Downloads | 4 | 1 |
| Data volume | 27.5 GB | 6.1 GB |
| Unique views | 177 | 56 |
| Unique downloads | 4 | 1 |
Indexed in
- Publication date:
- October 1, 2020
- DOI:
-
- License (for files):
- Creative Commons Attribution 4.0 International