{"id":"https://openalex.org/W2783561925","doi":"https://doi.org/10.1145/3200691.3178505","title":"Safe privatization in transactional memory","display_name":"Safe privatization in transactional memory","publication_year":2018,"publication_date":"2018-02-10","ids":{"openalex":"https://openalex.org/W2783561925","doi":"https://doi.org/10.1145/3200691.3178505","mag":"2783561925"},"language":"en","primary_location":{"id":"doi:10.1145/3200691.3178505","doi":"https://doi.org/10.1145/3200691.3178505","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3200691.3178505","pdf_url":null,"source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGPLAN Notices","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1801.04249","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029787951","display_name":"Artem Khyzha","orcid":"https://orcid.org/0000-0002-6781-9665","observed_orcids":["https://orcid.org/0000-0002-6781-9665"]},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Artem Khyzha","raw_affiliation_strings":["Universidad Polit\u00e9cnica de Madrid"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029333678","display_name":"Hagit Attiya","orcid":"https://orcid.org/0000-0002-8017-6457","observed_orcids":["https://orcid.org/0000-0002-8017-6457"]},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Hagit Attiya","raw_affiliation_strings":["Technion"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068242118","display_name":"Alexey Gotsman","orcid":"https://orcid.org/0000-0002-2454-4171","observed_orcids":["https://orcid.org/0000-0002-2454-4171"]},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Alexey Gotsman","raw_affiliation_strings":["IMDEA Software Institute"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082349206","display_name":"Noam Rinetzky","orcid":"https://orcid.org/0000-0002-7750-4085","observed_orcids":["https://orcid.org/0000-0002-7750-4085"]},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Noam Rinetzky","raw_affiliation_strings":["Tel-Aviv University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tel-Aviv University","institution_ids":["https://openalex.org/I16391192"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5877,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.71062039,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":97},"biblio":{"volume":"53","issue":"1","first_page":"233","last_page":"245"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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/T10126","display_name":"Logic, programming, and type systems","score":9.999999747378752e-05,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.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"}}],"keywords":[{"id":"https://openalex.org/keywords/transactional-memory","display_name":"transactional memory","score":1.0},{"id":"https://openalex.org/keywords/privatization","display_name":"privatization","score":0.8149999976158142},{"id":"https://openalex.org/keywords/opacity","display_name":"opacity","score":0.8840000033378601},{"id":"https://openalex.org/keywords/tl2","display_name":"Tl2S","score":0.5720000267028809},{"id":"https://openalex.org/keywords/concurrent-programming","display_name":"concurrent programming","score":0.5720000267028809}],"concepts":[{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.9710328578948975},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.914211094379425},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8877741694450378},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.8415046334266663},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.7570399045944214},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6835623979568481},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5460538864135742},{"id":"https://openalex.org/C68489960","wikidata":"https://www.wikidata.org/wiki/Q2370659","display_name":"Transactional leadership","level":2,"score":0.5433458089828491},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.5138102173805237},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5019772052764893},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4897606372833252},{"id":"https://openalex.org/C52723943","wikidata":"https://www.wikidata.org/wiki/Q1127410","display_name":"Serialization","level":2,"score":0.45390784740448},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34290239214897156},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32883352041244507},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.09484359622001648},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0791110098361969},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","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},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3200691.3178505","doi":"https://doi.org/10.1145/3200691.3178505","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3200691.3178505","pdf_url":null,"source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGPLAN Notices","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1801.04249","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1801.04249","pdf_url":"https://arxiv.org/pdf/1801.04249","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.1801.04249","doi":"https://doi.org/10.48550/arxiv.1801.04249","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1801.04249","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1801.04249","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1801.04249","pdf_url":"https://arxiv.org/pdf/1801.04249","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2783561925.pdf","grobid_xml":"https://content.openalex.org/works/W2783561925.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W8483295","https://openalex.org/W20815996","https://openalex.org/W1511597195","https://openalex.org/W1542975293","https://openalex.org/W1589458582","https://openalex.org/W1992490313","https://openalex.org/W2024601016","https://openalex.org/W2035134754","https://openalex.org/W2047791971","https://openalex.org/W2054739713","https://openalex.org/W2055100610","https://openalex.org/W2064214512","https://openalex.org/W2074894539","https://openalex.org/W2083265143","https://openalex.org/W2091085450","https://openalex.org/W2094222793","https://openalex.org/W2095825766","https://openalex.org/W2101397060","https://openalex.org/W2108140316","https://openalex.org/W2113751407","https://openalex.org/W2126484338","https://openalex.org/W2128585185","https://openalex.org/W2129240242","https://openalex.org/W2133108345","https://openalex.org/W2135430119","https://openalex.org/W2138411837","https://openalex.org/W2139533136","https://openalex.org/W2152988224","https://openalex.org/W2155500238","https://openalex.org/W2158947256","https://openalex.org/W2163654949","https://openalex.org/W2166266685","https://openalex.org/W2167729440","https://openalex.org/W2752919173","https://openalex.org/W2769656678","https://openalex.org/W2955325419","https://openalex.org/W4206635466","https://openalex.org/W4231636159","https://openalex.org/W4232125260","https://openalex.org/W4298077439"],"related_works":["https://openalex.org/W2964778712","https://openalex.org/W2982595615","https://openalex.org/W1606394956","https://openalex.org/W4224046843","https://openalex.org/W4401020151","https://openalex.org/W2060499019","https://openalex.org/W7101170918","https://openalex.org/W2243907423","https://openalex.org/W2560269369","https://openalex.org/W1962750016"],"abstract_inverted_index":{"Transactional":[0],"memory":[1],"(TM)":[2],"facilitates":[3],"the":[4,11,28,52,99,197,211,232],"development":[5],"of":[6,150,159,226],"concurrent":[7],"applications":[8],"by":[9],"letting":[10],"programmer":[12,212],"designate":[13],"certain":[14,90,182],"code":[15],"blocks":[16],"as":[17,64],"atomic.":[18],"Programmers":[19],"using":[20,189],"a":[21,109,120,147,172,178,181,187,220],"TM":[22,53,121,179],"often":[23,126],"would":[24,49],"like":[25,51],"to":[26,37,41,54,70,213,231],"access":[27],"same":[29],"data":[30],"both":[31],"inside":[32],"and":[33,174,186,228],"outside":[34],"transactions,":[35],"e.g.,":[36],"improve":[38],"performance":[39],"or":[40],"support":[42],"legacy":[43],"code.":[44],"In":[45,166],"this":[46,125,167],"case,":[47],"programmers":[48],"ideally":[50],"guarantee":[55],"strong":[56,75,194],"atomicity":[57,76],",":[58,132],"where":[59],"transactions":[60,138],"can":[61,112],"be":[62,113],"viewed":[63],"executing":[65],"atomically":[66],"also":[67,218],"with":[68],"respect":[69],"non-transactional":[71],"accesses.":[72],"Since":[73],"guaranteeing":[74,86],"for":[77,89,222],"arbitrary":[78],"programs":[79],"is":[80,122,142,191],"prohibitively":[81],"expensive,":[82],"researchers":[83],"have":[84],"suggested":[85],"it":[87,190,230],"only":[88],"data-race":[91],"free":[92],"(DRF)":[93],"programs,":[94],"particularly":[95],"those":[96],"that":[97,108,206],"follow":[98],"privatization":[100,117,215],"idiom:":[101],"from":[102],"some":[103],"point":[104],"on,":[105],"threads":[106],"agree":[107],"given":[110],"object":[111],"accessed":[114],"non-transactionally.":[115],"Supporting":[116],"safely":[118],"in":[119,153],"nontrivial,":[123],"because":[124,155],"requires":[127],"correctly":[128],"inserting":[129],"transactional":[130,151,164],"fences":[131],"which":[133],"wait":[134],"until":[135],"all":[136],"active":[137],"complete.":[139],"Unfortunately,":[140],"there":[141],"currently":[143],"no":[144,156],"consensus":[145],"on":[146],"single":[148],"definition":[149],"DRF,":[152],"particular,":[154],"existing":[157],"notion":[158,173,209],"DRF":[160,192,208],"takes":[161],"into":[162],"account":[163],"fences.":[165],"paper":[168],"we":[169],"propose":[170,219],"such":[171],"prove":[175],"that,":[176],"if":[177],"satisfies":[180],"condition":[183],"generalizing":[184],"opacity":[185,227],"program":[188,198],"assuming":[193],"atomicity,":[195],"then":[196],"indeed":[199],"has":[200],"strongly":[201],"atomic":[202],"semantics.":[203],"We":[204,217],"show":[205],"our":[207,224],"allows":[210],"use":[214],"idioms.":[216],"method":[221],"proving":[223],"generalization":[225],"apply":[229],"TL2":[233],"TM.":[234]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":3}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2018-01-26T00:00:00"}