{"id":"https://openalex.org/W4406222015","doi":"https://doi.org/10.1145/3704908","title":"Relaxed Memory Concurrency Re-executed","display_name":"Relaxed Memory Concurrency Re-executed","publication_year":2025,"publication_date":"2025-01-07","ids":{"openalex":"https://openalex.org/W4406222015","doi":"https://doi.org/10.1145/3704908"},"language":"en","primary_location":{"id":"doi:10.1145/3704908","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704908","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3704908","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059478558","display_name":"Evgenii Moiseenko","orcid":"https://orcid.org/0000-0003-2715-1143"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Evgenii Moiseenko","raw_affiliation_strings":["JetBrains Research, Belgrade, Serbia"],"raw_orcid":"https://orcid.org/0000-0003-2715-1143","affiliations":[{"raw_affiliation_string":"JetBrains Research, Belgrade, Serbia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115826666","display_name":"Matteo Meluzzi","orcid":null},"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":"Matteo Meluzzi","raw_affiliation_strings":["TU Delft, Delft, Netherlands"],"raw_orcid":"https://orcid.org/0009-0005-4329-1025","affiliations":[{"raw_affiliation_string":"TU Delft, Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115826667","display_name":"Innokentii Meleshchenko","orcid":null},"institutions":[{"id":"https://openalex.org/I4210122463","display_name":"Neapolis University Pafos","ror":"https://ror.org/02kjms144","country_code":"CY","type":"education","lineage":["https://openalex.org/I4210122463"]}],"countries":["CY"],"is_corresponding":false,"raw_author_name":"Innokentii Meleshchenko","raw_affiliation_strings":["JetBrains Research, Paphos, Cyprus","Neapolis University Pafos, Paphos, Cyprus"],"raw_orcid":"https://orcid.org/0009-0004-2539-7160","affiliations":[{"raw_affiliation_string":"JetBrains Research, Paphos, Cyprus","institution_ids":[]},{"raw_affiliation_string":"Neapolis University Pafos, Paphos, Cyprus","institution_ids":["https://openalex.org/I4210122463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115826668","display_name":"Ivan Kabashnyi","orcid":null},"institutions":[{"id":"https://openalex.org/I193619901","display_name":"Constructor University","ror":"https://ror.org/02yrs2n53","country_code":"DE","type":"education","lineage":["https://openalex.org/I193619901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ivan Kabashnyi","raw_affiliation_strings":["Constructor University Bremen, Bremen, Germany","JetBrains Research, Bremen, Germany"],"raw_orcid":"https://orcid.org/0009-0003-5044-4953","affiliations":[{"raw_affiliation_string":"Constructor University Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I193619901"]},{"raw_affiliation_string":"JetBrains Research, Bremen, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082235493","display_name":"Anton Podkopaev","orcid":null},"institutions":[{"id":"https://openalex.org/I193619901","display_name":"Constructor University","ror":"https://ror.org/02yrs2n53","country_code":"DE","type":"education","lineage":["https://openalex.org/I193619901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Anton Podkopaev","raw_affiliation_strings":["Constructor University Bremen, Bremen, Germany","JetBrains Research, Amsterdam, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-9448-6587","affiliations":[{"raw_affiliation_string":"Constructor University Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I193619901"]},{"raw_affiliation_string":"JetBrains Research, Amsterdam, Netherlands","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076643620","display_name":"Soham Chakraborty","orcid":null},"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, Delft, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-4454-2050","affiliations":[{"raw_affiliation_string":"TU Delft, Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5059478558"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.1546,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.81213368,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"9","issue":"POPL","first_page":"2149","last_page":"2175"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9990000128746033,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9955999851226807,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7226491570472717},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6957316398620605},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4460785388946533},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42686396837234497},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.4189288020133972},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3981941342353821},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.06851184368133545}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7226491570472717},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6957316398620605},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4460785388946533},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42686396837234497},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.4189288020133972},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3981941342353821},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.06851184368133545}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3704908","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704908","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3704908","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704908","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W867008410","https://openalex.org/W1482397304","https://openalex.org/W1594381772","https://openalex.org/W1644882639","https://openalex.org/W1719093023","https://openalex.org/W1945229733","https://openalex.org/W1983206712","https://openalex.org/W2000659103","https://openalex.org/W2054739713","https://openalex.org/W2058943117","https://openalex.org/W2091085450","https://openalex.org/W2117502039","https://openalex.org/W2152885346","https://openalex.org/W2170389900","https://openalex.org/W2294707073","https://openalex.org/W2466104094","https://openalex.org/W2531502343","https://openalex.org/W2626631502","https://openalex.org/W2884767181","https://openalex.org/W2900112703","https://openalex.org/W2947631473","https://openalex.org/W3011074696","https://openalex.org/W3016534026","https://openalex.org/W3024303244","https://openalex.org/W3033965825","https://openalex.org/W3107330328","https://openalex.org/W3108655499","https://openalex.org/W3114431693","https://openalex.org/W3122287721","https://openalex.org/W3153626425","https://openalex.org/W3186074728","https://openalex.org/W3205860735","https://openalex.org/W4205148915","https://openalex.org/W4205694524","https://openalex.org/W4206635466","https://openalex.org/W4234066571","https://openalex.org/W4240322740","https://openalex.org/W4307731802","https://openalex.org/W4318541601","https://openalex.org/W4379512374","https://openalex.org/W4406222015","https://openalex.org/W6968049746"],"related_works":["https://openalex.org/W2069952143","https://openalex.org/W2177773059","https://openalex.org/W2005064465","https://openalex.org/W3086779066","https://openalex.org/W2088892941","https://openalex.org/W4247233665","https://openalex.org/W2335905257","https://openalex.org/W120707803","https://openalex.org/W2503409110","https://openalex.org/W2130223300"],"abstract_inverted_index":{"Defining":[0],"a":[1,20,98,114,131,154,159,220],"formal":[2],"model":[3,101,179,197,222],"for":[4,169],"concurrency":[5,230],"in":[6,64,81,147],"programming":[7],"languages":[8],"that":[9,28,33,52,176,201],"addresses":[10],"conflicting":[11,44],"requirements":[12],"from":[13],"programmers,":[14],"compilers,":[15],"and":[16,84,108,140,174,184,189,225],"architectures":[17],"has":[18],"been":[19],"long-standing":[21],"research":[22],"question.":[23],"It":[24],"is":[25,112,194,209],"widely":[26],"believed":[27],"traditional":[29,124],"axiomatic":[30,161],"per-execution":[31,82,107,115,125],"models":[32,49,60,70],"reason":[34,53],"about":[35,54,119],"individual":[36,120],"executions":[37,56,129],"do":[38],"not":[39,88],"suffice":[40],"to":[41,74,76,90,150,212],"address":[42],"these":[43,69],"requirements.":[45],"Consequently,":[46],"several":[47,66,229],"multi-execution":[48,59,109],"were":[50,61],"proposed":[51],"multiple":[55],"together.":[57],"Although":[58],"major":[62],"breakthroughs":[63],"satisfying":[65],"desired":[67],"properties,":[68],"are":[71,86,145],"complicated,":[72],"challenging":[73],"adapt":[75],"existing":[77],"language":[78,172],"specifications":[79],"given":[80,160],"style,":[83],"they":[85],"typically":[87],"friendly":[89],"automated":[91,213],"reasoning":[92],"tools.":[93],"In":[94],"response,":[95],"we":[96,218],"propose":[97],"re-execution-based":[99],"memory":[100,137,162],"(XMM).":[102],"Debunking":[103],"the":[104,136,141,166,170,177,195],"beliefs":[105],"around":[106],"models,":[110,126],"XMM":[111,117,167],"(almost)":[113],"model.":[116,163],"reasons":[118],"executions,":[121],"but":[122],"unlike":[123],"it":[127,152,227],"relates":[128],"by":[130,158],"re-execution":[132,143],"principle.":[133],"As":[134],"such,":[135],"consistency":[138],"axioms":[139],"out-of-order":[142],"mechanics":[144],"orthogonal":[146],"XMM,":[148],"allowing":[149],"use":[151],"as":[153],"semantic":[155],"framework":[156,168],"parameterized":[157],"We":[164],"instantiated":[165],"RC20":[171],"model,":[173],"proved":[175],"resulting":[178],"XC20":[180,193,208],"provides":[181],"DRF":[182],"guarantees":[183],"allows":[185],"standard":[186],"hardware":[187],"mappings":[188],"compiler":[190],"optimizations.":[191],"Note-worthy,":[192],"first":[196],"of":[198],"its":[199],"kind":[200],"also":[202,210],"supports":[203],"thread":[204],"sequentialization":[205],"optimization.":[206],"Moreover,":[207],"amenable":[211],"reasoning.":[214],"To":[215],"demonstrate":[216],"this,":[217],"developed":[219],"sound":[221],"checker":[223],"XMC":[224],"evaluated":[226],"on":[228],"benchmarks.":[231]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-02-07T06:11:34.122080","created_date":"2025-10-10T00:00:00"}