Software Open Access
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.
|All versions||This version|
|Data volume||27.5 GB||21.5 GB|