{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T08:48:17Z","timestamp":1759826897167,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T00:00:00Z","timestamp":1687132800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Research Council of Norway - Credence","award":["288126"],"award-info":[{"award-number":["288126"]}]},{"name":"Research Council of Norway - BBChain","award":["274451"],"award-info":[{"award-number":["274451"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,6,19]]},"DOI":"10.1145\/3584684.3597266","type":"proceedings-article","created":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T15:01:25Z","timestamp":1687273285000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["An Extensible Framework for Implementing and Validating Byzantine Fault-Tolerant Protocols"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8524-161X","authenticated-orcid":false,"given":"Hanish","family":"Gogada","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Stavanger, Stavanger, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8564-2218","authenticated-orcid":false,"given":"Hein","family":"Meling","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Stavanger, Stavanger, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4465-540X","authenticated-orcid":false,"given":"Leander","family":"Jehl","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Stavanger, Stavanger, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4591-9606","authenticated-orcid":false,"given":"John Ingve","family":"Olsen","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Stavanger, Stavanger, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,6,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2658994"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2004.10617"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.43"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03329-3_15"},{"key":"e_1_3_2_1_5_1","unstructured":"Ethan Buchman. 2016. Tendermint: Byzantine Fault Tolerance in the Age of Blockchains. Ph.D. Dissertation. University of Guelph Guelph ON Canada.  Ethan Buchman. 2016. Tendermint: Byzantine Fault Tolerance in the Age of Blockchains. Ph.D. Dissertation. University of Guelph Guelph ON Canada."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1710.09437"},{"key":"e_1_3_2_1_7_1","volume-title":"Introduction to Reliable and Secure Distributed Programming","author":"Cachin Christian","unstructured":"Christian Cachin , Rachid Guerraoui , and Lus Rodrigues . 2011. Introduction to Reliable and Secure Distributed Programming ( 2 nd ed.). Springer Publishing Company, Inc orporated, Salmon Tower Building, New York City, USA. Christian Cachin, Rachid Guerraoui, and Lus Rodrigues. 2011. Introduction to Reliable and Secure Distributed Programming (2nd ed.). Springer Publishing Company, Incorporated, Salmon Tower Building, New York City, USA.","edition":"2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/296806.296824"},{"key":"e_1_3_2_1_9_1","unstructured":"Neil Giridharan Heidi Howard Ittai Abraham Natacha Crooks and Alin Tomescu. 2021. No-Commit Proofs: Defeating Livelock in BFT. Cryptology ePrint Archive Paper 2021\/1308. https:\/\/eprint.iacr.org\/2021\/1308  Neil Giridharan Heidi Howard Ittai Abraham Natacha Crooks and Alin Tomescu. 2021. No-Commit Proofs: Defeating Livelock in BFT. Cryptology ePrint Archive Paper 2021\/1308. https:\/\/eprint.iacr.org\/2021\/1308"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2019.00063"},{"key":"e_1_3_2_1_11_1","unstructured":"Google. 2022. gRPC: A high performance open source universal RPC framework. https:\/\/grpc.io Accessed: 2022-05-24.  Google. 2022. gRPC: A high performance open source universal RPC framework. https:\/\/grpc.io Accessed: 2022-05-24."},{"key":"e_1_3_2_1_12_1","unstructured":"Google. 2022. Protocol Buffers. https:\/\/developers.google.com\/protocol-buffers Accessed: 2022-05-24.  Google. 2022. Protocol Buffers. https:\/\/developers.google.com\/protocol-buffers Accessed: 2022-05-24."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.67579"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2010.11454"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-78089-0_13"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1658357.1658358"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357176"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2017.166"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1566966.1566967"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSC.2001.919005"},{"key":"e_1_3_2_1_22_1","volume-title":"Measuring reproducibility in computer systems research. PLoS Comput Biol 9","author":"Moraila Gina","year":"2014","unstructured":"Gina Moraila , Akash Shankaran , Zuoming Shi , and Alex M Warren . 2014. Measuring reproducibility in computer systems research. PLoS Comput Biol 9 ( 2014 ), 37 pages. Gina Moraila, Akash Shankaran, Zuoming Shi, and Alex M Warren. 2014. Measuring reproducibility in computer systems research. PLoS Comput Biol 9 (2014), 37 pages."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN53405.2022.00018"},{"key":"e_1_3_2_1_25_1","unstructured":"The Diem Team. 2021. DiemBFT v4: State Machine Replication in the Diem Blockchain. https:\/\/developers.diem.com\/papers\/diem-consensus-state-machine-replication-in-the-diem-blockchain\/2021-08-17.pdf  The Diem Team. 2021. DiemBFT v4: State Machine Replication in the Diem Blockchain. https:\/\/developers.diem.com\/papers\/diem-consensus-state-machine-replication-in-the-diem-blockchain\/2021-08-17.pdf"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276499"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293611.3331591"},{"volume-title":"Model Checking TLA+ Specifications","author":"Yu Yuan","key":"e_1_3_2_1_28_1","unstructured":"Yuan Yu , Panagiotis Manolios , and Leslie Lamport . 1999. Model Checking TLA+ Specifications . In Correct Hardware Design and Verification Methods, Laurence Pierre and Thomas Kropf (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 54--66. Yuan Yu, Panagiotis Manolios, and Leslie Lamport. 1999. Model Checking TLA+ Specifications. In Correct Hardware Design and Verification Methods, Laurence Pierre and Thomas Kropf (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 54--66."}],"event":{"name":"ApPLIED 2023: 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Orlando FL USA","acronym":"ApPLIED 2023"},"container-title":["Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3584684.3597266","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3584684.3597266","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:59Z","timestamp":1750268999000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3584684.3597266"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,19]]},"references-count":27,"alternative-id":["10.1145\/3584684.3597266","10.1145\/3584684"],"URL":"https:\/\/doi.org\/10.1145\/3584684.3597266","relation":{},"subject":[],"published":{"date-parts":[[2023,6,19]]},"assertion":[{"value":"2023-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}