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
More info on how stats are collected.
Indexed in
Publication date:
November 16, 2020
DOI:
10.5281/zenodo.4275521

Zenodo DOI Badge

DOI 

10.5281/zenodo.4275521

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4275521.svg)](https://doi.org/10.5281/zenodo.4275521)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4275521.svg
   :target: https://doi.org/10.5281/zenodo.4275521

HTML 

<a href="https://doi.org/10.5281/zenodo.4275521"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4275521.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4275521.svg

Target URL 

https://doi.org/10.5281/zenodo.4275521

Keyword(s):
Numerical Accuracy Unstable Tests Runtime Assertion Checking Abstract Interpretation Symbolic Execution Program Instrumentation Floating-Point Numbers
Related identifiers:
Cites
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.4275521 Nov 16, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4275520. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export