Software Open Access
Software Artifact for "The Anchor Verifier for Blocking and Non-Blocking Concurrent Software"
Flanagan, Cormac; Freund, Stephen
JSON-LD (schema.org) Export
{
"description": "<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>",
"license": "https://creativecommons.org/licenses/by/4.0/legalcode",
"creator": [
{
"affiliation": "UC Santa Cruz",
"@type": "Person",
"name": "Flanagan, Cormac"
},
{
"affiliation": "Williams College",
"@type": "Person",
"name": "Freund, Stephen"
}
],
"url": "https://zenodo.org/record/4032625",
"datePublished": "2020-10-01",
"version": "1.0",
"@context": "https://schema.org/",
"identifier": "https://doi.org/10.5281/zenodo.4032625",
"@id": "https://doi.org/10.5281/zenodo.4032625",
"@type": "SoftwareSourceCode",
"name": "Software Artifact for \"The Anchor Verifier for Blocking and Non-Blocking Concurrent Software\""
}
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