Published March 9, 2023 | Version Version 5
Software Open

Artifact for "Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs", PLDI 2023

Authors/Creators

  • 1. Imperial College London

Description

Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs"

Notes

This should be the final version of the artifact. It provides the Windows VM that was missing in the previous version, and an updated Docker image that includes pre-checked out versions of GLSLsmith's submodules.

Files

README.md

Files (32.3 GB)

Name Size
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

UK Research and Innovation
Interface reasoning for interacting systems (IRIS). EP/R006865/1