Software Open Access

Artifact for paper "Runtime Abstract Interpretation for Numerical Accuracy and Robustness" published at VMCAI 2021

Vedrine, Franck; Kosmatov, Nikolai; Signoles, Julien; Jacquemin

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 (238.5 MB)
Name Size
fldbox_vmcai_2021_artifact.zip
md5:4151252c8e7db626fb6e954211a325f0
238.5 MB Download
35
2
views
downloads
All versions This version
Views 3535
Downloads 22
Data volume 477.0 MB477.0 MB
Unique views 2828
Unique downloads 22

Share

Cite as