Heidi Howard

According to our database1, Heidi Howard authored at least 24 papers between 2007 and 2022.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


It's not easy to relax: liveness in chained BFT protocols.
CoRR, 2022

Brief Announcement: It's not easy to relax: liveness in chained BFT protocols.
Proceedings of the 36th International Symposium on Distributed Computing, 2022

Relaxed Paxos: quorum intersection revisited (again).
Proceedings of the PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5, 2022

Scaling Replicated State Machines with Compartmentalization.
Proc. VLDB Endow., 2021

No-Commit Proofs: Defeating Livelock in BFT.
IACR Cryptol. ePrint Arch., 2021

Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos.
Proceedings of the ICDCN '21: International Conference on Distributed Computing and Networking, 2021

Read-Write Quorum Systems Made Practical.
Proceedings of the PaPoC@EuroSys 2021, 2021

Examining Raft's behaviour during partial network failures.
Proceedings of the HAOC '21: Proceedings of the 1st Workshop on High Availability and Observability of Cloud Systems, 2021

Rearchitecting Kubernetes for the Edge.
Proceedings of the EdgeSys@EuroSys 2021: 4th International Workshop on Edge Systems, 2021

Scaling Replicated State Machines with Compartmentalization [Technical Report].
CoRR, 2020

Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases.
CoRR, 2020

Matchmaker Paxos: A Reconfigurable Consensus Protocol [Technical Report].
CoRR, 2020

Paxos vs Raft: have we reached consensus on distributed consensus?
Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, 2020

A Generalised Solution to Distributed Consensus.
CoRR, 2019

Revisiting the Paxos Foundations: A Look at Summer Internship Work at VMware Research.
ACM SIGOPS Oper. Syst. Rev., 2017

Flexible Paxos: Quorum Intersection Revisited.
Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

Raft Refloated: Do We Have Consensus?
ACM SIGOPS Oper. Syst. Rev., 2015

Personal Data: Thinking Inside the Box.
CoRR, 2015

Coracle: Evaluating Consensus at the Internet Edge.
Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, 2015

Personal data: thinking inside the box.
Proceedings of The Fifth Decennial Aarhus Conference on Critical Alternatives, 2015

Lost in the Edge: Finding Your Way with DNSSEC Signposts.
Proceedings of the 3rd USENIX Workshop on Free and Open Communications on the Internet, 2013

Providing security for wireless community networks.
Proceedings of the 2013 ACM MobiCom workshop on Lowest cost denominator networking for universal access, 2013

Combining stratification and up-scaling method-block cokriging with remote sensing imagery for sampling and mapping an erosion cover factor.
Ecol. Informatics, 2007

Understanding Linear Regression for Wireless Sensor Network Time Synchronization.
Proceedings of the 2007 International Conference on Wireless Networks, 2007