{"id":"https://openalex.org/W4408218751","doi":"https://doi.org/10.1145/3721143","title":"Memory Consistency and Program Transformations","display_name":"Memory Consistency and Program Transformations","publication_year":2025,"publication_date":"2025-03-05","ids":{"openalex":"https://openalex.org/W4408218751","doi":"https://doi.org/10.1145/3721143"},"language":"en","primary_location":{"id":"doi:10.1145/3721143","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3721143","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3721143","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3721143","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010941829","display_name":"Akshay Gopalakrishnan","orcid":"https://orcid.org/0009-0005-2587-0605"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Akshay Gopalakrishnan","raw_affiliation_strings":["Computer Science, McGill University, Montreal, Canada"],"raw_orcid":"https://orcid.org/0009-0005-2587-0605","affiliations":[{"raw_affiliation_string":"Computer Science, McGill University, Montreal, Canada","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001343030","display_name":"Clark Verbrugge","orcid":"https://orcid.org/0000-0003-0663-7347"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Clark Verbrugge","raw_affiliation_strings":["Computer Science, McGill University, Montreal, Canada"],"raw_orcid":"https://orcid.org/0000-0003-0663-7347","affiliations":[{"raw_affiliation_string":"Computer Science, McGill University, Montreal, Canada","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043076240","display_name":"Mark Batty","orcid":"https://orcid.org/0000-0001-7053-4364"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mark Batty","raw_affiliation_strings":["Computer Science, University of Kent, Canterbury, United Kingdom of Great Britain and Northern Ireland"],"raw_orcid":"https://orcid.org/0000-0001-7053-4364","affiliations":[{"raw_affiliation_string":"Computer Science, University of Kent, Canterbury, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I20581793"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":null,"fwci":1.0233,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.7192053,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"37","issue":"3","first_page":"1","last_page":"42"},"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.998199999332428,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9976999759674072,"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/theory-of-computation","display_name":"Theory of computation","score":0.6351934671401978},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.6082816123962402},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5882006883621216},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.563530683517456},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.5092750787734985},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4508797228336334},{"id":"https://openalex.org/keywords/causal-consistency","display_name":"Causal consistency","score":0.45082494616508484},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3226377069950104},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14492568373680115}],"concepts":[{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6351934671401978},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.6082816123962402},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5882006883621216},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.563530683517456},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.5092750787734985},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4508797228336334},{"id":"https://openalex.org/C175652121","wikidata":"https://www.wikidata.org/wiki/Q4379351","display_name":"Causal consistency","level":5,"score":0.45082494616508484},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3226377069950104},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14492568373680115},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3721143","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3721143","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3721143","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3721143","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3721143","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3721143","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6956072150","display_name":"Improving the Spatial Awareness of Virtual Agents in Games","funder_award_id":"rgpin-2019-05213","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4408218751.pdf"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W867008410","https://openalex.org/W1482397304","https://openalex.org/W1525350307","https://openalex.org/W1990191223","https://openalex.org/W2000659103","https://openalex.org/W2029601347","https://openalex.org/W2033818578","https://openalex.org/W2054391605","https://openalex.org/W2091085450","https://openalex.org/W2096791627","https://openalex.org/W2160963348","https://openalex.org/W2163121173","https://openalex.org/W2169832991","https://openalex.org/W2170389900","https://openalex.org/W2290819493","https://openalex.org/W2293159724","https://openalex.org/W2550256838","https://openalex.org/W2564852534","https://openalex.org/W2626631502","https://openalex.org/W2738891045","https://openalex.org/W2794880113","https://openalex.org/W2884767181","https://openalex.org/W2900112703","https://openalex.org/W2964237197","https://openalex.org/W3016534026","https://openalex.org/W3028520121","https://openalex.org/W3098619491","https://openalex.org/W3122287721","https://openalex.org/W3146312719","https://openalex.org/W4200187841","https://openalex.org/W4234066571","https://openalex.org/W4240322740","https://openalex.org/W4251987281","https://openalex.org/W4293195734"],"related_works":["https://openalex.org/W4290062159","https://openalex.org/W2560551601","https://openalex.org/W2497440208","https://openalex.org/W2971748376","https://openalex.org/W2128822791","https://openalex.org/W2123855908","https://openalex.org/W2374240972","https://openalex.org/W4301894417","https://openalex.org/W3010022189","https://openalex.org/W2110193654"],"abstract_inverted_index":{"A":[0,70],"memory":[1,10,46,105,180,222],"consistency":[2,76,106],"model":[3,181],"specifies":[4],"the":[5,14,27,34,67,88,101,113,174,201,229],"allowed":[6],"behaviors":[7],"of":[8,29,90,100,112,120,146,153,176,220],"shared":[9],"concurrent":[11,58],"programs.":[12],"At":[13],"language":[15,45],"level,":[16],"these":[17],"models":[18,47,77],"are":[19,61],"known":[20],"to":[21,36,49,64,116,134,162,182,215,232],"have":[22],"a":[23,83,129,143,164,191,216],"non-trivial":[24],"impact":[25],"on":[26,228],"safety":[28,154,175],"program":[30],"optimizations.":[31,69],"This":[32,95],"limits":[33],"ability":[35],"rearrange/refactor":[37],"code":[38],"without":[39],"introducing":[40],"new":[41,217],"behaviors.":[42,94],"Existing":[43],"programming":[44],"try":[48],"address":[50],"this":[51,125,136,160],"by":[52,188],"permitting":[53],"more":[54,93],"(":[55,168],"relaxed/weak":[56],")":[57,170],"behaviors,":[59],"but":[60],"still":[62],"unable":[63],"allow":[65],"all":[66],"desired":[68,231],"core":[71],"problem":[72,99],"is":[73,122],"that":[74,85,171,225],"weaker":[75],"may":[78],"also":[79],"render":[80],"optimizations":[81,121,141,177,230],"unsafe,":[82],"conclusion":[84],"goes":[86],"against":[87],"intuition":[89],"them":[91],"allowing":[92,203],"exposes":[96],"an":[97],"open":[98],"compositional":[102,137,166],"interaction":[103],"between":[104,193],"semantics":[107,114],"and":[108,197],"optimizations;":[109],"which":[110,118,151],"parts":[111],"correspond":[115],"allowing/disallowing":[117],"set":[119,145],"unclear.":[123],"In":[124],"work,":[126],"we":[127],"establish":[128],"formal":[130],"foundation":[131],"suitable":[132],"enough":[133],"understand":[135],"nature.":[138],"We":[139,158,184],"decompose":[140],"into":[142],"finite":[144],"elementary":[147],"effects":[148],",":[149,200],"over":[150,207],"aspects":[152],"can":[155],"be":[156,233],"assessed.":[157],"use":[159],"decomposition":[161],"identify":[163],"desirable":[165],"property":[167,192],"complete":[169],"would":[172],"guarantee":[173],"from":[178],"one":[179,224],"another.":[183],"showcase":[185],"its":[186],"practicality":[187],"proving":[189],"such":[190],"Sequential":[194],"Consistency":[195],"(SC)":[196],"SC":[198,208],"RR":[199],"latter":[202],"independent":[204],"read-read":[205],"reordering":[206],".":[209],"Our":[210],"work":[211],"potentially":[212],"paves":[213],"way":[214],"design":[218],"methodology":[219],"programming-language":[221],"models,":[223],"places":[226],"emphasis":[227],"performed.":[234]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}