{"id":"https://openalex.org/W4281613925","doi":"https://doi.org/10.1145/3519939.3523427","title":"Finding typing compiler bugs","display_name":"Finding typing compiler bugs","publication_year":2022,"publication_date":"2022-06-02","ids":{"openalex":"https://openalex.org/W4281613925","doi":"https://doi.org/10.1145/3519939.3523427"},"language":"en","primary_location":{"id":"doi:10.1145/3519939.3523427","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3519939.3523427","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"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/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Stefanos Chaliasos","raw_affiliation_strings":["Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"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"],"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/A5021948425","display_name":"Diomidis Spinellis","orcid":"https://orcid.org/0000-0003-4231-1897"},"institutions":[{"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"]},{"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","NL"],"is_corresponding":false,"raw_author_name":"Diomidis Spinellis","raw_affiliation_strings":["Athens University of Economics and Business, Greece / Delft University of Technology, Netherlands"],"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"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063253761","display_name":"Arthur Gervais","orcid":"https://orcid.org/0000-0002-3565-3410"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Arthur Gervais","raw_affiliation_strings":["Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068390911","display_name":"Benjamin Livshits","orcid":"https://orcid.org/0000-0002-4921-8452"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Benjamin Livshits","raw_affiliation_strings":["Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","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"],"affiliations":[{"raw_affiliation_string":"University of Athens, Greece","institution_ids":["https://openalex.org/I200777214"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5028030636"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":6.8776,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.97485253,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"183","last_page":"198"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.8448211550712585},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.8243677616119385},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8127822875976562},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7354995012283325},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5501599311828613},{"id":"https://openalex.org/keywords/typing","display_name":"Typing","score":0.44084253907203674},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.4197457432746887},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.40525081753730774},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14046710729599}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8448211550712585},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.8243677616119385},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8127822875976562},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7354995012283325},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5501599311828613},{"id":"https://openalex.org/C2781209916","wikidata":"https://www.wikidata.org/wiki/Q3215756","display_name":"Typing","level":2,"score":0.44084253907203674},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.4197457432746887},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.40525081753730774},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14046710729599},{"id":"https://openalex.org/C28490314","wikidata":"https://www.wikidata.org/wiki/Q189436","display_name":"Speech recognition","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3519939.3523427","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3519939.3523427","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:10182832","is_oa":false,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10182832/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"     In:  PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation.  (pp. pp. 183-198).  Association for Computing Machinery (ACM): San Diego, CA, USA. (2022)     ","raw_type":"Proceedings paper"},{"id":"pmh:oai:tudelft.nl:uuid:8661c485-5d4b-48c5-bba9-8bb21f72ff72","is_oa":false,"landing_page_url":"http://resolver.tudelft.nl/uuid:8661c485-5d4b-48c5-bba9-8bb21f72ff72","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":"conference paper"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.6200000047683716,"display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G3231584680","display_name":null,"funder_award_id":"825328","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5036817778","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innov","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8633428685","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innovat","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W1966021031","https://openalex.org/W1984762903","https://openalex.org/W2003164052","https://openalex.org/W2030405312","https://openalex.org/W2095445208","https://openalex.org/W2121169478","https://openalex.org/W2129695855","https://openalex.org/W2132984320","https://openalex.org/W2137417304","https://openalex.org/W2155877593","https://openalex.org/W2166822586","https://openalex.org/W2170737051","https://openalex.org/W2249862487","https://openalex.org/W2296333508","https://openalex.org/W2390518826","https://openalex.org/W2414287720","https://openalex.org/W2427840161","https://openalex.org/W2506015293","https://openalex.org/W2530895108","https://openalex.org/W2532737545","https://openalex.org/W2617809069","https://openalex.org/W2759550170","https://openalex.org/W2898471596","https://openalex.org/W2954978134","https://openalex.org/W3007855180","https://openalex.org/W3010821527","https://openalex.org/W3090636587","https://openalex.org/W3093870681","https://openalex.org/W3094052853","https://openalex.org/W3106635654","https://openalex.org/W3107362213","https://openalex.org/W3124323960","https://openalex.org/W3124420928","https://openalex.org/W3164004581","https://openalex.org/W3173035584","https://openalex.org/W3173506450","https://openalex.org/W3205605633","https://openalex.org/W3207843684","https://openalex.org/W4238083723"],"related_works":["https://openalex.org/W2002505081","https://openalex.org/W2083681681","https://openalex.org/W2577630842","https://openalex.org/W1172579163","https://openalex.org/W1488300410","https://openalex.org/W2138790427","https://openalex.org/W3146558274","https://openalex.org/W4246454774","https://openalex.org/W2162051035","https://openalex.org/W1597127505"],"abstract_inverted_index":{"We":[0,52],"propose":[1],"a":[2,16],"testing":[3,47],"framework":[4],"for":[5,21,48],"validating":[6],"static":[7],"typing":[8,29,50],"procedures":[9],"in":[10],"compilers.":[11],"Our":[12],"core":[13],"component":[14],"is":[15,37],"program":[17,40,71],"generator":[18,41],"suitably":[19],"crafted":[20],"producing":[22],"programs":[23],"that":[24,38,64],"are":[25,83],"likely":[26],"to":[27,44,68,72,92],"trigger":[28],"compiler":[30,46,78],"bugs.":[31,51],"One":[32],"of":[33],"our":[34,39],"main":[35],"contributions":[36],"gives":[42],"rise":[43],"transformation-based":[45],"finding":[49],"present":[53],"two":[54],"novel":[55],"approaches":[56,82],"(type":[57],"erasure":[58],"mutation":[59],"and":[60,76],"type":[61,74,88,94],"overwriting":[62],"mutation)":[63],"apply":[65],"targeted":[66],"transformations":[67],"an":[69,86],"input":[70],"reveal":[73],"inference":[75,89],"soundness":[77],"bugs":[79],"respectively.":[80],"Both":[81],"guided":[84],"by":[85],"intra-procedural":[87],"analysis":[90],"used":[91],"capture":[93],"information":[95],"flow.":[96]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":11},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}