Read, Write, Execute

Notebook of a researcher in distributed systems.

Skip to content

Heidi-ann

July 19, 2013

I am now officially 21 years old and also the owner of this cool, Wacom Bamboo Pen Graphics Tablet from Amazon

Wacom Bamboo Pen Graphics Tablet

Share this:

Twitter
Reddit
Facebook
Email

Post navigation

← Profiling OCaml – Getting Started Guide OCaml Lecture Notes →

Leave a Reply Cancel reply

About Me

Heidi Howard is a Research Fellow in Computer Science at Cambridge University’s Trinity Hall and an Affiliated Lecturer at the Department of Computer Science and Technology. Heidi’s research sits at the intersection between the theory and practice of distributed computing and focuses on improving the consistency and resilience of distributed computer systems. In 2019, Heidi received her Ph.D. from Cambridge University for her research on distributed consensus and she is best known for her generalizations of the widely used Paxos algorithm, including her research on Flexible Paxos. More information is available on heidihoward.co.uk.

Posts

Fast Flexible Paxos
Towards an intuitive high-performance consensus algorithm
My Reactive Summit 2018 talk is now online
Joining Trinity Hall
Majority agreement is not necessary for consensus
OSCON & Code Mesh
Paper notes on S-Paxos [SRDS’12]
Paper Notes on PBFT [OSDI’99]
VIDEO: Making the Impossible Possible @ J on the Beach
Paxos Agreement – Computerphile
Do you want a shed or a castle?
Speaking at QCon London 2016
Consensus & Organising Coffee – Computerphile
Paper Notes on “CORFU: A distributed shared log” [TOCS’13]
Paper Notes on “Tango: Distributed Data Structures over a Shared Log” [SOSP’13]
BBC Radio 4: Any questions?
Azure Latency Pilot Study: Part 4 – Variation in results with time
Azure Latency Pilot Study: Part 3 – Machine specific results
Azure Latency Pilot Study: Part 2 – Aggregated results
Azure Latency Pilot Study: Part 1 – Experimental Setup
Adding machines can decrease availability of a distributed system
Chronicle of Coracle: Parsing Protocol Specific Parameters
#C3S2015 Trip Report – Day 1
#C3S2015 Trip Report – Day 0
Paper Notes: Ethical Privacy Guidelines for Mobile Connectivity Measurements [Report Nov’13]
Paper Notes: The Network is Reliable [ACMQ July’14]
EuroSysDW’15 Poster on Unanimous
Converting from Tikz to PNG
Unanimous: System Research Group talklet
Conservative election in Byzantine Fault Tolerant Raft
EuroSys 2015
Part 3: Running your own DNS Resolver with MirageOS
Poster for “Life on the Edge: New Abstractions for Edge Network Distributed Computing”
Slides for “Life on the Edge: New Abstractions for Edge Network Distributed Computing”
VPN providers are hijacking DNS
Raft Refloated in the morning paper
Paper Notes: Redirecting DNS for Ads and Profit
Video: “Grad School” by UCSD/Lambda Style Productions
Part 2: Running your own DNS Resolver with MirageOS
3 Upcoming talks
Closed gTLDs
Middleboxes considered harmful: DNS Edition
DNS question: Avoiding circular dependencies without glue records?
Comcast blocking NASA.gov
Video: An overview of secure name resolution [29c3]
Talk & Poster @ 2nd Annual Oxbridge Women in Computer Science Conference
We’re coming to letter box near you
Part 1: Running your own DNS Resolver with MirageOS
Squashing git commits
Lab Culture – How to ask the right questions?
I have a bad UDP joke for you
MOOC for edge networking and IoT
New abstraction for edge network systems
Distributed Protocols and Heterogeneous Trust
Matrix.org
Raft Refloated: Do We Have Consensus?
Bring on the Databox
Reading list for P2P Systems
CFP: FOG Networking for 5G and IoT
2nd Annual Oxbridge Women in Computer Science Conference
Personal Data: Thinking Inside the Box
Lack of Love for DNSSEC
Live Blogging PLMW
Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud
Making front page (hacker)news
The Countess, the Nun, the Rear Admiral and the Film Star
How to get a PhD
Can You Engineer Privacy?
Pyland @ PyCon UK
It’s Official
Off to ICFP 2014
Release of “ARC: Analysis of Raft Consensus”
Seeking Feedback on “ARC: Analysis of Raft Consensus”
Project Zygote (working title) @ CamJam
Dreaming of a new life on the edge network
ICFP & OCaml 2014
Graduation & Raspberry Pi Internship
Dissertation Proposal: “Achieving Distributed Consensus with Raft”
The problem with consensus
Poster Feedback Wanted
OCaml Monthly Meeting – Live Blog
“Providing Security for Wireless Community Networks” Talk at Workshop on Participatory Networks and Privacy: New Research Issues, September 2013
OCaml Development in Vim
What’s the difference between Debian Squeeze and wheezy ?
Where can I get Linux Distros quickly on the Cambridge Network ?
How do I download many pdf’s a webpage at once ?
ICFP, CUFP & OCaml2013
Audio & Slides from “Lost in the Edge: Finding Your Way with DNSSEC Signposts”
Lowest Cost Denominator Networking for Universal Access
Real World OCaml beta3 release
“Lost in the Edge: Finding Your Way with DNSSEC Signposts” is now available online
OCaml Lecture Notes
Happy 21st Birthday
Profiling OCaml – Getting Started Guide
Learning Async
Legality of Wi-Fi Sharing
Talk: “Ubiquitous Access to Public Services Online with PAWS”
Signpost Planning
How do I reset pathnames to commands ?
Signpost Poster @ Computer Laboratory 75th Anniversary
How do you use PWF as a proxy ?
Signpost Talk @ Open Hardware, Software, Internet & Jobs
Building OpenWRT from Source
Quick Guide: Remotely adding a new user on Ubuntu 12.04
Comparing Wireless Community Networks
Quick Guide : Amazon Cloud EC2
How do I VPN into the University Network ?
Producing Pretty Graphs
Hierarchical MAC Addresses
Betteridge’s law of headlines
System programming in OCaml – Part 2
LaTeX – The IEEE Surveys & Tutorials Way (Pt 2)
Ocaml 2 HTML
System programming in OCaml – Part 1
LaTeX – The IEEE Surveys & Tutorials Way (Pt 1)
Signposts – The installation
OpenWrt & Linksys WRT54GL Router – Meet & Greet
Lots of things to be getting on with …
Public Access WiFi Service
Getting to grips with OPAM
VIM – The CompSci Classic
Fault Tolerance comes to Twitter in the form of Twimight
Signposts Demo @ All Hands Digital Economy Conference 2012
Twitter in Disaster Mode
DNSSEC – A basic Intro
How can I generate a Public/Private key pair ?
Notes on "A Close Examination of Performance and Power Characteristics of 4G LTE Networks"! – Pt1
I’m starting to learn Programmer Dvorak
TCPtrace – An introduction
Google Android Development Camp – Day 1
TCPdump – An introduction
A new week, a new approach
(Testing) Network Data collection – Demo Pt 5.3
Data Collection for Latency, Goodput & Jitter – Demo Pt 5.2
Data Collection for Latency – Demo Pt 5.1
Analysing the Android Demo Code – Pt 5
Iperf on Andriod, a new approach – Pt 4.3
Another Day, Another Andriod Phone – Pt 4.2
Another Failed attempt to set up iperf on Andriod Phone – Demo Pt 4.1
Using Iperf for Collecting Data – Demo Pt 4
Getting Client & Server Talking – Demo Pt 3
Running the Android Client – Demo Pt 2.1
Running the Ocaml Server – Demo Pt 1
Running the Android Client – Demo Pt 2
UROP Goals
RFC 1034 – An insight into the 1980’s
Getting Started with Python
I’m back from brussels

Proudly powered by WordPress

Send to Email Address Your Name Your Email Address

Cancel

Post was not sent - check your email addresses!

Email check failed, please try again

Sorry, your blog cannot share posts by email.