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
85
1
views
downloads
All versions This version
Views 8554
Downloads 11
Data volume 7.2 GB7.2 GB
Unique views 7754
Unique downloads 11

Share

Cite as