Published February 27, 2023
| Version v6
Software
Open
Artifact for "Absynthe: Abstract Interpretation-Guided Synthesis"
- 1. University of Maryland
- 2. Tufts University
Description
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harnesses used in the development of the paper (set-up and ready to run). The README contains instructions to reproduce results from the paper, as well as pointers for how to use, extend or modify the tool and benchmarks.
Files
absynthe-artifact.zip
Files
(780.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:e82234fff539ab9c193de16d19492ff5
|
780.9 kB | Preview Download |