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

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]

Authors

Stefanos Chaliasos

This author has not been identified. It may be one of the following persons: Look up 'Stefanos Chaliasos' in Google

Thodoris Sotiropoulos

This author has not been identified. Look up 'Thodoris Sotiropoulos' in Google

Georgios-Petros Drosos

This author has not been identified. Look up 'Georgios-Petros Drosos' in Google

Charalambos Mitropoulos

This author has not been identified. Look up 'Charalambos Mitropoulos' in Google

Dimitris Mitropoulos

This author has not been identified. It may be one of the following persons: Look up 'Dimitris Mitropoulos' in Google

Diomidis Spinellis

This author has not been identified. It may be one of the following persons: Look up 'Diomidis Spinellis' in Google