{"id":"https://openalex.org/W4312060076","doi":"https://doi.org/10.1145/3567955.3567962","title":"Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures","display_name":"Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures","publication_year":2022,"publication_date":"2022-12-19","ids":{"openalex":"https://openalex.org/W4312060076","doi":"https://doi.org/10.1145/3567955.3567962"},"language":"en","primary_location":{"id":"doi:10.1145/3567955.3567962","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3567955.3567962","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.tudelft.nl/file/File_675ab30d-07be-4078-b005-b9d77d7197e7","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029261670","display_name":"Redha Gouicem","orcid":"https://orcid.org/0000-0003-4619-5221"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Redha Gouicem","raw_affiliation_strings":["TU Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Munich, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036216034","display_name":"Dennis Sprokholt","orcid":"https://orcid.org/0000-0002-2132-7315"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Dennis Sprokholt","raw_affiliation_strings":["TU Delft, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083691267","display_name":"Jasper Ruehl","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jasper Ruehl","raw_affiliation_strings":["TU Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Munich, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068417005","display_name":"Rodrigo C. O. Rocha","orcid":"https://orcid.org/0000-0002-6317-3908"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rodrigo C. O. Rocha","raw_affiliation_strings":["University of Edinburgh, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054308553","display_name":"Tom Spink","orcid":"https://orcid.org/0000-0002-7662-3146"},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tom Spink","raw_affiliation_strings":["University of St Andrews, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of St Andrews, UK","institution_ids":["https://openalex.org/I16835326"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057239424","display_name":"Soham Chakraborty","orcid":"https://orcid.org/0000-0003-1229-4176"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Soham Chakraborty","raw_affiliation_strings":["TU Delft, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002550391","display_name":"Pramod Bhatotia","orcid":"https://orcid.org/0000-0002-3220-5735"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pramod Bhatotia","raw_affiliation_strings":["TU Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Munich, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5029261670"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4664,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.62038034,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"107","last_page":"122"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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":1.0,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9984999895095825,"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/binary-translation","display_name":"Binary translation","score":0.9514734148979187},{"id":"https://openalex.org/keywords/emulation","display_name":"Emulation","score":0.858802318572998},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8125872015953064},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7123680114746094},{"id":"https://openalex.org/keywords/x86","display_name":"x86","score":0.6739214062690735},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.5255787968635559},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5043262243270874},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.4858129024505615},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4502992033958435},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.39639878273010254},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3411266803741455},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3383253812789917},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2652880549430847},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1818438172340393},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.17452824115753174},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.07999411225318909}],"concepts":[{"id":"https://openalex.org/C2778971978","wikidata":"https://www.wikidata.org/wiki/Q2287075","display_name":"Binary translation","level":3,"score":0.9514734148979187},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.858802318572998},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8125872015953064},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7123680114746094},{"id":"https://openalex.org/C170723468","wikidata":"https://www.wikidata.org/wiki/Q182933","display_name":"x86","level":3,"score":0.6739214062690735},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.5255787968635559},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5043262243270874},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.4858129024505615},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4502992033958435},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.39639878273010254},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3411266803741455},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3383253812789917},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2652880549430847},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1818438172340393},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.17452824115753174},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.07999411225318909},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3567955.3567962","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3567955.3567962","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1","raw_type":"proceedings-article"},{"id":"pmh:oai:research-repository.st-andrews.ac.uk:10023/26704","is_oa":false,"landing_page_url":"https://hdl.handle.net/10023/26704","pdf_url":null,"source":{"id":"https://openalex.org/S4306400230","display_name":"St Andrews Research Repository (St Andrews Research Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I16835326","host_organization_name":"University of St Andrews","host_organization_lineage":["https://openalex.org/I16835326"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Conference item"},{"id":"pmh:oai:tudelft.nl:uuid:2ea32c53-5665-41ca-a6da-43117f917334","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:2ea32c53-5665-41ca-a6da-43117f917334","pdf_url":"https://repository.tudelft.nl/file/File_675ab30d-07be-4078-b005-b9d77d7197e7","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"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":{"id":"pmh:oai:tudelft.nl:uuid:2ea32c53-5665-41ca-a6da-43117f917334","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:2ea32c53-5665-41ca-a6da-43117f917334","pdf_url":"https://repository.tudelft.nl/file/File_675ab30d-07be-4078-b005-b9d77d7197e7","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4312060076.pdf","grobid_xml":"https://content.openalex.org/works/W4312060076.grobid-xml"},"referenced_works_count":56,"referenced_works":["https://openalex.org/W123460966","https://openalex.org/W149053240","https://openalex.org/W1482397304","https://openalex.org/W1525350307","https://openalex.org/W1588615233","https://openalex.org/W1598893746","https://openalex.org/W1808398105","https://openalex.org/W1822674892","https://openalex.org/W1847252379","https://openalex.org/W1982078374","https://openalex.org/W2000659103","https://openalex.org/W2001723134","https://openalex.org/W2010497096","https://openalex.org/W2014791196","https://openalex.org/W2025301734","https://openalex.org/W2029601347","https://openalex.org/W2039509099","https://openalex.org/W2054739713","https://openalex.org/W2073944597","https://openalex.org/W2086023529","https://openalex.org/W2096004601","https://openalex.org/W2104644701","https://openalex.org/W2111858071","https://openalex.org/W2114587856","https://openalex.org/W2117502039","https://openalex.org/W2123322769","https://openalex.org/W2134184428","https://openalex.org/W2141395109","https://openalex.org/W2152885346","https://openalex.org/W2164264520","https://openalex.org/W2165365531","https://openalex.org/W2256363745","https://openalex.org/W2290819493","https://openalex.org/W2550256838","https://openalex.org/W2553522901","https://openalex.org/W2564852534","https://openalex.org/W2583840120","https://openalex.org/W2583970767","https://openalex.org/W2626631502","https://openalex.org/W2738891045","https://openalex.org/W2769194423","https://openalex.org/W2884767181","https://openalex.org/W2900112703","https://openalex.org/W2955626199","https://openalex.org/W2999781197","https://openalex.org/W3033965825","https://openalex.org/W3122287721","https://openalex.org/W3156131292","https://openalex.org/W3186023305","https://openalex.org/W3205972330","https://openalex.org/W4234066571","https://openalex.org/W4239813889","https://openalex.org/W4246094892","https://openalex.org/W4246957455","https://openalex.org/W4256041698","https://openalex.org/W6894156302"],"related_works":["https://openalex.org/W1964586167","https://openalex.org/W2369102298","https://openalex.org/W2766777357","https://openalex.org/W3005677086","https://openalex.org/W2479669872","https://openalex.org/W2911551207","https://openalex.org/W2166847391","https://openalex.org/W2120142281","https://openalex.org/W2383717912","https://openalex.org/W4235274905"],"abstract_inverted_index":{"Dynamic":[0],"Binary":[1],"Translation":[2],"(DBT)":[3],"is":[4],"a":[5,35],"powerful":[6],"approach":[7],"to":[8,29],"support":[9],"cross-architecture":[10],"emulation":[11],"of":[12,37],"unmodified":[13],"binaries.":[14],"However,":[15],"DBT":[16],"systems":[17],"face":[18],"correctness":[19],"and":[20],"performance":[21],"challenges,":[22],"when":[23,46],"emulating":[24,47],"concurrent":[25],"binaries":[26,49],"from":[27],"strong":[28],"weak":[30],"memory":[31],"consistency":[32],"architectures.":[33],"As":[34],"matter":[36],"fact,":[38],"we":[39],"report":[40],"several":[41],"translation":[42],"errors":[43],"in":[44],"QEMU,":[45],"x86":[48],"on":[50],"Arm":[51],"hosts.":[52]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-09T13:55:54.758798","created_date":"2025-10-10T00:00:00"}