Artifact for Reify: Semantic Reification: A New Paradigm for Random Program Generation

The research artifact made for PLDI 2026 paper: "Semantic Reification: A New Paradigm for Random Program Generation". It contains instructions and scripts to demonstrate the functionality and usage of Reify. OS and resources used by the authors This artifact is provided as a docker image and has been tested on Ubuntu 24.04 using Docker. Architecture: amd64/x64 CPU: AMD EPYC 7742 64-Core Processor Memory: 256G Disk: 6T OS: Ubuntu 24.04 Software: Docker 29.3.0 Minimum OS and resource requirements The following requirements should be able to evaluate the artifact: Architecture: amd64/x64 Memory: 64G Disk: 512G OS: Ubuntu 24.04 Software: Docker 29.1.0 Instructions Please download REIFY_PLDI26AE.zip and follow README.html.