There is a newer version of the record available.

Published March 9, 2023 | Version v2
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

Includes improved README addressing problems with instructions identified by PLDI artifact evaluators.

Files

README.md

Files (30.4 GB)

Name Size Download all
md5:ce22b3fbac1aad5214b806731d55e7eb
1.2 MB Download
md5:b46d4bc2945cb37101918091c23551da
8.5 GB Download
md5:79cff273c297135922b752279cff7234
29.9 kB Preview Download
md5:27ada212a4d148db9ecf1b647aed013b
670.2 kB Download
md5:3efe0f9431b9825f1f7fa23b57cf94b7
21.8 GB Download

Additional details

Funding

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