{"id":"https://openalex.org/W4411267093","doi":"https://doi.org/10.1145/3729313","title":"Dynamic Region Ownership for Concurrency Safety","display_name":"Dynamic Region Ownership for Concurrency Safety","publication_year":2025,"publication_date":"2025-06-10","ids":{"openalex":"https://openalex.org/W4411267093","doi":"https://doi.org/10.1145/3729313"},"language":"en","primary_location":{"id":"doi:10.1145/3729313","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729313","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/3729313","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5118138669","display_name":"Fridtjof Peer Stoldt","orcid":null},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Fridtjof Peer Stoldt","raw_affiliation_strings":["Uppsala University, Uppsala, Sweden"],"raw_orcid":"https://orcid.org/0009-0006-5356-280X","affiliations":[{"raw_affiliation_string":"Uppsala University, Uppsala, Sweden","institution_ids":["https://openalex.org/I123387679"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5118196333","display_name":"Brandt Bucher","orcid":null},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brandt Bucher","raw_affiliation_strings":["Microsoft, Redmond, USA"],"raw_orcid":"https://orcid.org/0009-0009-5083-3311","affiliations":[{"raw_affiliation_string":"Microsoft, Redmond, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059345262","display_name":"Sylvan Clebsch","orcid":"https://orcid.org/0009-0004-4049-134X"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sylvan Clebsch","raw_affiliation_strings":["Microsoft Azure Research, Cambridge, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0004-4049-134X","affiliations":[{"raw_affiliation_string":"Microsoft Azure Research, Cambridge, United Kingdom","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045688578","display_name":"Matthew Johnson","orcid":"https://orcid.org/0000-0002-1019-8036"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Matthew A. Johnson","raw_affiliation_strings":["Microsoft Azure Research, Cambridge, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-1019-8036","affiliations":[{"raw_affiliation_string":"Microsoft Azure Research, Cambridge, United Kingdom","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001725251","display_name":"Matthew Parkinson","orcid":"https://orcid.org/0009-0004-3937-1260"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Matthew J. Parkinson","raw_affiliation_strings":["Microsoft Azure Research, Cambridge, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0004-3937-1260","affiliations":[{"raw_affiliation_string":"Microsoft Azure Research, Cambridge, United Kingdom","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013488300","display_name":"Guido van Rossum","orcid":null},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guido van Rossum","raw_affiliation_strings":["Microsoft, Redmond, USA"],"raw_orcid":"https://orcid.org/0009-0001-4225-4995","affiliations":[{"raw_affiliation_string":"Microsoft, Redmond, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5118252562","display_name":"Eric Snow","orcid":null},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric Snow","raw_affiliation_strings":["Microsoft, Redmond, USA"],"raw_orcid":"https://orcid.org/0009-0001-8085-1088","affiliations":[{"raw_affiliation_string":"Microsoft, Redmond, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053132997","display_name":"Tobias Wrigstad","orcid":"https://orcid.org/0000-0002-4269-5408"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Tobias Wrigstad","raw_affiliation_strings":["Uppsala University, Uppsala, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-4269-5408","affiliations":[{"raw_affiliation_string":"Uppsala University, Uppsala, Sweden","institution_ids":["https://openalex.org/I123387679"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.5175,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.92693771,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"9","issue":"PLDI","first_page":"1565","last_page":"1590"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987999796867371,"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.9987000226974487,"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.8201985955238342},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.720374584197998},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.718126654624939},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.6216952204704285},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.5401742458343506},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.5339651703834534},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.459147185087204},{"id":"https://openalex.org/keywords/interpreter","display_name":"Interpreter","score":0.42407748103141785},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08086714148521423}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8201985955238342},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.720374584197998},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.718126654624939},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6216952204704285},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.5401742458343506},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.5339651703834534},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.459147185087204},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.42407748103141785},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08086714148521423},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3729313","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729313","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"},{"id":"pmh:oai:DiVA.org:uu-566197","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-566197","pdf_url":"https://uu.diva-portal.org/smash/get/diva2:1994155/FULLTEXT01","source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3729313","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729313","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":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.46000000834465027}],"awards":[{"id":"https://openalex.org/G1969859679","display_name":null,"funder_award_id":"2024-04565","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G5885797510","display_name":null,"funder_award_id":"2023-05526","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"}],"funders":[{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W97591351","https://openalex.org/W100613926","https://openalex.org/W172676560","https://openalex.org/W655235863","https://openalex.org/W1541430579","https://openalex.org/W1581253965","https://openalex.org/W1581908531","https://openalex.org/W1770006921","https://openalex.org/W1976323078","https://openalex.org/W2009245364","https://openalex.org/W2034675142","https://openalex.org/W2039085252","https://openalex.org/W2046317364","https://openalex.org/W2049984112","https://openalex.org/W2055483780","https://openalex.org/W2077288840","https://openalex.org/W2092378729","https://openalex.org/W2095839043","https://openalex.org/W2097509104","https://openalex.org/W2101900462","https://openalex.org/W2103957752","https://openalex.org/W2123683215","https://openalex.org/W2135868037","https://openalex.org/W2136618368","https://openalex.org/W2138527110","https://openalex.org/W2138652462","https://openalex.org/W2146934772","https://openalex.org/W2150922760","https://openalex.org/W2155656276","https://openalex.org/W2157514610","https://openalex.org/W2159119750","https://openalex.org/W2295471304","https://openalex.org/W2783537560","https://openalex.org/W2947951150","https://openalex.org/W2956068069","https://openalex.org/W2977286659","https://openalex.org/W3019259517","https://openalex.org/W3033992392","https://openalex.org/W3098597635","https://openalex.org/W3112414036","https://openalex.org/W3122002490","https://openalex.org/W3149432941","https://openalex.org/W3170236839","https://openalex.org/W3206363762","https://openalex.org/W4247699568","https://openalex.org/W4281922598","https://openalex.org/W4381615698","https://openalex.org/W4386556239","https://openalex.org/W4387674292","https://openalex.org/W4391294506","https://openalex.org/W4399850791","https://openalex.org/W4403490712","https://openalex.org/W4406222012","https://openalex.org/W6930664160"],"related_works":["https://openalex.org/W2379153735","https://openalex.org/W2046172023","https://openalex.org/W2972896947","https://openalex.org/W2170146914","https://openalex.org/W2355105570","https://openalex.org/W2083974823","https://openalex.org/W2072751097","https://openalex.org/W4237177615","https://openalex.org/W2341492732","https://openalex.org/W2015567081"],"abstract_inverted_index":{"The":[0,27],"ways":[1],"in":[2,13,23,75,152],"which":[3,148],"the":[4,45,67,108,123],"components":[5],"of":[6,116,130,135,144],"a":[7,14,24,56,59,127,153,158],"program":[8],"interact":[9],"with":[10,91],"each":[11],"other":[12],"concurrent":[15],"setting":[16],"can":[17,50,63,119],"be":[18,64,120],"considerably":[19],"more":[20],"complex":[21],"than":[22],"sequential":[25],"setting.":[26],"core":[28,99],"problem":[29],"is":[30,42,101],"unrestricted":[31,38],"shared":[32,39],"mutable":[33,40],"state.":[34],"An":[35],"alternative":[36],"to":[37,43,66,102,122],"state":[41],"restrict":[44],"sharing":[46],"using":[47],"Ownership.":[48],"Ownership":[49,70],"turn":[51],"what":[52],"would":[53],"have":[54,150],"been":[55],"race":[57],"into":[58,169,172],"deterministic":[60,113],"failure":[61],"that":[62,106,118,132,156],"explained":[65,121],"programmer.":[68,124],"However,":[69],"has":[71],"predominantly":[72],"taken":[73],"place":[74],"statically":[76],"typed":[77,88],"languages.":[78],"In":[79],"this":[80],"paper,":[81],"we":[82,149],"explore":[83],"retrofitting":[84],"an":[85,92,173],"existing":[86,174],"dynamically":[87],"programming":[89],"language":[90],"ownership":[93,109,117,131,134],"model":[94,110,129],"based":[95],"on":[96,165],"regions.":[97,139],"Our":[98],"aim":[100],"provide":[103,112,141],"safe":[104],"concurrency,":[105],"is,":[107],"should":[111],"dynamic":[114,128,142],"failures":[115],"We":[125,140],"present":[126],"provides":[133,157],"groups":[136],"objects":[137],"called":[138],"enforcement":[143],"our":[145,166],"region":[146],"discipline,":[147],"implemented":[151],"simple":[154],"interpreter":[155],"Python-like":[159],"syntax":[160],"and":[161,163],"semantics,":[162],"report":[164],"first":[167],"steps":[168],"integrating":[170],"it":[171],"language,":[175],"Python.":[176]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}