Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published November 16, 2020 | Version v1
Software Open

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