Finding Typing Compiler Bugs
Chaliasos Stefanos*,
Sotiropoulos Thodoris*,
Spinellis Diomidis,
Gervais Arthur,
Livshits Ben,
and Mitropoulos Dimitris
In Proceedings of the 43nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
2022
* Both authors contributed equal
Distinguished Paper Award and Best Artifact Award 🏆🏆