Published April 8, 2021
| Version deanonymized
Software
Open
PUMPKIN Pi
Authors/Creators
- 1. University of Washington
- 2. Northeastern University
- 3. Halfaya Research
Description
This is the deanonymized artifact for the PLDI 2021 paper "Proof Repair Across Type Equivalences." The anonymized version has been vetted by AEC as functional and reusable. The anonymized, evaluated artifact is the original version.
Files
paper-43-deanonymized.zip
Files
(1.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5c71b31e51e10377b3b60fdb90f41f82
|
1.2 MB | Preview Download |