Heidi Howard
where else to find them
website:http://www.heidihoward.co.uk
github:heidihoward
bluesky:heidihoward.bsky.social
linkedin:heidi-howard-07273954
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Amaury Chamayouonce
- Edward Ashtononce
- Markus A Kuppeonce
all 4 in the filters
who talks about the same things
- Tess Rinearson3 talks
- Arnaud Bailly6 talks
- Daniil Fedotov3 talks
- Petr Kuznetsov2 talks
- Siddon Tang3 talks
- Pierre Sutra3 talks
| title | conference | date |
|---|---|---|
| Smart Casual Verification of the Confidential Consortium Framework | NSDI '25 | 2025-04-28 |
Specifies CCF's distributed consensus and client-consistency model in TLA+, instruments the C++ code to emit tiny JSON state traces, and repurposes the TLC… | ||
| Paxos vs Raft: Have we reached consensus on distributed consensus? | Hydra 2020 | 2020-07-06 |
Paper compares Paxos and Raft by creating a raftified Paxos variant and finds the algorithms are identical in the steady-state performance and diverge only in… | ||
| Liberating Distributed Consensus | ScaleConf Colombia 2019 | 2019-05-17 |
Argues that Paxos is overly conservative and instead uses write-once registers and per-register quorums to guarantee safety while reducing work. Shows a… | ||
| nothing matches | ||