{"id":"https://openalex.org/W4414988718","doi":"https://doi.org/10.1145/3763152","title":"Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing","display_name":"Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing","publication_year":2025,"publication_date":"2025-10-09","ids":{"openalex":"https://openalex.org/W4414988718","doi":"https://doi.org/10.1145/3763152"},"language":"en","primary_location":{"id":"doi:10.1145/3763152","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763152","pdf_url":null,"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://doi.org/10.1145/3763152","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029627298","display_name":"Qiong Feng","orcid":"https://orcid.org/0000-0003-1667-8062"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiong Feng","raw_affiliation_strings":["Nanjing University of Science and Technology, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0003-1667-8062","affiliations":[{"raw_affiliation_string":"Nanjing University of Science and Technology, Nanjing, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113160661","display_name":"Xiaotian Ma","orcid":null},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaotian Ma","raw_affiliation_strings":["Nanjing University of Science and Technology, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0008-9121-3656","affiliations":[{"raw_affiliation_string":"Nanjing University of Science and Technology, Nanjing, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Ziyuan Feng","orcid":"https://orcid.org/0009-0000-4747-3831"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ziyuan Feng","raw_affiliation_strings":["Nanjing University of Science and Technology, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0000-4747-3831","affiliations":[{"raw_affiliation_string":"Nanjing University of Science and Technology, Nanjing, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014911872","display_name":"Marat Akhin","orcid":"https://orcid.org/0009-0003-1683-6654"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marat Akhin","raw_affiliation_strings":["JetBrains, Amsterdam, Netherlands"],"raw_orcid":"https://orcid.org/0009-0003-1683-6654","affiliations":[{"raw_affiliation_string":"JetBrains, Amsterdam, Netherlands","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071056788","display_name":"Wei Song","orcid":"https://orcid.org/0000-0002-4324-3382"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Song","raw_affiliation_strings":["Nanjing University of Science and Technology, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-4324-3382","affiliations":[{"raw_affiliation_string":"Nanjing University of Science and Technology, Nanjing, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049939779","display_name":"Peng Liang","orcid":"https://orcid.org/0000-0002-2056-5346"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peng Liang","raw_affiliation_strings":["Wuhan University, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0002-2056-5346","affiliations":[{"raw_affiliation_string":"Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1752,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.84033309,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"9","issue":"OOPSLA2","first_page":"2843","last_page":"2869"},"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.9998999834060669,"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.9998999834060669,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9984999895095825,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8379999995231628},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7702000141143799},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6741999983787537},{"id":"https://openalex.org/keywords/compiler-correctness","display_name":"Compiler correctness","score":0.507099986076355},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.46959999203681946},{"id":"https://openalex.org/keywords/compiler-construction","display_name":"Compiler construction","score":0.4602999985218048},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.44290000200271606},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.39649999141693115},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.38920000195503235}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8611000180244446},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8593000173568726},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8379999995231628},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7702000141143799},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6741999983787537},{"id":"https://openalex.org/C68366613","wikidata":"https://www.wikidata.org/wiki/Q5156378","display_name":"Compiler correctness","level":3,"score":0.507099986076355},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.46959999203681946},{"id":"https://openalex.org/C9957790","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler construction","level":3,"score":0.4602999985218048},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.44290000200271606},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.39649999141693115},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.38920000195503235},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.3840000033378601},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.3815999925136566},{"id":"https://openalex.org/C77660490","wikidata":"https://www.wikidata.org/wiki/Q244916","display_name":"Intermediate language","level":3,"score":0.3619000017642975},{"id":"https://openalex.org/C111564260","wikidata":"https://www.wikidata.org/wiki/Q4288856","display_name":"Interprocedural optimization","level":5,"score":0.35679998993873596},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.3343000113964081},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3301999866962433},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.29989999532699585},{"id":"https://openalex.org/C2780902518","wikidata":"https://www.wikidata.org/wiki/Q6033780","display_name":"Inheritance (genetic algorithm)","level":3,"score":0.2985999882221222},{"id":"https://openalex.org/C2144512","wikidata":"https://www.wikidata.org/wiki/Q1143090","display_name":"Dead code elimination","level":5,"score":0.2824999988079071},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.2734000086784363},{"id":"https://openalex.org/C92966194","wikidata":"https://www.wikidata.org/wiki/Q651794","display_name":"Compiled language","level":4,"score":0.2669000029563904},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.26409998536109924}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3763152","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763152","pdf_url":null,"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"}],"best_oa_location":{"id":"doi:10.1145/3763152","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763152","pdf_url":null,"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/G3792353997","display_name":null,"funder_award_id":"62172311","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1984762903","https://openalex.org/W2249862487","https://openalex.org/W2414287720","https://openalex.org/W2751343396","https://openalex.org/W2806285345","https://openalex.org/W2997653900","https://openalex.org/W3000442391","https://openalex.org/W3004910747","https://openalex.org/W3007855180","https://openalex.org/W3039507068","https://openalex.org/W3094052853","https://openalex.org/W3107362213","https://openalex.org/W3131012613","https://openalex.org/W3167900421","https://openalex.org/W3205605633","https://openalex.org/W4238083723","https://openalex.org/W4244688039","https://openalex.org/W4281613925","https://openalex.org/W4284692355","https://openalex.org/W4295698929","https://openalex.org/W4308643022","https://openalex.org/W4323857800","https://openalex.org/W4378591002","https://openalex.org/W4384158973","https://openalex.org/W4384345670","https://openalex.org/W4389164868","https://openalex.org/W4391164126","https://openalex.org/W4392972163","https://openalex.org/W4394769544","https://openalex.org/W4400484714","https://openalex.org/W4400582287","https://openalex.org/W4402442749","https://openalex.org/W4403223258","https://openalex.org/W4403413366","https://openalex.org/W4403413411","https://openalex.org/W4403536915","https://openalex.org/W4405663852","https://openalex.org/W4409328033","https://openalex.org/W6912058771"],"related_works":[],"abstract_inverted_index":{"Compilers":[0],"play":[1],"a":[2,66,71],"central":[3],"role":[4],"in":[5,132,139,146,154,163,226,243],"translating":[6],"high-level":[7],"code":[8,18],"into":[9],"executable":[10],"programs,":[11],"making":[12],"their":[13,50],"correctness":[14,30,37,242],"essential":[15],"for":[16,33,76],"ensuring":[17],"safety":[19],"and":[20,49,79,89,107,119,159,187,222,237],"reliability.":[21],"While":[22],"extensive":[23],"research":[24,60,231],"has":[25],"focused":[26,219],"on":[27,220],"verifying":[28],"the":[29,36,44,95,117,133,140,147,155,164,172,178,185,194,208,215],"of":[31,38,177,190,197,210],"compilers":[32,52,199],"single-language":[34],"compilation,":[35],"cross-language":[39,82,205,227],"compilation":[40,228],"\u2014":[41,53,103,109],"which":[42],"involves":[43],"interaction":[45],"between":[46],"two":[47],"languages":[48,78],"respective":[51,195],"remains":[54],"largely":[55],"unexplored.":[56],"To":[57,207],"fill":[58],"this":[59,213],"gap,":[61],"we":[62,183],"propose":[63],"CrossLangFuzzer":[64,98,126],",":[65,106],"novel":[67],"framework":[68],"that":[69],"introduces":[70],"universal":[72],"intermediate":[73],"representation":[74],"(IR)":[75],"JVM-based":[77],"automatically":[80],"generates":[81],"test":[83],"programs":[84,121],"with":[85],"diverse":[86],"type":[87],"parameters":[88],"complex":[90],"inheritance":[91],"structures.":[92],"After":[93],"generating":[94],"initial":[96],"IR,":[97],"applies":[99],"three":[100],"mutation":[101],"techniques":[102],"LangShuffler,":[104],"FunctionRemoval":[105],"TypeChanger":[108,170],"to":[110,233,239],"enhance":[111],"program":[112],"diversity.":[113],"By":[114],"evaluating":[115],"both":[116],"original":[118],"mutated":[120],"across":[122],"multiple":[123],"compiler":[124,180,224,241],"versions,":[125],"successfully":[127],"uncovered":[128],"10":[129],"confirmed":[130,137,144,152,161],"bugs":[131,138,145,153,225],"Kotlin":[134],"compiler,":[135,142,150,158],"4":[136],"Groovy":[141],"7":[143],"Scala":[148,156],"3":[149],"2":[151,157],"1":[160],"bug":[162],"Java":[165],"compiler.":[166],"Among":[167],"all":[168],"mutators,":[169],"is":[171,214],"most":[173],"effective,":[174],"detecting":[175],"11":[176],"24":[179],"bugs.":[181],"Furthermore,":[182],"analyze":[184],"symptoms":[186],"root":[188],"causes":[189],"cross-compilation":[191],"bugs,":[192],"examining":[193],"responsibilities":[196],"language":[198],"when":[200],"incorrect":[201],"behavior":[202],"occurs":[203],"during":[204],"compilation.":[206],"best":[209],"our":[211],"knowledge,":[212],"first":[216],"work":[217],"specifically":[218],"identifying":[221],"diagnosing":[223],"scenarios.":[229],"Our":[230],"helps":[232],"understand":[234],"these":[235],"challenges":[236],"contributes":[238],"improving":[240],"multi-language":[244],"environments.":[245]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-17T05:52:16.776730","created_date":"2025-10-10T00:00:00"}