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](]( Just unzip it in the (vmcai2021) home directory and follow the instructions of the file README (, README.html or README.pdf).

Files (238.5 MB)
Name Size
238.5 MB Download
All versions This version
Views 3535
Downloads 22
Data volume 477.0 MB477.0 MB
Unique views 2828
Unique downloads 22


Cite as