Published March 12, 2024
| Version v1
Software
Open
Artifact: Floating-Point TVPI Abstract Domain
Creators
Description
Artifact for the paper "Floating-Point TVPI Abstract Domain" at PLDI 2024. The artifact comes in the form of a virtual machine running Ubuntu 20.04. It contains the full source code of TVPI-FP, and benchmarks and scripts for reproducing main experiments.
Files
Files
(7.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:e6b04e20d5e698473cf278ab8d42bc03
|
7.7 GB | Download |
|
md5:f02c1c8be02811453e93c7b93a98c55e
|
6.7 kB | Download |