Sign in
Georgios-Petros Drosos
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Higher Order
Logic Programming
Empirical Studies
Website
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
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.
Proc. ACM Program. Lang.
5 (OOPSLA) (2021)