Published October 1, 2020
| Version 2.0
Software
Open
Software Artifact for "The Anchor Verifier for Blocking and Non-Blocking Concurrent Software"
Description
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
anchor-artifact-v2.ova.zip
Files
(7.2 GB)
Name | Size | Download all |
---|---|---|
md5:06f27b91e436f203b3818831844915f8
|
7.2 GB | Preview Download |