Publications

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

Papers

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

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

Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy and 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, and Jon Crowcroft.
Lost in the Edge: Finding Your Way with DNSSEC Signposts.
3rd USENIX Workshop on Free and Open Communications on the Internet
[paper: pdf, abstractciteseerx]
[talk: slides]

Milena Radenkovic, Heidi Howard, Jon Crowcroft, Murray Goulden, Christian Greiffenhagen, Derek Mcauley, Richard Mortier.
Providing Security for Wireless Community Networks.
LCDNet’13:ACM MobiCom Workshop on Lowest Cost Denominator Networking for Universal Access
[paper: pdf]


Technial Reports

Heidi Howard.
ARC: Analysis of Raft Consensus.
University of Cambridge, Computer Laboratory, UCAM-CL-TR-857
[paper: 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

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]