There is a newer version of the record available.

Published March 29, 2024 | Version v2
Software Open

Artifact of "Context-Free Language Reachability via Skewed Tabulation"

Authors/Creators

  • 1. ROR icon UNSW Sydney

Contributors

Project leader:

Description

This is the artifact of the paper "Context-Free Language Reachability via Skewed Tabulation" accepted to PLDI 2024. The artifact is packaged as a Docker image "cflskewed.tar.gz", which is to reproduce the experiment results of the paper. Please see "README.pdf" for detailed usage of the artifact.

Files

LICENSE.txt

Files (912.2 MB)

Name Size Download all
md5:b434a4c1c5e7aa323d95b577f8ab04db
911.0 MB Download
md5:ade16f71614d3824f96896dce277521c
1.4 kB Preview Download
md5:f43793802eb75b8ae120825ecb986cc9
1.2 MB Preview Download

Additional details

Dates

Available
2024-03-11