{"id":"https://openalex.org/W2987596169","doi":"https://doi.org/10.1145/3357223.3362739","title":"WormSpace","display_name":"WormSpace","publication_year":2019,"publication_date":"2019-11-11","ids":{"openalex":"https://openalex.org/W2987596169","doi":"https://doi.org/10.1145/3357223.3362739","mag":"2987596169"},"language":"en","primary_location":{"id":"doi:10.1145/3357223.3362739","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357223.3362739","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Symposium on Cloud Computing","raw_type":"proceedings-article"},"type":"conference-paper","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/A5059352538","display_name":"Ji-Yong Shin","orcid":"https://orcid.org/0000-0002-1595-4849"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ji-Yong Shin","raw_affiliation_strings":["Yale University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015256366","display_name":"Jieung Kim","orcid":"https://orcid.org/0000-0001-7581-041X"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jieung Kim","raw_affiliation_strings":["Yale University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013094136","display_name":"Wolf Honor\u00e9","orcid":"https://orcid.org/0000-0001-8524-1978"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wolf Honor\u00e9","raw_affiliation_strings":["Yale University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019333672","display_name":"Hern\u00e1n Vanzetto","orcid":null},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hern\u00e1n Vanzetto","raw_affiliation_strings":["Yale University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101042534","display_name":"Srihari Radhakrishnan","orcid":null},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Srihari Radhakrishnan","raw_affiliation_strings":["Duke University and Yale University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Duke University and Yale University","institution_ids":["https://openalex.org/I170897317","https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103479147","display_name":"Mahesh Balakrishnan","orcid":null},"institutions":[{"id":"https://openalex.org/I2252078561","display_name":"Meta (Israel)","ror":"https://ror.org/02388em19","country_code":"IL","type":"company","lineage":["https://openalex.org/I2252078561","https://openalex.org/I4210114444"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["IL","US"],"is_corresponding":false,"raw_author_name":"Mahesh Balakrishnan","raw_affiliation_strings":["Facebook, Inc. and Yale University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, Inc. and Yale University","institution_ids":["https://openalex.org/I2252078561","https://openalex.org/I32971472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070627140","display_name":"Zhong Shao","orcid":"https://orcid.org/0000-0001-8184-7649"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhong Shao","raw_affiliation_strings":["Yale University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2018,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.7735681,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"299","last_page":"311"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9919000267982483,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9908999800682068,"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.8876558542251587},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5314027070999146},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5110195875167847},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.49950623512268066},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.4851749539375305},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.43504929542541504},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.41841447353363037},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.376701295375824},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3054407238960266},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.2728775143623352}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8876558542251587},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5314027070999146},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5110195875167847},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.49950623512268066},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.4851749539375305},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.43504929542541504},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.41841447353363037},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.376701295375824},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3054407238960266},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.2728775143623352}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3357223.3362739","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357223.3362739","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Symposium on Cloud Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8349591344","display_name":null,"funder_award_id":"CCF-1637385, CCF-1521523, CCF-1763399, CNS-1715154","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W13821285","https://openalex.org/W85281776","https://openalex.org/W178848230","https://openalex.org/W1967597999","https://openalex.org/W1971191556","https://openalex.org/W2005216655","https://openalex.org/W2016404663","https://openalex.org/W2035069351","https://openalex.org/W2045362872","https://openalex.org/W2067740651","https://openalex.org/W2073742357","https://openalex.org/W2075854425","https://openalex.org/W2078375990","https://openalex.org/W2085407655","https://openalex.org/W2091389843","https://openalex.org/W2091776255","https://openalex.org/W2095770127","https://openalex.org/W2109213558","https://openalex.org/W2112088099","https://openalex.org/W2114407468","https://openalex.org/W2118726720","https://openalex.org/W2124119970","https://openalex.org/W2130427425","https://openalex.org/W2152465173","https://openalex.org/W2167814583","https://openalex.org/W2296772897","https://openalex.org/W2336977579","https://openalex.org/W2606939423","https://openalex.org/W2761236351","https://openalex.org/W2762625979","https://openalex.org/W2768537380","https://openalex.org/W2776248742","https://openalex.org/W2796523291","https://openalex.org/W2798365728","https://openalex.org/W2912556876","https://openalex.org/W2963870476","https://openalex.org/W4239018153","https://openalex.org/W4299301436","https://openalex.org/W6686169942"],"related_works":["https://openalex.org/W321339674","https://openalex.org/W2019062800","https://openalex.org/W2899146177","https://openalex.org/W2167421399","https://openalex.org/W2616010075","https://openalex.org/W1507160831","https://openalex.org/W2186490196","https://openalex.org/W3037230018","https://openalex.org/W3046485016","https://openalex.org/W3001586558"],"abstract_inverted_index":{"We":[0,77,105,140,158],"propose":[1],"the":[2,52,61,79,126,152,167,180,187,190],"Write-Once":[3],"Register":[4],"(WOR)":[5],"as":[6,43],"an":[7,93,135],"abstraction":[8,63],"for":[9,54,169],"building":[10],"and":[11,26,47,67,70,82,128,150,173],"verifying":[12],"distributed":[13,55,183],"systems.":[14],"A":[15],"WOR":[16,62,100],"exposes":[17],"a":[18,32,35,58,85,102,112,117,129,160,174],"simple,":[19,146],"data-centric":[20,59],"API:":[21],"clients":[22],"can":[23,30],"capture,":[24],"write,":[25],"read":[27],"it.":[28,76],"Applications":[29],"use":[31,159],"sequence":[33],"or":[34],"set":[36],"of":[37,72,84,96,138,154],"WORs":[38],"to":[39,148,165,178,189],"obtain":[40],"properties":[41],"such":[42],"durability,":[44],"concurrency":[45],"control,":[46],"failure":[48],"atomicity.":[49],"By":[50],"hiding":[51],"logic":[53],"coordination":[56],"underneath":[57],"API,":[60],"enables":[64],"easy,":[65],"incremental,":[66],"extensible":[68],"implementation":[69,120],"verification":[71,83,163],"applications":[73,108,144],"built":[74,109],"above":[75],"present":[78],"design,":[80],"implementation,":[81],"system":[86,177,184],"called":[87],"WormSpace":[88],"that":[89,133,142],"provides":[90],"developers":[91],"with":[92,121],"address":[94],"space":[95],"WORs,":[97],"implementing":[98],"each":[99],"via":[101],"Paxos":[103],"instance.":[104],"describe":[106],"three":[107],"over":[110],"WormSpace:":[111],"flexible,":[113],"efficient":[114],"Multi-Paxos":[115],"implementation;":[116],"shared":[118],"log":[119],"lower":[122],"append":[123],"latency":[124],"than":[125],"state-of-the-art;":[127],"fault-tolerant":[130],"transaction":[131],"coordinator":[132],"uses":[134],"optimal":[136],"number":[137],"round-trips.":[139],"show":[141],"these":[143],"are":[145],"easy":[147],"verify,":[149],"match":[151],"performance":[153],"unverified":[155],"monolithic":[156],"implementations.":[157],"modular":[161],"layered":[162],"approach":[164],"link":[166],"proofs":[168],"WormSpace,":[170],"its":[171],"applications,":[172],"verified":[175,182],"operating":[176,191],"produce":[179],"first":[181],"stack":[185],"from":[186],"application":[188],"system.":[192]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2019-11-22T00:00:00"}