Artifact for paper "Runtime Abstract Interpretation for Numerical Accuracy and Robustness" published at VMCAI 2021
- 1. CEA LIST
- 2. Thales R&T
- 3. Maxime
Description
This archive is the complete artifact accompanying VMCAI 2021 paper "Runtime Abstract Interpretation for Numerical Accuracy and Robustness". In files README, it provides instructions how to install the toolchain described in the paper, the open benchmarks used in the evaluation, as well as some related state-of-the-art tools. The original examples discussed in the paper are in the directory examples.
To reproduce the experiments of the paper, we provide the benchmarks, the tools of our toolchain, as well as third-party state-of-the-art tools and instructions.
This artifact will allow the readers of paper to appreciate that the toolchain works, that the benchmarks are available and that the experiments of the paper are reproducible.
This artifact is intended to work in the virtual machine available at [![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4017293.svg)](https://doi.org/10.5281/zenodo.4017293). Just unzip it in the (vmcai2021) home directory and follow the instructions of the file README (README.md, README.html or README.pdf).
Files
fldbox_vmcai_2021_artifact.zip
Files
(238.5 MB)
Name | Size | Download all |
---|---|---|
md5:4151252c8e7db626fb6e954211a325f0
|
238.5 MB | Preview Download |
Additional details
Related works
- Cites
- 10.5281/zenodo.4017293 (DOI)