Published April 16, 2023
| Version v4
Journal article
Open
Artifact of "Recursive State Machine Guided Graph Folding for Context-Free Language Reachability"
Authors/Creators
- 1. University of New South Wales
- 2. Concordia University
- 3. Georgia Institute of Technology
Description
This is the artifact of the paper "Recursive State Machine Guided Graph Folding for Context-Free Language Reachability" accepted to PLDI 2023. The artifact is packaged as a Docker image "gf.tar.gz", which is to reproduce the experiment results of the paper. Please see README.pdf for detailed usage of the artifact.