Finding typing compiler bugs | Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation

🤼 Authors

Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, and Dimitris Mitropoulos

📃 PDF

hephaestus-pldi22.pdf

📺 Video

https://www.youtube.com/watch?v=YG207DwbBBU

📙 Slides

🔢 Data

🖼️ Pictures