Published September 11, 2022
| Version v1
Software
Open
Artifact of "Taming Transitive Redundancy for Context-Free Reachability"
Authors/Creators
- 1. University of Technology Sydney
- 2. Georgia Institute of Technology
Description
This is the artifact of the paper "Taming Transitive Redundancy for Context-Free Reachability" accepted to OOPSLA 2022. The artifact is packaged as a Docker image "pocr-release.tar.gz", which is to reproduce the experiment results of the paper. Please see README.pdf for detailed usage of the artifact.