{"id":"https://openalex.org/W4395106414","doi":"https://doi.org/10.1145/3620666.3651366","title":"SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis","display_name":"SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis","publication_year":2024,"publication_date":"2024-04-24","ids":{"openalex":"https://openalex.org/W4395106414","doi":"https://doi.org/10.1145/3620666.3651366"},"language":"en","primary_location":{"id":"doi:10.1145/3620666.3651366","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3620666.3651366","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3","raw_type":"proceedings-article"},"type":"conference-paper","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/A5092043043","display_name":"Bowen Zhang","orcid":"https://orcid.org/0000-0002-2985-6713"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Bowen Zhang","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-2985-6713","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008806407","display_name":"Wei Chen","orcid":"https://orcid.org/0000-0003-0335-5002"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Wei Chen","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0003-0335-5002","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045907091","display_name":"Peisen Yao","orcid":"https://orcid.org/0000-0003-0342-9518"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peisen Yao","raw_affiliation_strings":["Zhejiang University, Hangzhou, Zhejiang, China"],"raw_orcid":"https://orcid.org/0000-0003-0342-9518","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, Zhejiang, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101917946","display_name":"Chengpeng Wang","orcid":"https://orcid.org/0000-0003-0617-5322"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Chengpeng Wang","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0003-0617-5322","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102714233","display_name":"Wensheng Tang","orcid":"https://orcid.org/0000-0002-4259-3321"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Wensheng Tang","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-4259-3321","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101490555","display_name":"Charles Zhang","orcid":"https://orcid.org/0009-0006-8611-9468"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Charles Zhang","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"],"raw_orcid":"https://orcid.org/0009-0006-8611-9468","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3542,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.76561777,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"882","last_page":"899"},"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.9997000098228455,"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.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991999864578247,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/compatibility","display_name":"Compatibility (geochemistry)","score":0.7163199186325073},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6555516123771667},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4397999942302704},{"id":"https://openalex.org/keywords/backward-compatibility","display_name":"Backward compatibility","score":0.4294663071632385},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.19876235723495483},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11168229579925537}],"concepts":[{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.7163199186325073},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6555516123771667},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4397999942302704},{"id":"https://openalex.org/C20574231","wikidata":"https://www.wikidata.org/wiki/Q844605","display_name":"Backward compatibility","level":2,"score":0.4294663071632385},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.19876235723495483},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11168229579925537},{"id":"https://openalex.org/C42360764","wikidata":"https://www.wikidata.org/wiki/Q83588","display_name":"Chemical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3620666.3651366","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3620666.3651366","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-137149","is_oa":false,"landing_page_url":"https://repository.hkust.edu.hk/ir/Record/1783.1-137149","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"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/8","score":0.7200000286102295,"display_name":"Decent work and economic growth"}],"awards":[{"id":"https://openalex.org/G4951753833","display_name":null,"funder_award_id":"62302434","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5445995690","display_name":"PinCloud: A Cloud Service Platform for Detecting Security Threats from Mobile Apps","funder_award_id":"ITS/440/18FP","funder_id":"https://openalex.org/F4320321920","funder_display_name":"Innovation and Technology Commission"}],"funders":[{"id":"https://openalex.org/F4320307764","display_name":"Microsoft","ror":"https://ror.org/00d0nc645"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321920","display_name":"Innovation and Technology Commission","ror":"https://ror.org/04vf9tr09"},{"id":"https://openalex.org/F4320322183","display_name":"Huawei Technologies","ror":"https://ror.org/00cmhce21"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":74,"referenced_works":["https://openalex.org/W121297392","https://openalex.org/W1710734607","https://openalex.org/W1966982815","https://openalex.org/W1978546859","https://openalex.org/W1982205631","https://openalex.org/W2044868346","https://openalex.org/W2048960787","https://openalex.org/W2097335450","https://openalex.org/W2098456636","https://openalex.org/W2100111786","https://openalex.org/W2115428539","https://openalex.org/W2128466029","https://openalex.org/W2129188761","https://openalex.org/W2132632456","https://openalex.org/W2134734244","https://openalex.org/W2144344516","https://openalex.org/W2152049500","https://openalex.org/W2153342620","https://openalex.org/W2157532207","https://openalex.org/W2157976942","https://openalex.org/W2158798798","https://openalex.org/W2170737051","https://openalex.org/W2297774820","https://openalex.org/W2624178362","https://openalex.org/W2784629571","https://openalex.org/W2793471590","https://openalex.org/W2799226481","https://openalex.org/W2895585783","https://openalex.org/W2927543040","https://openalex.org/W2930019028","https://openalex.org/W2943810095","https://openalex.org/W2954121408","https://openalex.org/W2964097210","https://openalex.org/W2985896598","https://openalex.org/W2987375469","https://openalex.org/W2995341674","https://openalex.org/W2996317448","https://openalex.org/W3000442391","https://openalex.org/W3007127028","https://openalex.org/W3030148664","https://openalex.org/W3030163527","https://openalex.org/W3048197573","https://openalex.org/W3083197299","https://openalex.org/W3106669766","https://openalex.org/W3107362213","https://openalex.org/W3109017117","https://openalex.org/W3109527096","https://openalex.org/W3122286897","https://openalex.org/W3162571474","https://openalex.org/W3164004581","https://openalex.org/W3166956180","https://openalex.org/W3175324715","https://openalex.org/W3211608049","https://openalex.org/W4224246371","https://openalex.org/W4225113125","https://openalex.org/W4225149718","https://openalex.org/W4226087539","https://openalex.org/W4226278401","https://openalex.org/W4244413641","https://openalex.org/W4246553962","https://openalex.org/W4246728432","https://openalex.org/W4248755866","https://openalex.org/W4253735066","https://openalex.org/W4281613925","https://openalex.org/W4281950471","https://openalex.org/W4288057792","https://openalex.org/W4289038676","https://openalex.org/W4318348378","https://openalex.org/W4327911462","https://openalex.org/W4387674224","https://openalex.org/W6672261180","https://openalex.org/W6677236904","https://openalex.org/W6731033227","https://openalex.org/W6891816108"],"related_works":["https://openalex.org/W2103734435","https://openalex.org/W2388297596","https://openalex.org/W128084838","https://openalex.org/W2312598952","https://openalex.org/W2226237160","https://openalex.org/W3131377100","https://openalex.org/W1551703449","https://openalex.org/W2371078869","https://openalex.org/W3176673918","https://openalex.org/W1492220143"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"Siro,":[3],"a":[4,37,99],"new":[5,146],"program":[6,59],"transformation":[7],"framework":[8],"that":[9],"translates":[10],"between":[11],"different":[12,89],"versions":[13],"of":[14,24,52,118],"Intermediate":[15],"Representations":[16],"(IR),":[17],"aiming":[18],"to":[19,61,82,106,138],"better":[20],"address":[21],"the":[22,45,53,140],"issue":[23],"IR":[25,66,77,86],"version":[26,90],"incompatibility":[27],"on":[28,44,75],"IR-based":[29],"software,":[30],"such":[31],"as":[32],"static":[33,108,135],"analyzers.":[34],"We":[35],"introduce":[36],"generic":[38],"algorithm":[39],"skeleton":[40],"for":[41,65,88],"Siro":[42,72,124],"based":[43],"divide-and-conquer":[46],"principle.":[47],"To":[48],"minimize":[49],"labor-intensive":[50],"tasks":[51],"implementation":[54],"process,":[55],"we":[56,102],"further":[57],"employ":[58],"synthesis":[60],"automatically":[62],"generate":[63],"translators":[64,87,105],"instructions":[67],"within":[68],"vast":[69],"search":[70],"spaces.":[71],"is":[73],"instantiated":[74],"LLVM":[76],"and":[78,110,115,120,132],"has":[79,125],"effectively":[80],"helped":[81],"produce":[83],"ten":[84],"well-functioning":[85],"pairs,":[91],"each":[92],"taking":[93],"less":[94],"than":[95],"three":[96],"hours.":[97],"From":[98],"practical":[100],"perspective,":[101],"utilize":[103],"these":[104],"assist":[107],"analyzers":[109,136],"fuzzers":[111],"in":[112,129],"reporting":[113],"bugs":[114],"achieving":[116],"accuracy":[117],"91%":[119],"95%,":[121],"respectively.":[122],"Remarkably,":[123],"already":[126],"been":[127],"deployed":[128],"real-world":[130],"scenarios":[131],"makes":[133],"existing":[134],"available":[137],"safeguard":[139],"Linux":[141],"kernel":[142],"by":[143],"uncovering":[144],"80":[145],"vulnerabilities.":[147]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}