There is a newer version of the record available.

Published March 9, 2023 | Version v1
Software Open

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

Creators

  • 1. Anonymous

Description

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

Files

README.md

Files (30.4 GB)

Name Size Download all
md5:ce22b3fbac1aad5214b806731d55e7eb
1.2 MB Download
md5:b46d4bc2945cb37101918091c23551da
8.5 GB Download
md5:71de13912e66b37f1350609f4b347fd9
28.5 kB Preview Download
md5:27ada212a4d148db9ecf1b647aed013b
670.2 kB Download
md5:3efe0f9431b9825f1f7fa23b57cf94b7
21.8 GB Download

Additional details

Funding

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