{"id":"https://openalex.org/W4394745579","doi":"https://doi.org/10.1145/3597503.3639189","title":"Translation Validation for JIT Compiler in the V8 JavaScript Engine","display_name":"Translation Validation for JIT Compiler in the V8 JavaScript Engine","publication_year":2024,"publication_date":"2024-04-12","ids":{"openalex":"https://openalex.org/W4394745579","doi":"https://doi.org/10.1145/3597503.3639189"},"language":"en","primary_location":{"id":"doi:10.1145/3597503.3639189","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3597503.3639189","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3597503.3639189","source":null,"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 IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3597503.3639189","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100718569","display_name":"Seungwan Kwon","orcid":"https://orcid.org/0009-0001-7774-2147"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Seungwan Kwon","raw_affiliation_strings":["KAIST, Daejeon, United States of America"],"raw_orcid":"https://orcid.org/0009-0001-7774-2147","affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, United States of America","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059816141","display_name":"Jaeseong Kwon","orcid":"https://orcid.org/0009-0001-1927-5077"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jaeseong Kwon","raw_affiliation_strings":["KAIST, Daejeon, Korea"],"raw_orcid":"https://orcid.org/0009-0001-1927-5077","affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007737086","display_name":"Wooseok Kang","orcid":"https://orcid.org/0000-0002-9318-1511"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Wooseok Kang","raw_affiliation_strings":["KAIST, Daejeon, Korea"],"raw_orcid":"https://orcid.org/0000-0002-9318-1511","affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009604611","display_name":"Juneyoung Lee","orcid":"https://orcid.org/0000-0002-8152-9330"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Juneyoung Lee","raw_affiliation_strings":["Amazon Web Services, Seattle, Washington, USA"],"raw_orcid":"https://orcid.org/0000-0002-8152-9330","affiliations":[{"raw_affiliation_string":"Amazon Web Services, Seattle, Washington, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071661688","display_name":"Kihong Heo","orcid":"https://orcid.org/0000-0003-2671-0142"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Kihong Heo","raw_affiliation_strings":["KAIST, Daejeon, Korea"],"raw_orcid":"https://orcid.org/0000-0003-2671-0142","affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.6231,"has_fulltext":true,"cited_by_count":20,"citation_normalized_percentile":{"value":0.98118669,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"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.9980000257492065,"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.9980000257492065,"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.9973000288009644,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9944999814033508,"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.8976964354515076},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8454396724700928},{"id":"https://openalex.org/keywords/turbofan","display_name":"Turbofan","score":0.8084769248962402},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.706324577331543},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6873308420181274},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6460669040679932},{"id":"https://openalex.org/keywords/just-in-time-compilation","display_name":"Just-in-time compilation","score":0.5522249341011047},{"id":"https://openalex.org/keywords/validator","display_name":"Validator","score":0.5087175965309143},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.4937029778957367},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2744358777999878}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8976964354515076},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8454396724700928},{"id":"https://openalex.org/C110050840","wikidata":"https://www.wikidata.org/wiki/Q654051","display_name":"Turbofan","level":2,"score":0.8084769248962402},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.706324577331543},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6873308420181274},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6460669040679932},{"id":"https://openalex.org/C76782552","wikidata":"https://www.wikidata.org/wiki/Q110546","display_name":"Just-in-time compilation","level":3,"score":0.5522249341011047},{"id":"https://openalex.org/C35292069","wikidata":"https://www.wikidata.org/wiki/Q1575458","display_name":"Validator","level":2,"score":0.5087175965309143},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.4937029778957367},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2744358777999878},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C171146098","wikidata":"https://www.wikidata.org/wiki/Q124192","display_name":"Automotive engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3597503.3639189","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3597503.3639189","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3597503.3639189","source":null,"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 IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3597503.3639189","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3597503.3639189","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3597503.3639189","source":null,"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 IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4447486136","display_name":null,"funder_award_id":"2021R1A5A1021944","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G4694788573","display_name":null,"funder_award_id":"2021R1C1C1003876","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G7369723383","display_name":null,"funder_award_id":"2021R1A5A1021944","funder_id":"https://openalex.org/F4320328359","funder_display_name":"Ministry of Science and ICT, South Korea"}],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"},{"id":"https://openalex.org/F4320328359","display_name":"Ministry of Science and ICT, South Korea","ror":"https://ror.org/01wpjm123"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4394745579.pdf","grobid_xml":"https://content.openalex.org/works/W4394745579.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W2126823808","https://openalex.org/W2152885483","https://openalex.org/W2170737051","https://openalex.org/W2789027925","https://openalex.org/W2947109320","https://openalex.org/W3042014029","https://openalex.org/W3042261571","https://openalex.org/W3117382689","https://openalex.org/W3164004581","https://openalex.org/W3184692337","https://openalex.org/W4308642082","https://openalex.org/W4310884974"],"related_works":["https://openalex.org/W3212134035","https://openalex.org/W2998205945","https://openalex.org/W2100148636","https://openalex.org/W2589710902","https://openalex.org/W2214930354","https://openalex.org/W120774220","https://openalex.org/W2589301260","https://openalex.org/W2978069623","https://openalex.org/W2012921833","https://openalex.org/W1999926936"],"abstract_inverted_index":{"We":[0,41,60,108,144,167],"present":[1],"TurboTV,":[2],"a":[3,20,54,81,110,117,181,189,196],"translation":[4,48,151],"validator":[5],"for":[6,84,141,165],"the":[7,63,93,150],"JavaScript":[8],"(JS)":[9],"just-in-time":[10],"(JIT)":[11],"compiler":[12,70],"of":[13,23,30,65,67,71,113,124,173,184,186],"V8.":[14],"While":[15],"JS":[16,85,114,174],"engines":[17],"have":[18],"become":[19],"crucial":[21],"part":[22],"various":[24,121,171],"software":[25],"systems,":[26],"their":[27,39,128],"emerging":[28],"adaption":[29],"JIT":[31,86],"compilation":[32,56,129],"makes":[33],"it":[34],"increasingly":[35],"challenging":[36],"to":[37,91,104,119,156],"ensure":[38],"correctness.":[40],"tackle":[42],"this":[43],"problem":[44],"with":[45,160,188],"an":[46,161],"SMT-based":[47],"validation":[49],"(TV)":[50],"that":[51,135,146],"checks":[52],"whether":[53],"specific":[55],"is":[57],"semantically":[58],"correct.":[59],"formally":[61],"define":[62],"semantics":[64],"IR":[66,155],"TurboFan":[68,125,157,187],"(JIT":[69],"V8)":[72],"as":[73],"SMT":[74],"encoding.":[75],"For":[76],"efficient":[77],"validation,":[78],"we":[79,101,133],"design":[80],"staged":[82],"strategy":[83],"compilers.":[87],"This":[88],"allows":[89],"us":[90],"decompose":[92],"whole":[94],"correctness":[95],"checking":[96],"into":[97],"simpler":[98],"ones.":[99],"Furthermore,":[100],"utilize":[102],"fuzzing":[103],"achieve":[105],"practical":[106],"TV.":[107,143],"generate":[109],"large":[111,182],"number":[112,183],"functions":[115],"using":[116,130],"fuzzer":[118],"trigger":[120],"optimization":[122],"passes":[123],"and":[126,175,194],"validate":[127,149],"TurboTV.":[131],"Lastly,":[132],"demonstrate":[134],"TurboTV":[136,147,169,178],"can":[137,148],"also":[138],"be":[139],"used":[140],"cross-language":[142],"show":[145],"chain":[152],"from":[153],"LLVM":[154,176],"IR,":[158],"collaborating":[159],"off-the-shelf":[162],"TV":[163],"tool":[164],"LLVM.":[166,200],"evaluated":[168],"on":[170],"sets":[172],"programs.":[177],"effectively":[179],"validated":[180],"compilations":[185],"low":[190],"false":[191],"positive":[192],"rate":[193],"discovered":[195],"new":[197],"miscompilation":[198],"in":[199]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":19}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}