{"id":"https://openalex.org/W4285012708","doi":"https://doi.org/10.1145/3490148.3538568","title":"PREP-UC","display_name":"PREP-UC","publication_year":2022,"publication_date":"2022-07-10","ids":{"openalex":"https://openalex.org/W4285012708","doi":"https://doi.org/10.1145/3490148.3538568"},"language":"en","primary_location":{"id":"doi:10.1145/3490148.3538568","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3490148.3538568","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028523804","display_name":"Gaetano Coccimiglio","orcid":"https://orcid.org/0000-0001-5203-1923"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Gaetano C. Coccimiglio","raw_affiliation_strings":["University of Waterloo, Waterloo, ON, Canada"],"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101944739","display_name":"Trevor Brown","orcid":"https://orcid.org/0000-0002-0074-1031"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Trevor A. Brown","raw_affiliation_strings":["University of Waterloo, Waterloo, ON, Canada"],"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090605375","display_name":"Srivatsan Ravi","orcid":"https://orcid.org/0000-0002-2965-3940"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Srivatsan Ravi","raw_affiliation_strings":["University of Southern California, Los Angeles, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5028523804"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":0.1381,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.45577682,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"217","last_page":"229"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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":0.9998999834060669,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.992900013923645,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9904999732971191,"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/linearizability","display_name":"Linearizability","score":0.8968930244445801},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7721507549285889},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7443174123764038},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6071985960006714},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.5979593992233276},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.5111404061317444},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5002589225769043},{"id":"https://openalex.org/keywords/concurrent-data-structure","display_name":"Concurrent data structure","score":0.47921377420425415},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.4756954610347748},{"id":"https://openalex.org/keywords/crash","display_name":"Crash","score":0.4740961492061615},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4234165847301483},{"id":"https://openalex.org/keywords/replication","display_name":"Replication (statistics)","score":0.4176121652126312},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4007958769798279},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23028168082237244},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09716075658798218}],"concepts":[{"id":"https://openalex.org/C20528329","wikidata":"https://www.wikidata.org/wiki/Q513932","display_name":"Linearizability","level":3,"score":0.8968930244445801},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7721507549285889},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7443174123764038},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6071985960006714},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.5979593992233276},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.5111404061317444},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5002589225769043},{"id":"https://openalex.org/C203222032","wikidata":"https://www.wikidata.org/wiki/Q5159104","display_name":"Concurrent data structure","level":3,"score":0.47921377420425415},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.4756954610347748},{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.4740961492061615},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4234165847301483},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.4176121652126312},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4007958769798279},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23028168082237244},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09716075658798218},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3490148.3538568","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3490148.3538568","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G5216405103","display_name":null,"funder_award_id":"CRDPJ 539431-19, DGECR-2019-00048, RGPIN-2019-04227","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G6460065937","display_name":null,"funder_award_id":"38512","funder_id":"https://openalex.org/F4320319952","funder_display_name":"Canada Foundation for Innovation"}],"funders":[{"id":"https://openalex.org/F4320319952","display_name":"Canada Foundation for Innovation","ror":"https://ror.org/000az4664"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1498180539","https://openalex.org/W1606621385","https://openalex.org/W1963645828","https://openalex.org/W2015121269","https://openalex.org/W2073407658","https://openalex.org/W2085407655","https://openalex.org/W2132220514","https://openalex.org/W2579368542","https://openalex.org/W2769196024","https://openalex.org/W2787794676","https://openalex.org/W2794717842","https://openalex.org/W2809467539","https://openalex.org/W2884482743","https://openalex.org/W2980112323","https://openalex.org/W3000335563","https://openalex.org/W3000408542","https://openalex.org/W3007364590","https://openalex.org/W3010879772","https://openalex.org/W3023273829","https://openalex.org/W3033595267","https://openalex.org/W3105284368","https://openalex.org/W3111559117","https://openalex.org/W3175622044","https://openalex.org/W4210517351","https://openalex.org/W4220719345","https://openalex.org/W4232173435","https://openalex.org/W4236320372","https://openalex.org/W4241729479","https://openalex.org/W4243210229","https://openalex.org/W4244155122","https://openalex.org/W4247726910","https://openalex.org/W4255867337"],"related_works":["https://openalex.org/W2588901507","https://openalex.org/W2401048407","https://openalex.org/W1506186203","https://openalex.org/W2762846896","https://openalex.org/W2033757118","https://openalex.org/W2792521528","https://openalex.org/W2304365713","https://openalex.org/W3197177433","https://openalex.org/W4293865043","https://openalex.org/W3037718968"],"abstract_inverted_index":{"The":[0,16],"process":[1,59],"of":[2,20,60,85,92,107,138,155,166,218],"designing":[3,30],"and":[4,12,63,181,188],"implementing":[5,95],"correct":[6,62,96],"concurrent":[7,31,53,72,97,116],"data":[8,32,40,54,98],"structures":[9,33,55],"is":[10],"non-trivial":[11],"often":[13],"error":[14],"prone.":[15],"recent":[17],"commercial":[18],"availability":[19],"non-volatile":[21],"memory":[22,88],"has":[23],"prompted":[24],"many":[25],"researchers":[26],"to":[27,42,168],"also":[28,213],"consider":[29],"that":[34,123,143,201,220],"persist":[35],"shared":[36,87],"state":[37],"allowing":[38],"the":[39,58,83,124,135,151,164,195,215],"structure":[41],"be":[43,127,222],"recovered":[44,128],"following":[45,129,173],"a":[46,71,75,90,105,115,119,130,174,184,189,225],"power":[47],"failure.":[48],"These":[49],"so":[50],"called":[51],"persistent":[52,108],"further":[56],"complicate":[57],"achieving":[61],"efficient":[64],"implementations.":[65],"Universal":[66],"constructions":[67,110],"(UCs)":[68],"which":[69,112,141],"produce":[70],"object":[73,117,125],"given":[74],"sequential":[76,120],"object,":[77,121],"have":[78],"been":[79],"studied":[80],"extensively":[81],"in":[82],"space":[84],"volatile":[86],"as":[89],"means":[91],"more":[93],"easily":[94],"structures.":[99],"In":[100,176],"contrast,":[101],"there":[102],"are":[103,145],"only":[104],"handful":[106],"universal":[109],"(PUCs)":[111],"beyond":[113],"producing":[114],"from":[118],"guarantees":[122],"can":[126,203,221],"crash.":[131,175,226],"Existing":[132],"PUCs":[133],"satisfy":[134],"correctness":[136,153],"condition":[137,154],"durable":[139,157,186,190,210],"linearizability":[140,158,211],"requires":[142],"operations":[144,172,219],"persisted":[146],"before":[147],"they":[148],"complete.":[149],"Satisfying":[150],"weaker":[152],"buffered":[156,185,209],"allows":[159],"for":[160],"improved":[161],"performance":[162,207],"at":[163],"cost":[165],"failing":[167],"recover":[169],"some":[170],"completed":[171],"this":[177],"work":[178],"we":[179,202],"design":[180],"implement":[182],"both":[183],"linearizable":[187,191],"PUC":[192],"based":[193],"on":[194],"node":[196],"replication":[197],"UC.":[198],"We":[199],"demonstrate":[200],"achieve":[204],"significantly":[205],"better":[206],"satisfying":[208],"while":[212],"restricting":[214],"maximum":[216],"number":[217],"lost":[223],"after":[224]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-07-12T00:00:00"}