There is a newer version of the record available.

Published March 9, 2023 | Version v4
Software Open

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

Authors/Creators

  • 1. Anonymous

Description

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

Notes

Provides a replacement Docker image for GLSLsmith, and updated data sets and README. Missing the Windows VM for WGSLsmith due to problems uploading large files to Zenodo.

Files

README.md

Files (10.0 GB)

Name Size Download all
md5:9fcdd18b3fce47c9d7a21126c84cdcb8
228.4 MB Download
md5:0bf4dc147ed04e283de6e557dc7c3e65
9.6 GB Download
md5:6586b94a404398770beeb56a5258e209
41.6 kB Preview Download
md5:7235829eec5f03825fe411ce19d1f2c1
217.3 MB Preview Download

Additional details

Funding

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