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
80
1
views
downloads
All versions This version
Views 8031
Downloads 10
Data volume 7.2 GB0 Bytes
Unique views 7224
Unique downloads 10

Share

Cite as