{"id":"https://openalex.org/W3205605633","doi":"https://doi.org/10.1145/3485500","title":"Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers","display_name":"Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3205605633","doi":"https://doi.org/10.1145/3485500","mag":"3205605633"},"language":"en","primary_location":{"id":"doi:10.1145/3485500","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485500","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485500","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3485500","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028030636","display_name":"Stefanos Chaliasos","orcid":"https://orcid.org/0000-0001-5414-4120"},"institutions":[{"id":"https://openalex.org/I73142707","display_name":"Athens University of Economics and Business","ror":"https://ror.org/03s262162","country_code":"GR","type":"education","lineage":["https://openalex.org/I73142707"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Stefanos Chaliasos","raw_affiliation_strings":["Athens University of Economics and Business, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Athens University of Economics and Business, Greece","institution_ids":["https://openalex.org/I73142707"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090354733","display_name":"Thodoris Sotiropoulos","orcid":"https://orcid.org/0000-0002-9906-3073"},"institutions":[{"id":"https://openalex.org/I73142707","display_name":"Athens University of Economics and Business","ror":"https://ror.org/03s262162","country_code":"GR","type":"education","lineage":["https://openalex.org/I73142707"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Thodoris Sotiropoulos","raw_affiliation_strings":["Athens University of Economics and Business, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Athens University of Economics and Business, Greece","institution_ids":["https://openalex.org/I73142707"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019585848","display_name":"Georgios-Petros Drosos","orcid":"https://orcid.org/0009-0007-2457-1421"},"institutions":[{"id":"https://openalex.org/I73142707","display_name":"Athens University of Economics and Business","ror":"https://ror.org/03s262162","country_code":"GR","type":"education","lineage":["https://openalex.org/I73142707"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Georgios-Petros Drosos","raw_affiliation_strings":["Athens University of Economics and Business, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Athens University of Economics and Business, Greece","institution_ids":["https://openalex.org/I73142707"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090635891","display_name":"Charalambos Mitropoulos","orcid":"https://orcid.org/0000-0002-1080-602X"},"institutions":[{"id":"https://openalex.org/I55741626","display_name":"Technical University of Crete","ror":"https://ror.org/03f8bz564","country_code":"GR","type":"education","lineage":["https://openalex.org/I55741626"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Charalambos Mitropoulos","raw_affiliation_strings":["Technical University of Crete, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Crete, Greece","institution_ids":["https://openalex.org/I55741626"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021658848","display_name":"Dimitris Mitropoulos","orcid":"https://orcid.org/0000-0002-5061-9018"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Dimitris Mitropoulos","raw_affiliation_strings":["University of Athens, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Athens, Greece","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021948425","display_name":"Diomidis Spinellis","orcid":"https://orcid.org/0000-0003-4231-1897"},"institutions":[{"id":"https://openalex.org/I73142707","display_name":"Athens University of Economics and Business","ror":"https://ror.org/03s262162","country_code":"GR","type":"education","lineage":["https://openalex.org/I73142707"]},{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["GR","NL"],"is_corresponding":false,"raw_author_name":"Diomidis Spinellis","raw_affiliation_strings":["Athens University of Economics and Business, Greece / Delft University of Technology, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Athens University of Economics and Business, Greece / Delft University of Technology, Netherlands","institution_ids":["https://openalex.org/I73142707","https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.5523,"has_fulltext":true,"cited_by_count":26,"citation_normalized_percentile":{"value":0.95026057,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"5","issue":"OOPSLA","first_page":"1","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8759427070617676},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8376418948173523},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.803800106048584},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.5109390616416931},{"id":"https://openalex.org/keywords/software-portability","display_name":"Software portability","score":0.5014455318450928},{"id":"https://openalex.org/keywords/interprocedural-optimization","display_name":"Interprocedural optimization","score":0.46132057905197144},{"id":"https://openalex.org/keywords/compiler-construction","display_name":"Compiler construction","score":0.457628071308136},{"id":"https://openalex.org/keywords/compiler-correctness","display_name":"Compiler correctness","score":0.43754372000694275},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.2306852638721466},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1748749315738678}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8759427070617676},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8376418948173523},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.803800106048584},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.5109390616416931},{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.5014455318450928},{"id":"https://openalex.org/C111564260","wikidata":"https://www.wikidata.org/wiki/Q4288856","display_name":"Interprocedural optimization","level":5,"score":0.46132057905197144},{"id":"https://openalex.org/C9957790","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler construction","level":3,"score":0.457628071308136},{"id":"https://openalex.org/C68366613","wikidata":"https://www.wikidata.org/wiki/Q5156378","display_name":"Compiler correctness","level":3,"score":0.43754372000694275},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.2306852638721466},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1748749315738678},{"id":"https://openalex.org/C29331672","wikidata":"https://www.wikidata.org/wiki/Q3354468","display_name":"Loop optimization","level":4,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3485500","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485500","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485500","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:tudelft.nl:uuid:cb18100a-354d-4ad1-a9fd-3e1ea80356e4","is_oa":false,"landing_page_url":"http://resolver.tudelft.nl/uuid:cb18100a-354d-4ad1-a9fd-3e1ea80356e4","pdf_url":null,"source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"}],"best_oa_location":{"id":"doi:10.1145/3485500","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485500","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485500","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3231584680","display_name":"Fine-Grained Analysis of Software Ecosystems as Networks","funder_award_id":"825328","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3205605633.pdf","grobid_xml":"https://content.openalex.org/works/W3205605633.grobid-xml"},"referenced_works_count":53,"referenced_works":["https://openalex.org/W1495226832","https://openalex.org/W1531203382","https://openalex.org/W1572739102","https://openalex.org/W1966021031","https://openalex.org/W2095445208","https://openalex.org/W2132984320","https://openalex.org/W2137417304","https://openalex.org/W2145458045","https://openalex.org/W2155877593","https://openalex.org/W2156426055","https://openalex.org/W2166822586","https://openalex.org/W2170737051","https://openalex.org/W2249862487","https://openalex.org/W2289066165","https://openalex.org/W2327265941","https://openalex.org/W2390518826","https://openalex.org/W2414287720","https://openalex.org/W2461570336","https://openalex.org/W2506015293","https://openalex.org/W2530895108","https://openalex.org/W2532737545","https://openalex.org/W2617809069","https://openalex.org/W2759550170","https://openalex.org/W2767209415","https://openalex.org/W2767894675","https://openalex.org/W2899445138","https://openalex.org/W2915190469","https://openalex.org/W2952139678","https://openalex.org/W2954978134","https://openalex.org/W2963350015","https://openalex.org/W2979641165","https://openalex.org/W2980002700","https://openalex.org/W2997653900","https://openalex.org/W2998644885","https://openalex.org/W2998740266","https://openalex.org/W3003877692","https://openalex.org/W3005142042","https://openalex.org/W3006653989","https://openalex.org/W3007855180","https://openalex.org/W3008321987","https://openalex.org/W3015193297","https://openalex.org/W3090636587","https://openalex.org/W3092454519","https://openalex.org/W3094052853","https://openalex.org/W3107362213","https://openalex.org/W3110161860","https://openalex.org/W3113205478","https://openalex.org/W3126096841","https://openalex.org/W3146215426","https://openalex.org/W4231588088","https://openalex.org/W4238083723","https://openalex.org/W4244688039","https://openalex.org/W4245930787"],"related_works":["https://openalex.org/W2094199724","https://openalex.org/W3000589862","https://openalex.org/W2169584677","https://openalex.org/W4232954277","https://openalex.org/W4240253816","https://openalex.org/W2901567138","https://openalex.org/W2354057234","https://openalex.org/W2749133591","https://openalex.org/W2066503869","https://openalex.org/W4246454774"],"abstract_inverted_index":{"Despite":[0],"the":[1,23,40,68,88,97,101,109,121,126,186,189,203,211,220,227,230,248,253],"substantial":[2],"progress":[3],"in":[4,22,73,172,226,235,252],"compiler":[5,14,26,36,74,135,213],"testing,":[6],"research":[7,277],"endeavors":[8],"have":[9],"mainly":[10],"focused":[11],"on":[12,242],"detecting":[13],"crashes":[15],"and":[16,48,52,108,114,132,150,166,185,234,287],"subtle":[17],"miscompilations":[18],"caused":[19],"by":[20,78,265,279],"bugs":[21,84,145,205,224,262],"implementation":[24],"of":[25,32,62,70,81,90,103,111,123,174,188,202,222,229,260,294],"optimizations.":[27],"Surprisingly,":[28],"this":[29],"growing":[30],"body":[31],"work":[33],"neglects":[34],"other":[35,236],"components,":[37],"most":[38,249],"notably":[39],"front-end.":[41],"In":[42],"statically-typed":[43],"programming":[44,66],"languages":[45],"with":[46,64,147],"rich":[47],"expressive":[49],"type":[50,57,98,232],"systems":[51,233],"modern":[53],"features,":[54,67],"such":[55],"as":[56,207],"inference":[58],"or":[59,96],"a":[60,79,275,290],"mix":[61],"object-oriented":[63],"functional":[65],"process":[69],"static":[71],"typing":[72],"front-ends":[75],"is":[76,119,247],"complicated":[77],"high-density":[80],"bugs.":[82,136],"Such":[83],"can":[85],"lead":[86],"to":[87,120,240,283],"acceptance":[89],"incorrect":[91],"programs":[92],"(breaking":[93],"code":[94],"portability":[95],"system's":[99],"soundness),":[100],"rejection":[102],"correct":[104,217],"(e.g.":[105],"well-typed)":[106],"programs,":[107,218],"reporting":[110],"misleading":[112],"errors":[113],"warnings.":[115],"We":[116,168,268],"conduct,":[117],"what":[118],"best":[122],"our":[124,271],"knowledge,":[125],"first":[127],"empirical":[128],"study":[129,142,272],"for":[130,289],"understanding":[131],"characterizing":[133],"typing-related":[134,144,204,223,261],"To":[137],"do":[138],"so,":[139],"we":[140],"manually":[141],"320":[143],"(along":[146],"their":[148,178],"fixes":[149],"test":[151,191,255],"cases)":[152],"that":[153,270],"are":[154,263],"randomly":[155],"sampled":[156],"from":[157],"four":[158],"mainstream":[159],"JVM":[160],"languages,":[161],"namely":[162],"Java,":[163],"Scala,":[164],"Kotlin,":[165],"Groovy.":[167],"evaluate":[169],"each":[170],"bug":[171,182],"terms":[173],"several":[175],"aspects,":[176],"including":[177],"symptom,":[179],"root":[180],"cause,":[181],"fix's":[183],"size,":[184],"characteristics":[187],"bug-revealing":[190],"cases.":[192],"Some":[193],"representative":[194],"observations":[195],"indicate":[196],"that:":[197],"(1)":[198],"more":[199,291],"than":[200],"half":[201],"manifest":[206],"unexpected":[208],"compile-time":[209],"errors:":[210],"buggy":[212],"wrongly":[214],"rejects":[215],"semantically":[216],"(2)":[219],"majority":[221],"lie":[225],"implementations":[228],"underlying":[231],"core":[237],"components":[238],"related":[239],"operations":[241],"types,":[243],"(3)":[244],"parametric":[245],"polymorphism":[246],"pervasive":[250],"feature":[251],"corresponding":[254],"cases,":[256],"(4)":[257],"one":[258],"third":[259],"triggered":[264],"non-compilable":[266],"programs.":[267],"believe":[269],"opens":[273],"up":[274],"new":[276],"direction":[278],"driving":[280],"future":[281],"researchers":[282],"build":[284],"appropriate":[285],"methods":[286],"techniques":[288],"holistic":[292],"testing":[293],"compilers.":[295]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3}],"updated_date":"2026-06-22T08:00:12.763002","created_date":"2025-10-10T00:00:00"}