Published March 9, 2023
| Version Version 5
Software
Open
Artifact for "Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs", PLDI 2023
Description
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs"
Notes
Files
README.md
Files
(32.3 GB)
Name | Size | Download all |
---|---|---|
md5:9fcdd18b3fce47c9d7a21126c84cdcb8
|
228.4 MB | Download |
md5:2602fcc476802c4d04ecf181e13058dc
|
9.6 GB | Download |
md5:438e432e80404e978ed9084301560dd7
|
41.2 kB | Preview Download |
md5:7235829eec5f03825fe411ce19d1f2c1
|
217.3 MB | Preview Download |
md5:a13750e679fb5910da94d0588750cdb3
|
22.2 GB | Download |
Additional details
Funding
- Interface reasoning for interacting systems (IRIS). EP/R006865/1
- UK Research and Innovation