{"id":"https://openalex.org/W4407583718","doi":"https://doi.org/10.1145/3715102","title":"Validating JIT Compilers via Compilation Space Exploration","display_name":"Validating JIT Compilers via Compilation Space Exploration","publication_year":2025,"publication_date":"2025-02-14","ids":{"openalex":"https://openalex.org/W4407583718","doi":"https://doi.org/10.1145/3715102"},"language":"en","primary_location":{"id":"doi:10.1145/3715102","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3715102","pdf_url":null,"source":{"id":"https://openalex.org/S193109227","display_name":"ACM Transactions on Computer Systems","issn_l":"0734-2071","issn":["0734-2071","1557-7333"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computer Systems","raw_type":"journal-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/A5089955742","display_name":"Cong Li","orcid":"https://orcid.org/0000-0002-9576-100X"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Cong Li","raw_affiliation_strings":["Nanjing University","Nanjing University,  Nanjing, China","No address"],"raw_orcid":"https://orcid.org/0000-0002-9576-100X","affiliations":[{"raw_affiliation_string":"Nanjing University","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Nanjing University,  Nanjing, China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"No address","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102987690","display_name":"Yanyan Jiang","orcid":"https://orcid.org/0000-0001-7651-9560"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanyan Jiang","raw_affiliation_strings":["Nanjing University","Nanjing University,  Nanjing, China","No address"],"raw_orcid":"https://orcid.org/0000-0001-7651-9560","affiliations":[{"raw_affiliation_string":"Nanjing University","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Nanjing University,  Nanjing, China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"No address","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052203980","display_name":"Chang Xu","orcid":"https://orcid.org/0000-0002-6299-4704"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chang Xu","raw_affiliation_strings":["Nanjing University","No address","Nanjing University,  Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-6299-4704","affiliations":[{"raw_affiliation_string":"Nanjing University","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"No address","institution_ids":[]},{"raw_affiliation_string":"Nanjing University,  Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077610917","display_name":"Zhendong Su","orcid":"https://orcid.org/0000-0002-2970-1391"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Zhendong Su","raw_affiliation_strings":["ETH Zurich","No address","ETH Zurich,  Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-2970-1391","affiliations":[{"raw_affiliation_string":"ETH Zurich","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"No address","institution_ids":[]},{"raw_affiliation_string":"ETH Zurich,  Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5089955742"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":7.7348,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.96601694,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"43","issue":"3","first_page":"1","last_page":"37"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9988999962806702,"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/T11424","display_name":"Security and Verification in Computing","score":0.9958000183105469,"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.8635886907577515},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7126268148422241},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.6819003224372864},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4908753037452698},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3622605800628662},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3589918613433838},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3161045014858246}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8635886907577515},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7126268148422241},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.6819003224372864},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4908753037452698},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3622605800628662},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3589918613433838},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3161045014858246}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3715102","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3715102","pdf_url":null,"source":{"id":"https://openalex.org/S193109227","display_name":"ACM Transactions on Computer Systems","issn_l":"0734-2071","issn":["0734-2071","1557-7333"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computer Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3379780289","display_name":null,"funder_award_id":"#2022YFB4501801","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W2003164052","https://openalex.org/W2043832938","https://openalex.org/W2045255985","https://openalex.org/W2088494048","https://openalex.org/W2095445208","https://openalex.org/W2098771596","https://openalex.org/W2138284121","https://openalex.org/W2155877593","https://openalex.org/W2159558457","https://openalex.org/W2170737051","https://openalex.org/W2173816994","https://openalex.org/W2414287720","https://openalex.org/W2530895108","https://openalex.org/W2532737545","https://openalex.org/W2701225458","https://openalex.org/W2794859654","https://openalex.org/W2899781671","https://openalex.org/W2947109320","https://openalex.org/W2954978134","https://openalex.org/W2963350015","https://openalex.org/W2967854622","https://openalex.org/W2974073952","https://openalex.org/W3008797115","https://openalex.org/W3015193297","https://openalex.org/W3015912954","https://openalex.org/W3089358079","https://openalex.org/W3107362213","https://openalex.org/W3131034920","https://openalex.org/W3154106427","https://openalex.org/W3164004581","https://openalex.org/W3205605633","https://openalex.org/W3212134035","https://openalex.org/W4238083723","https://openalex.org/W4246263814","https://openalex.org/W4280649982","https://openalex.org/W4281613925","https://openalex.org/W4284692355","https://openalex.org/W4308642082","https://openalex.org/W4379512400","https://openalex.org/W4384304801","https://openalex.org/W4384345718","https://openalex.org/W6674807127","https://openalex.org/W6786501302","https://openalex.org/W6862147781","https://openalex.org/W6869653686","https://openalex.org/W7034165281"],"related_works":["https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100","https://openalex.org/W4236221110","https://openalex.org/W2125855853","https://openalex.org/W4245652312","https://openalex.org/W2111062328","https://openalex.org/W2048887547"],"abstract_inverted_index":{"We":[0,82],"introduce":[1],"the":[2,12,45,48,55,114,142,151,240,256],"concept":[3],"of":[4,15,28,35,47,125,146,193,207,214,244,259],"compilation":[5,26,56,80],"space":[6,27,57],"as":[7,129],"a":[8,29,32,59,90,162,203,211],"new":[9],"pivot":[10],"for":[11,92,252],"comprehensive":[13],"validation":[14],"just-in-time":[16],"(JIT)":[17],"compilers":[18,258],"in":[19,58,87,106,222],"modern":[20],"language":[21],"virtual":[22],"machines":[23],"(LVMs).":[24],"The":[25],"program":[30],"encompasses":[31],"wide":[33],"range":[34],"equivalent":[36],"JIT-compilation":[37],"choices,":[38],"which":[39,126],"can":[40],"be":[41],"cross-validated":[42],"to":[43,76,161,171,174,183],"ensure":[44],"correctness":[46],"program\u2019s":[49],"JIT":[50,79,139,257],"compilations.":[51],"To":[52],"thoroughly":[53],"explore":[54],"lightweight":[60],"and":[61,113,123,144,224,232,242,254],"LVM-agnostic":[62],"manner,":[63],"we":[64,156,236],"strategically":[65],"mutate":[66],"test":[67],"programs":[68,209],"with":[69,154,202,210],"JIT-relevant":[70],"but":[71],"semantics-preserving":[72],"code":[73,200],"constructs,":[74],"aiming":[75,170],"provoke":[77],"diverse":[78],"optimizations.":[81],"primarily":[83],"implement":[84],"this":[85],"approach":[86,246],"Artemis":[88,101,230],",":[89],"tool":[91],"validating":[93,255],"Java":[94],"Virtual":[95],"Machines":[96],"(JVMs).":[97],"Within":[98],"three":[99,107],"months,":[100],"successfully":[102,218],"discovered":[103],"85":[104],"bugs":[105,137,177],"widely":[108],"used":[109],"production":[110],"JVMs\u2014HotSpot,":[111],"OpenJ9,":[112],"Android":[115],"Runtime\u2014where":[116],"53":[117],"were":[118,127],"already":[119],"confirmed":[120],"or":[121],"fixed":[122],"many":[124],"classified":[128],"critical.":[130],"It":[131],"is":[132],"noteworthy":[133],"that":[134,189,239],"all":[135],"reported":[136],"concern":[138],"compilers,":[140],"highlighting":[141],"effectiveness":[143],"practicality":[145],"our":[147,159,190,245],"technique.":[148],"Building":[149],"on":[150],"promising":[152],"results":[153],"JVMs,":[155],"experimentally":[157],"applied":[158],"technique":[160],"state-of-the-art":[163],"JavaScript":[164],"Engine":[165],"(JSE)":[166],"fuzzer":[167],"called":[168],"Fuzzilli,":[169],"augment":[172],"it":[173,249],"find":[175],"mis-compilation":[176],"without":[178],"significantly":[179],"sacrificing":[180],"its":[181],"ability":[182],"detect":[184],"crashes.":[185,215],"Our":[186],"experiments":[187],"demonstrate":[188],"enhanced":[191],"version":[192],"Fuzzilli":[194],"namely":[195],"Apollo":[196,217,233],"could":[197],"achieve":[198],"comparable":[199],"coverage":[201],"considerably":[204],"smaller":[205],"number":[206,213],"generated":[208],"similar":[212],"Additionally,":[216],"uncovered":[219],"four":[220],"mis-compilations":[221],"JavaScriptCore":[223],"SpiderMonkey":[225],"within":[226],"seven":[227],"days.":[228],"Following":[229],"\u2019":[231],"\u2019s":[234],"success,":[235],"are":[237],"expecting":[238],"generality":[241],"practicability":[243],"will":[247],"make":[248],"broadly":[250],"applicable":[251],"understanding":[253],"other":[260],"LVMs.":[261]},"counts_by_year":[{"year":2025,"cited_by_count":4}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}