Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, Diomidis Spinellis. Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers. Proceedings of the ACM on Programming Languages, 5(OOPSLA):1-30, 2021. [doi]
Abstract is missing.