There is a newer version of this record available.

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.

Files (6.1 GB)
Name Size
anchor-artifact-v1.ova.zip
md5:caffb107d6de05140cc976565eaa6fa7
6.1 GB Download
188
4
views
downloads
All versions This version
Views 18860
Downloads 41
Data volume 27.5 GB6.1 GB
Unique views 16953
Unique downloads 41

Share

Cite as