{"id":"https://openalex.org/W4407944890","doi":"https://doi.org/10.1145/3708493.3712693","title":"Biotite: A High-Performance Static Binary Translator using Source-Level Information","display_name":"Biotite: A High-Performance Static Binary Translator using Source-Level Information","publication_year":2025,"publication_date":"2025-02-25","ids":{"openalex":"https://openalex.org/W4407944890","doi":"https://doi.org/10.1145/3708493.3712693"},"language":"en","primary_location":{"id":"doi:10.1145/3708493.3712693","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708493.3712693","pdf_url":null,"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 34th ACM SIGPLAN International Conference on Compiler Construction","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3708493.3712693","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087145069","display_name":"C. Chen","orcid":"https://orcid.org/0009-0000-0090-7196"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Changbin Chen","raw_affiliation_strings":["The University of Tokyo, Tokyo, Japan"],"raw_orcid":"https://orcid.org/0009-0000-0090-7196","affiliations":[{"raw_affiliation_string":"The University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047180250","display_name":"Shu Sugita","orcid":"https://orcid.org/0000-0002-6357-4218"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shu Sugita","raw_affiliation_strings":["The University of Tokyo, Tokyo, Japan"],"raw_orcid":"https://orcid.org/0000-0002-6357-4218","affiliations":[{"raw_affiliation_string":"The University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062832859","display_name":"Yuichiro Nada","orcid":"https://orcid.org/0009-0009-4084-2732"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yotaro Nada","raw_affiliation_strings":["The University of Tokyo, Tokyo, Japan"],"raw_orcid":"https://orcid.org/0009-0009-4084-2732","affiliations":[{"raw_affiliation_string":"The University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068571937","display_name":"Hidetsugu Irie","orcid":"https://orcid.org/0000-0002-5678-2377"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hidetsugu Irie","raw_affiliation_strings":["The University of Tokyo, Tokyo, Japan"],"raw_orcid":"https://orcid.org/0000-0002-5678-2377","affiliations":[{"raw_affiliation_string":"The University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091236698","display_name":"Shuichi Sakai","orcid":"https://orcid.org/0000-0002-5471-9091"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shuichi Sakai","raw_affiliation_strings":["The University of Tokyo, Tokyo, Japan"],"raw_orcid":"https://orcid.org/0000-0002-5471-9091","affiliations":[{"raw_affiliation_string":"The University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102797966","display_name":"Ryota Shioya","orcid":"https://orcid.org/0000-0002-9309-5875"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ryota Shioya","raw_affiliation_strings":["The University of Tokyo, Tokyo, Japan"],"raw_orcid":"https://orcid.org/0000-0002-9309-5875","affiliations":[{"raw_affiliation_string":"The University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":2.8545,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.81965632,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"167","last_page":"179"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9587000012397766,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9587000012397766,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9430999755859375,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9352999925613403,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6345189809799194},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.6334968209266663},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1842774748802185},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.13569208979606628}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6345189809799194},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.6334968209266663},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1842774748802185},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.13569208979606628}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3708493.3712693","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708493.3712693","pdf_url":null,"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 34th ACM SIGPLAN International Conference on Compiler Construction","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3708493.3712693","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708493.3712693","pdf_url":null,"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 34th ACM SIGPLAN International Conference on Compiler Construction","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1744150050","https://openalex.org/W2001723134","https://openalex.org/W2064391085","https://openalex.org/W2093122758","https://openalex.org/W2107075183","https://openalex.org/W2156487548","https://openalex.org/W2157373341","https://openalex.org/W2166847391","https://openalex.org/W2479669872","https://openalex.org/W2530629736","https://openalex.org/W2583316335","https://openalex.org/W2798992527","https://openalex.org/W2905472326","https://openalex.org/W2912275093","https://openalex.org/W2955626199","https://openalex.org/W3009071074","https://openalex.org/W3133422705","https://openalex.org/W3154816604","https://openalex.org/W3204203797","https://openalex.org/W4200016955","https://openalex.org/W4200078296","https://openalex.org/W4281927845","https://openalex.org/W4389476319","https://openalex.org/W4399850631"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Research":[0],"on":[1,66,72],"novel":[2,41],"Instruction":[3],"Set":[4],"Architectures":[5],"(ISAs)":[6],"is":[7,50],"actively":[8],"pursued;":[9],"however,":[10],"it":[11],"requires":[12],"extensive":[13],"efforts":[14],"to":[15,36,40,54,84,155],"develop":[16],"and":[17,92,111,172],"maintain":[18],"comprehensive":[19],"compilation":[20],"toolchains":[21],"for":[22,33,107,180],"each":[23],"new":[24],"ISA.":[25],"Binary":[26],"translation":[27,150],"can":[28,102,117],"provide":[29,103],"a":[30,45,135,174],"practical":[31],"solution":[32],"ISA":[34,79],"researchers":[35,80],"port":[37],"target":[38],"programs":[39],"ISAs":[42,75],"when":[43,95],"such":[44],"level":[46],"of":[47,59,151],"toolchain":[48],"support":[49],"not":[51],"available.":[52],"However,":[53],"ensure":[55],"the":[56,89,149,181],"correct":[57],"handling":[58],"indirect":[60,109,144],"jumps,":[61,110],"existing":[62],"binary":[63,97,138],"translators":[64],"rely":[65],"complex":[67],"runtime":[68],"systems,":[69],"whose":[70],"implementation":[71],"primitive":[73],"research":[74],"demands":[76],"significant":[77],"efforts.":[78],"generally":[81],"have":[82],"access":[83],"additional":[85,127],"source-level":[86,124],"information,":[87],"including":[88],"symbol":[90,100],"table":[91,101],"source":[93,115],"code,":[94],"using":[96],"translators.":[98],"The":[99],"potential":[104],"jump":[105],"targets":[106],"optimizing":[108],"ISA-independent":[112],"functions":[113],"in":[114,129,168],"code":[116],"be":[118],"directly":[119],"compiled":[120],"without":[121],"translation.":[122],"Leveraging":[123],"information":[125],"as":[126],"input,":[128],"this":[130],"paper,":[131],"we":[132],"propose":[133],"Biotite,":[134],"high-performance":[136],"static":[137],"translator":[139],"that":[140,162],"correctly":[141],"handles":[142],"arbitrary":[143],"jumps.":[145],"Currently,":[146],"Biotite":[147,163],"supports":[148],"RV64GC":[152],"Linux":[153],"binaries":[154],"self-contained":[156],"LLVM":[157],"IR.":[158],"Our":[159],"evaluation":[160],"shows":[161],"successfully":[164],"translates":[165],"all":[166],"benchmarks":[167],"SPEC":[169],"CPU":[170],"2017":[171],"achieves":[173],"2.346\u00d7":[175],"performance":[176],"improvement":[177],"over":[178],"QEMU":[179],"integer":[182],"benchmark":[183],"suite.":[184]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}