Heidi Howard

48 papers A* 2A 1B 1Misc 2Journal 30Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Proteus: Append-Only Ledgers for (Mostly) Trusted Execution Environments.
CoRR
Shubham Mishra, João Gonçalves, Chawinphat Tankuranand, Neil Giridharan, Natacha Crooks, Heidi Howard, Chris Jensen
2025 J jnl
Rollbaccine : Herd Immunity against Storage Rollback Attacks in TEEs [Technical Report].
CoRR
David C. Y. Chu, Aditya Balasubramanian, Dee Bao, Natacha Crooks, Heidi Howard, Lucky E. Katahanas, Soujanya Ponnapalli
2025 Misc conf
Smart Casual Verification of the Confidential Consortium Framework.
NSDI
Heidi Howard, Markus A. Kuppe, Edward Ashton, Amaury Chamayou, Natacha Crooks
2024 — conf
Bigger, not Badder: Safely Scaling BFT Protocols.
PaPoC@EuroSys
David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
2024 J jnl
Evaluating Frontier Models for Dangerous Capabilities.
CoRR
Mary Phuong, Matthew Aitchison, Elliot Catt, Sarah Cogan, Alexandre Kaskasoli, Victoria Krakovna, David Lindner, Matthew Rahtz, Yannis Assael, Sarah Hodkinson, Heidi Howard, Tom Lieberum, Ramana Kumar, Maria Abi Raad, Albert Webson, Lewis Ho, Sharon Lin, Sebastian Farquhar, Marcus Hutter, Grégoire Delétang, Anian Ruoss, Seliem El-Sayed, Sasha Brown, Anca D. Dragan, Rohin Shah, Allan Dafoe, Toby Shevlane
2024 J jnl
LSKV: A Confidential Distributed Datastore to Protect Critical Data in the Cloud.
CoRR
Andrew Jeffery, Julien Maffre, Heidi Howard, Richard Mortier
2024 J jnl
Optimizing Distributed Protocols with Query Rewrites [Technical Report].
CoRR
David Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
2024 J jnl
Optimizing Distributed Protocols with Query Rewrites.
Proc. ACM Manag. Data
David C. Y. Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky E. Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
2024 J jnl
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing.
CoRR
William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis
2024 J jnl
Smart Casual Verification of CCF's Distributed Consensus and Consistency Protocols.
CoRR
Heidi Howard, Markus A. Kuppe, Edward Ashton, Amaury Chamayou, Natacha Crooks
2024 J jnl
UnUnlearning: Unlearning is not sufficient for content regulation in advanced generative AI.
CoRR
Ilia Shumailov, Jamie Hayes, Eleni Triantafillou, Guillermo Ortiz-Jiménez, Nicolas Papernot, Matthew Jagielski, Itay Yona, Heidi Howard, Eugene Bagdasaryan
2024 — conf
Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple.
PaPoC@EuroSys
Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier
2023 A* conf
BeeGees: Stayin' Alive in Chained BFT.
PODC
Neil Giridharan, Florian Suri-Payer, Matthew Ding, Heidi Howard, Ittai Abraham, Natacha Crooks
2023 J jnl
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability.
CoRR
Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus A. Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
2023 J jnl
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability.
Proc. VLDB Endow.
Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus A. Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
2023 J jnl
Mutating etcd Towards Edge Suitability.
CoRR
Andrew Jeffery, Heidi Howard, Richard Mortier
2022 A conf
Brief Announcement: It's not easy to relax: liveness in chained BFT protocols.
DISC
Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, Florian Suri-Payer
2022 J jnl
It's not easy to relax: liveness in chained BFT protocols.
CoRR
Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, Florian Suri-Payer
2022 J jnl
Relaxed Paxos: Quorum Intersection Revisited (Again).
CoRR
Heidi Howard, Richard Mortier
2022 — conf
Relaxed Paxos: quorum intersection revisited (again).
PaPoC@EuroSys
Heidi Howard, Richard Mortier
2021 — conf
Examining Raft's behaviour during partial network failures.
HAOC@EuroSys
Chris Jensen, Heidi Howard, Richard Mortier
2021 Misc conf
Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos.
ICDCN
Heidi Howard, Aleksey Charapko, Richard Mortier
2021 J jnl
No-Commit Proofs: Defeating Livelock in BFT.
IACR Cryptol. ePrint Arch.
Neil Giridharan, Heidi Howard, Ittai Abraham, Natacha Crooks, Alin Tomescu
2021 — conf
Read-Write Quorum Systems Made Practical.
PaPoC@EuroSys
Michael J. Whittaker, Aleksey Charapko, Joseph M. Hellerstein, Heidi Howard, Ion Stoica
2021 J jnl
Read-Write Quorum Systems Made Practical.
CoRR
Michael J. Whittaker, Aleksey Charapko, Joseph M. Hellerstein, Heidi Howard, Ion Stoica
2021 — conf
Rearchitecting Kubernetes for the Edge.
EdgeSys@EuroSys
Andrew Jeffery, Heidi Howard, Richard Mortier
2021 J jnl
Rearchitecting Kubernetes for the Edge.
CoRR
Andrew Jeffery, Heidi Howard, Richard Mortier
2021 J jnl
Scaling Replicated State Machines with Compartmentalization.
Proc. VLDB Endow.
Michael J. Whittaker, Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas, Neil Giridharan, Joseph M. Hellerstein, Heidi Howard, Ion Stoica, Adriana Szekeres
2021 J jnl
[Solution] Matchmaker Paxos: A Reconfigurable Consensus Protocol.
J. Syst. Res.
Michael J. Whittaker, Neil Giridharan, Adriana Szekeres, Joseph M. Hellerstein, Heidi Howard, Faisal Nawab, Ion Stoica
2020 J jnl
Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases.
CoRR
Martin Kleppmann, Heidi Howard
2020 J jnl
Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos.
CoRR
Heidi Howard, Aleksey Charapko, Richard Mortier
2020 J jnl
Matchmaker Paxos: A Reconfigurable Consensus Protocol [Technical Report].
CoRR
Michael J. Whittaker, Neil Giridharan, Adriana Szekeres, Joseph M. Hellerstein, Heidi Howard, Faisal Nawab, Ion Stoica
2020 J jnl
Paxos vs Raft: Have we reached consensus on distributed consensus?
CoRR
Heidi Howard, Richard Mortier
2020 — conf
Paxos vs Raft: have we reached consensus on distributed consensus?
PaPoC@EuroSys
Heidi Howard, Richard Mortier
2020 J jnl
Scaling Replicated State Machines with Compartmentalization [Technical Report].
CoRR
Michael J. Whittaker, Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas, Neil Giridharan, Joseph M. Hellerstein, Heidi Howard, Ion Stoica, Adriana Szekeres
2019 J jnl
A Generalised Solution to Distributed Consensus.
CoRR
Heidi Howard, Richard Mortier
2019 — —
Distributed consensus revised
Heidi Howard
2017 J jnl
Revisiting the Paxos Foundations: A Look at Summer Internship Work at VMware Research.
ACM SIGOPS Oper. Syst. Rev.
Heidi Howard, Dahlia Malkhi, Alexander Spiegelman
2016 B conf
Flexible Paxos: Quorum Intersection Revisited.
OPODIS
Heidi Howard, Dahlia Malkhi, Alexander Spiegelman
2016 J jnl
Flexible Paxos: Quorum intersection revisited.
CoRR
Heidi Howard, Dahlia Malkhi, Alexander Spiegelman
2015 A* conf
Coracle: Evaluating Consensus at the Internet Edge.
SIGCOMM
Heidi Howard, Jon Crowcroft
2015 J jnl
Personal Data: Thinking Inside the Box.
CoRR
Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier
2015 — conf
Personal data: thinking inside the box.
Aarhus Conference on Critical Alternatives
Amir Chaudhry, Jon Crowcroft, Heidi Howard, Anil Madhavapeddy, Richard Mortier, Hamed Haddadi, Derek McAuley
2015 J jnl
Raft Refloated: Do We Have Consensus?
ACM SIGOPS Oper. Syst. Rev.
Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy, Jon Crowcroft
2013 — conf
Lost in the Edge: Finding Your Way with DNSSEC Signposts.
FOCI
Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry, Jon Crowcroft
2013 — conf
Providing security for wireless community networks.
LCDNet@MobiCom
Milena Radenkovic, Heidi Howard, Jon Crowcroft, Murray Goulden, Christian Greiffenhagen, Derek McAuley, Richard Mortier
2007 J jnl
Combining stratification and up-scaling method-block cokriging with remote sensing imagery for sampling and mapping an erosion cover factor.
Ecol. Informatics
George Z. Gertner, Guangxing Wang, Alan B. Anderson, Heidi Howard
2007 — conf
Understanding Linear Regression for Wireless Sensor Network Time Synchronization.
ICWN
Liangping Ma, Hua Zhu, Gayathri Nallamothu, Bo Ryu, Heidi Howard