Published March 4, 2022
| Version v1
Dataset
Open
Hephaestus Test Programs
Authors/Creators
- 1. Imperial College London
- 2. Athens University of Economics and Business
Description
Test programs for RQ3 and RQ4 for the PLDI'22 paper titled "Finding Typing Compiler Bugs".
Files
Files
(2.7 GB)
| Name | Size | |
|---|---|---|
|
md5:f4214070744cfcbc311ec2ced425a9bd
|
2.7 GB | Download |