Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers

JOURNAL ARTICLE published 20 October 2021 in Proceedings of the ACM on Programming Languages

Research funded by European Commission (825328)

Authors: Stefanos Chaliasos | Thodoris Sotiropoulos | Georgios-Petros Drosos | Charalambos Mitropoulos | Dimitris Mitropoulos | Diomidis Spinellis