Publications

Google Scholar | dblp | arXiv | ORCID | ACM-DL

Works in Progress
  • Michael Whittaker, Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas, Neil Giridharan, Joseph M. Hellerstein, Heidi Howard, Ion Stoica, Adriana Szekeres. Scaling Replicated State Machines with Compartmentalization. [paper: arXiv]
  • Martin Kleppmann, Heidi Howard. Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases [paper: arXiv]
  • Michael Whittaker, Neil Giridharan, Adriana Szekeres, Joseph M. Hellerstein, Heidi Howard, Faisal Nawab, Ion Stoica. Matchmaker Paxos: A Reconfigurable Consensus Protocol [technical report: pdf]
  • Heidi Howard, Richard Mortier. A Generalised Solution to Distributed Consensus [paper: arXiv]
Papers
  • Michael Whittaker, Aleksey Charapko, Joseph M. Hellerstein, Heidi Howard, Ion Stoica. Read-Write Quorum Systems Made Practical. 8th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), 2021 [paper: arXiv]
  • Andrew Jeffery, Heidi Howard, Richard Mortier. Rearchitecting Kubernetes for the Edge. 4th International Workshop on Edge Systems, Analytics, and Networking (EdgeSys), 2021 [paper: arXiv]
  • Chris Jensen, Heidi Howard, and Richard Mortier. Examining Raft’s behaviour during partial network failures. 1st Workshop on High Availability and Observability of Cloud Systems (HAOC), 2021
  • Heidi Howard, Aleksey Charapko, Richard Mortier. Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos. 22nd International Conference on Distributed Computing and Networking (ICDCN), 2021 [paper: arXiv]
  • Heidi Howard, Richard Mortier. Paxos vs Raft: Have we reached consensus on distributed consensus? 7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), 2020 [paper: arXiv]
  • Heidi Howard, Dahlia Malkhi, Alexander Spiegelman. Flexible Paxos: Quorum intersection revisited. 20th International Conference on Principles of Distributed Systems (OPODIS), 2016 [paper: pdf, arXiv]
  • Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier. Personal Data: Thinking Inside the Box. 5th Decennial ACM Aarhus Conference: Critical Alternatives, 2015 [paper: pdf, arXiv] [discussion: Guardian, MIT Technology Review, Treasury Insider,themorningpaper]
  • Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy, Jon Crowcroft. Raft Refloated: Do We Have Consensus? SIGOPS Operating Systems Review [paper: pdf, abstract] [discussion: hackernews, themorningpaper]
  • Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry, Jon Crowcroft. Lost in the Edge: Finding Your Way with DNSSEC Signposts. 3rd USENIX Workshop on Free and Open Communications on the Internet (FOCI),  2013 [paper: pdf, abstract, citeseerx] [talk: slides]
Theses
  • Heidi Howard. Distributed Consensus Revised. PhD Thesis, University of Cambridge, Computer Laboratory, UCAM-CL-TR-935, 2019 [report: pdf, abstract]
  • Heidi Howard. ARC: Analysis of Raft Consensus. Bachelor’s Thesis, University of Cambridge Computer Laboratory, UCAM-CL-TR-857, 2014 [report: pdf, abstract] [discussion: hackernews]
Posters & Demos
  • Coracle: Evaluating consensus at the internet edge. ACM SIGCOMM 2015, August 2015 [poster: abstract] [poster: pdf]
  • Unanimous:In Pursuit of Consensus at the Internet Edge. Microsoft Research PhD Summer School and EuroSys Student Workshop, July 2015, Cambridge [poster: pdf, abstract]
  • Life on the Edge: New Abstractions for Edge Network Distributed Computing. 2nd Oxbridge Women in Computer Science Conference, Oxford University, March 2015 [poster: pdf]
  • Milena Radenkovic, Heidi Howard, Jon Crowcroft, Murray Goulden, Christian Greiffenhagen, Derek Mcauley, Richard Mortier. Providing Security for Wireless Community Networks. ACM MobiCom Workshop on Lowest Cost Denominator Networking for Universal Access  (LCDNet 2013), September 2013 [poster: abstract]
  • Routers that pay their own way in the world: Micropayment incentivised BitTorrent at the internet gateway with algorithm trading. BCSWomen Lovelace Colloquium, Nottingham April 2013 [poster: pdf]
  • DEMO: Signposts: End-to-End Networking in a World of Middleboxes. Digital Futures 2012: 3rd Annual Digital Economy All Hands Conference, Aberdeen October 2012
  • Signposts: Persistent names to reach moving targets. Making the Most of Mobile Workshop, Cambridge September 2012 [poster: pdf]
  • PROTON: Programming Testing Online. BCSWomen Lovelace Colloquium, Bath April 2012 [photos: flickr]