Published July 24, 2023
| Version v4
Conference paper
Open
Artifact for the Paper "Scaling Up Roundoff Analysis of Functional Data Structure Programs"
Description
Artifact for the Paper "Scaling Up Roundoff Analysis of Functional Data Structure Programs" to SAS23. The paper presents rounding error analysis and its implementation in the (new) DS2L tool.
This upload contains two versions of the artifact: inside an Ubuntu 22.04 virtual machine (need VirtualBox to run it) and scripts and binaries outside a VM (check README requirements for the environment setup: JDK, Python3).
Files
ds2l-inside-vm.zip
Files
(12.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:03d7630f0d429b2add97ce53071ab12b
|
12.0 GB | Preview Download |
|
md5:5df8593e75f86181e145f152174ba239
|
239.5 MB | Preview Download |