Heidi Howard
University of Cambridge
H-index: 13
Europe-United Kingdom
Top articles of Heidi Howard
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Two-Round Byzantine Fault Tolerant (BFT) State Machine Replication (SMR) Protocol with Linear Authenticator Complexity and Optimistic Responsiveness | 2023/11/7 | ||
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing | arXiv preprint arXiv:2404.18048 | William Schultz Edward Ashton Heidi Howard Stavros Tripakis | 2024/4/28 |
Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple | Chris Jensen Heidi Howard Antonios Katsarakis Richard Mortier | 2024/4/22 | |
Bigger, not Badder: Safely Scaling BFT Protocols | David CY Chu Chris Liu Natacha Crooks Joseph M Hellerstein Heidi Howard | 2024/4/22 | |
Optimizing Distributed Protocols with Query Rewrites | Proceedings of the ACM on Management of Data | David CY Chu Rithvik Panchapakesan Shadaj Laddad Lucky E Katahanas Chris Liu | 2024/3/26 |
Mutating etcd Towards Edge Suitability | arXiv preprint arXiv:2311.09929 | Andrew Jeffery Heidi Howard Richard Mortier | 2023/11/16 |
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability | arXiv preprint arXiv:2310.11559 | Heidi Howard Fritz Alder Edward Ashton Amaury Chamayou Sylvan Clebsch | 2023/10/17 |
BeeGees: stayin'alive in chained BFT | Neil Giridharan Florian Suri-Payer Matthew Ding Heidi Howard Ittai Abraham | 2023/6/19 | |
Relaxed Paxos: quorum intersection revisited (again) | Heidi Howard Richard Mortier | 2022/4/5 | |
Brief Announcement: It’s not easy to relax: liveness in chained BFT protocols | Ittai Abraham Natacha Crooks Neil Giridharan Heidi Howard Florian Suri-Payer | 2022 | |
Relaxed Paxos | Heidi Howard Richard Mortier | 2022/4/5 | |
Rearchitecting kubernetes for the edge | Andrew Jeffery Heidi Howard Richard Mortier | 2021/4/26 | |
Matchmaker paxos: A reconfigurable consensus protocol | arXiv preprint arXiv:2007.09468 | Michael Whittaker Neil Giridharan Adriana Szekeres Joseph M Hellerstein Heidi Howard | 2020/7/18 |
Fast flexible paxos: Relaxing quorum intersection for fast paxos | Heidi Howard Aleksey Charapko Richard Mortier | 2021/1/5 | |
Scaling replicated state machines with compartmentalization | Proceedings of the VLDB Endowment | Michael Whittaker Ailidani Ailijiang Aleksey Charapko Murat Demirbas Neil Giridharan | 2021/7/1 |
Examining Raft's behaviour during partial network failures | Chris Jensen Heidi Howard Richard Mortier | 2021/4/26 | |
No-commit proofs: Defeating livelock in bft | Cryptology ePrint Archive | Neil Giridharan Heidi Howard Ittai Abraham Natacha Crooks Alin Tomescu | 2021 |
Read-write quorum systems made practical | Michael Whittaker Aleksey Charapko Joseph M Hellerstein Heidi Howard Ion Stoica | 2021/4/26 | |
Paxos vs Raft: Have we reached consensus on distributed consensus? | Heidi Howard Richard Mortier | 2020/4/27 | |
Byzantine eventual consistency and the fundamental limits of peer-to-peer databases | arXiv preprint arXiv:2012.00472 | Martin Kleppmann Heidi Howard | 2020/12/1 |