Software Open Access

Software Artifact for "The Anchor Verifier for Blocking and Non-Blocking Concurrent Software"

Flanagan, Cormac; Freund, Stephen

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.

Version 2.0 includes additional benchmarks and various improvements to the software.

Files (7.2 GB)
Name Size
anchor-artifact-v2.ova.zip
md5:06f27b91e436f203b3818831844915f8 		7.2 GB Download
196
4
views
downloads
All versions This version
Views 196133
Downloads 43
Data volume 27.5 GB21.5 GB
Unique views 177124
Unique downloads 43
More info on how stats are collected.
Indexed in
Publication date:
October 1, 2020
DOI:
10.5281/zenodo.4064052

Zenodo DOI Badge

DOI 

10.5281/zenodo.4064052

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4064052.svg)](https://doi.org/10.5281/zenodo.4064052)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4064052.svg
   :target: https://doi.org/10.5281/zenodo.4064052

HTML 

<a href="https://doi.org/10.5281/zenodo.4064052"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4064052.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4064052.svg

Target URL 

https://doi.org/10.5281/zenodo.4064052

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 2.0 10.5281/zenodo.4064052 Oct 1, 2020
Version 1.0 10.5281/zenodo.4032625 Oct 1, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4032624. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export