Publications

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


Works in Progress

A Generalised Solution to Distributed Consensus
Heidi Howard, Richard Mortier.
[paper: arXiv]


Conference & Journal Papers

Flexible Paxos: Quorum intersection revisited
Heidi Howard, Dahlia Malkhi, Alexander Spiegelman
20th International Conference on Principles of Distributed Systems (OPODIS 2016)
[paper: pdf, arXiv preprint]

Personal Data: Thinking Inside the Box
Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier
5th Decennial ACM Aarhus Conference: Critical Alternatives
[paper: pdfarXiv preprint]
[discussion: GuardianMIT Technology Review, Treasury Insider,themorningpaper]

Raft Refloated: Do We Have Consensus?
Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy, Jon Crowcroft
SIGOPS Operating Systems Review
[paper: pdf, abstract]
[discussion: hackernews, themorningpaper]

Lost in the Edge: Finding Your Way with DNSSEC Signposts
Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry, Jon Crowcroft
3rd USENIX Workshop on Free and Open Communications on the Internet (FOCI 2013)
[paper: pdf, abstractciteseerx]
[talk: slides]


Theses

Distributed Consensus Revised
Heidi Howard
PhD Thesis, University of Cambridge
Computer Laboratory, UCAM-CL-TR-935, 2019
[report: pdf, abstract]

ARC: Analysis of Raft Consensus
Heidi Howard
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]

Providing Security for Wireless Community Networks
ACM MobiCom Workshop on Lowest Cost Denominator Networking for Universal Access  (LCDNet 2013), September 2013
Milena Radenkovic, Heidi Howard, Jon Crowcroft, Murray Goulden, Christian Greiffenhagen, Derek Mcauley, Richard Mortier.
[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]