Published March 5, 2022
| Version v2
Software
Open
Artifact for "Finding Typing Compiler Bugs"
Creators
- 1. Imperial College London
- 2. Athens University of Economics and Business
- 3. University of Athens
Description
This is the artifact for the PLDI'22 paper "Finding Typing Compiler Bugs".
Files
hephaestus-pldi-eval.zip
Files
(3.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1b0311bdbccac4b65dc1102c5e3812f7
|
3.1 MB | Preview Download |