{"id":"https://openalex.org/W2963710593","doi":"https://doi.org/10.1145/3293611.3331595","title":"On the Parallels between Paxos and Raft, and how to Port Optimizations","display_name":"On the Parallels between Paxos and Raft, and how to Port Optimizations","publication_year":2019,"publication_date":"2019-07-16","ids":{"openalex":"https://openalex.org/W2963710593","doi":"https://doi.org/10.1145/3293611.3331595","mag":"2963710593"},"language":"en","primary_location":{"id":"doi:10.1145/3293611.3331595","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3293611.3331595","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3293611.3331595","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3293611.3331595","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101743342","display_name":"Zhaoguo Wang","orcid":"https://orcid.org/0000-0002-0220-5726"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhaoguo Wang","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088234782","display_name":"Changgeng Zhao","orcid":null},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Changgeng Zhao","raw_affiliation_strings":["New York University, New York, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"New York University, New York, NY, USA","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050543806","display_name":"Shuai Mu","orcid":"https://orcid.org/0000-0001-8244-2109"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shuai Mu","raw_affiliation_strings":["Stony Brook University, Stony Brook, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stony Brook University, Stony Brook, NY, USA","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100406215","display_name":"Haibo Chen","orcid":"https://orcid.org/0000-0002-9720-0361"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haibo Chen","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100320436","display_name":"Jinyang Li","orcid":"https://orcid.org/0009-0000-6057-8937"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jinyang Li","raw_affiliation_strings":["New York University, New York, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"New York University, New York, NY, USA","institution_ids":["https://openalex.org/I57206974"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.3644,"has_fulltext":true,"cited_by_count":29,"citation_normalized_percentile":{"value":0.93519501,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"445","last_page":"454"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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":0.9955000281333923,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/raft","display_name":"Raft","score":0.9438230395317078},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7723801136016846},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5866255164146423},{"id":"https://openalex.org/keywords/port","display_name":"Port (circuit theory)","score":0.4831666350364685},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4321087896823883},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4231041669845581},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.0948978066444397},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08906573057174683}],"concepts":[{"id":"https://openalex.org/C9132879","wikidata":"https://www.wikidata.org/wiki/Q17100313","display_name":"Raft","level":4,"score":0.9438230395317078},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7723801136016846},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5866255164146423},{"id":"https://openalex.org/C32802771","wikidata":"https://www.wikidata.org/wiki/Q2443617","display_name":"Port (circuit theory)","level":2,"score":0.4831666350364685},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4321087896823883},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4231041669845581},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0948978066444397},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08906573057174683},{"id":"https://openalex.org/C15920480","wikidata":"https://www.wikidata.org/wiki/Q421281","display_name":"Copolymer","level":3,"score":0.0},{"id":"https://openalex.org/C521977710","wikidata":"https://www.wikidata.org/wiki/Q81163","display_name":"Polymer","level":2,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3293611.3331595","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3293611.3331595","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3293611.3331595","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3293611.3331595","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3293611.3331595","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3293611.3331595","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.5099999904632568,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G1084569400","display_name":null,"funder_award_id":"CNS-1514422","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1347860244","display_name":null,"funder_award_id":"FA9550-15-1-0302","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G3662631253","display_name":null,"funder_award_id":"CNS-1409942","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3873801846","display_name":"TWC: Medium: Scaling proof-based verifiable computation","funder_award_id":"1514422","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5495224840","display_name":"CSR: Medium: Building next-generation cloud infrastructure using RDMA","funder_award_id":"1409942","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"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2963710593.pdf","grobid_xml":"https://content.openalex.org/works/W2963710593.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W87932605","https://openalex.org/W192446467","https://openalex.org/W1492220819","https://openalex.org/W1504504841","https://openalex.org/W1642392512","https://openalex.org/W1814543774","https://openalex.org/W1862208438","https://openalex.org/W2000832815","https://openalex.org/W2000892107","https://openalex.org/W2004964495","https://openalex.org/W2008698663","https://openalex.org/W2014171825","https://openalex.org/W2067740651","https://openalex.org/W2072811945","https://openalex.org/W2086862936","https://openalex.org/W2102226439","https://openalex.org/W2106670435","https://openalex.org/W2109213558","https://openalex.org/W2118726720","https://openalex.org/W2126087831","https://openalex.org/W2130566110","https://openalex.org/W2131848219","https://openalex.org/W2132107743","https://openalex.org/W2133943294","https://openalex.org/W2156580773","https://openalex.org/W2167100431","https://openalex.org/W2168105523","https://openalex.org/W2182688186","https://openalex.org/W2293633413","https://openalex.org/W2294934895","https://openalex.org/W2769218926","https://openalex.org/W2912556876","https://openalex.org/W2929535911","https://openalex.org/W2945487284","https://openalex.org/W3100217861"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1590965489","https://openalex.org/W1875930651"],"abstract_inverted_index":{"In":[0,42,69],"recent":[1],"years,":[2],"Raft":[3,33,51],"has":[4,30],"surpassed":[5],"Paxos":[6,35,66,95],"to":[7,39,58,67,98],"become":[8],"the":[9,15,22,25],"more":[10],"popular":[11],"consensus":[12],"protocol":[13,79],"in":[14],"industry.":[16],"While":[17],"many":[18],"researchers":[19],"have":[20],"observed":[21],"similarities":[23],"between":[24,50],"two":[26,91],"protocols,":[27],"no":[28],"one":[29],"shown":[31],"how":[32],"and":[34,52,54,89,94],"are":[36],"formally":[37],"related":[38],"each":[40],"other.":[41],"this":[43,56],"paper,":[44],"we":[45,87],"present":[46],"a":[47,60],"formal":[48],"mapping":[49],"Paxos,":[53],"use":[55],"knowledge":[57],"port":[59,88],"certain":[61],"class":[62],"of":[63],"optimizations":[64],"from":[65],"Raft.":[68,99],"particular,":[70],"our":[71],"porting":[72],"method":[73],"can":[74],"automatically":[75],"generate":[76],"an":[77],"optimized":[78],"specification":[80],"with":[81],"guaranteed":[82],"correctness.":[83],"As":[84],"case":[85],"studies,":[86],"evaluate":[90],"optimizations,":[92],"Mencius":[93],"Quorum":[96],"Lease":[97]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}