Heidi Howard

According to our database, Heidi Howard authored at least 38 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Optimizing Distributed Protocols with Query Rewrites.

David C. Y. Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky E. Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard

Proc. ACM Manag. Data, February, 2024

LSKV: A Confidential Distributed Datastore to Protect Critical Data in the Cloud.

Andrew Jeffery, Julien Maffre, Heidi Howard, Richard Mortier

CoRR, 2024

UnUnlearning: Unlearning is not sufficient for content regulation in advanced generative AI.

Ilia Shumailov, Jamie Hayes, Eleni Triantafillou, Guillermo Ortiz-Jiménez, Nicolas Papernot, Matthew Jagielski, Itay Yona, Heidi Howard, Eugene Bagdasaryan

CoRR, 2024

Smart Casual Verification of CCF's Distributed Consensus and Consistency Protocols.

Heidi Howard, Markus A. Kuppe, Edward Ashton, Amaury Chamayou, Natacha Crooks

CoRR, 2024

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing.

William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis

CoRR, 2024

Optimizing Distributed Protocols with Query Rewrites [Technical Report].

David Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard

CoRR, 2024

Evaluating Frontier Models for Dangerous Capabilities.

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

CoRR, 2024

Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple.

Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier

Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, 2024

Bigger, not Badder: Safely Scaling BFT Protocols.

David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard

Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, 2024

2023

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability.

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

Proc. VLDB Endow., 2023

Mutating etcd Towards Edge Suitability.

Andrew Jeffery, Heidi Howard, Richard Mortier

CoRR, 2023

BeeGees: Stayin' Alive in Chained BFT.

Neil Giridharan, Florian Suri-Payer, Matthew Ding, Heidi Howard, Ittai Abraham, Natacha Crooks

Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, 2023

2022

It's not easy to relax: liveness in chained BFT protocols.

Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, Florian Suri-Payer

CoRR, 2022

Brief Announcement: It's not easy to relax: liveness in chained BFT protocols.

Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, Florian Suri-Payer

Proceedings of the 36th International Symposium on Distributed Computing, 2022

Relaxed Paxos: quorum intersection revisited (again).

Heidi Howard, Richard Mortier

Proceedings of the PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5, 2022

2021

[Solution] Matchmaker Paxos: A Reconfigurable Consensus Protocol.

Michael J. Whittaker, Neil Giridharan, Adriana Szekeres, Joseph M. Hellerstein, Heidi Howard, Faisal Nawab, Ion Stoica

J. Syst. Res., September, 2021

Scaling Replicated State Machines with Compartmentalization.

Michael J. Whittaker, Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas, Neil Giridharan, Joseph M. Hellerstein, Heidi Howard, Ion Stoica, Adriana Szekeres

Proc. VLDB Endow., 2021

No-Commit Proofs: Defeating Livelock in BFT.

Neil Giridharan, Heidi Howard, Ittai Abraham, Natacha Crooks, Alin Tomescu

IACR Cryptol. ePrint Arch., 2021

Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos.

Heidi Howard, Aleksey Charapko, Richard Mortier

Proceedings of the ICDCN '21: International Conference on Distributed Computing and Networking, 2021

Read-Write Quorum Systems Made Practical.

Michael J. Whittaker, Aleksey Charapko, Joseph M. Hellerstein, Heidi Howard, Ion Stoica

Proceedings of the PaPoC@EuroSys 2021, 2021

Examining Raft's behaviour during partial network failures.

Chris Jensen, Heidi Howard, Richard Mortier

Proceedings of the HAOC '21: Proceedings of the 1st Workshop on High Availability and Observability of Cloud Systems, 2021

Rearchitecting Kubernetes for the Edge.

Andrew Jeffery, Heidi Howard, Richard Mortier

Proceedings of the EdgeSys@EuroSys 2021: 4th International Workshop on Edge Systems, 2021

2020

Scaling Replicated State Machines with Compartmentalization [Technical Report].

Michael J. Whittaker, Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas, Neil Giridharan, Joseph M. Hellerstein, Heidi Howard, Ion Stoica, Adriana Szekeres

CoRR, 2020

Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases.

Martin Kleppmann, Heidi Howard

CoRR, 2020

Matchmaker Paxos: A Reconfigurable Consensus Protocol [Technical Report].

Michael J. Whittaker, Neil Giridharan, Adriana Szekeres, Joseph M. Hellerstein, Heidi Howard, Faisal Nawab, Ion Stoica

CoRR, 2020

Paxos vs Raft: have we reached consensus on distributed consensus?

Heidi Howard, Richard Mortier

Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, 2020

2019

Distributed consensus revised

Heidi Howard

PhD thesis, 2019

A Generalised Solution to Distributed Consensus.

Heidi Howard, Richard Mortier

CoRR, 2019

2017

Revisiting the Paxos Foundations: A Look at Summer Internship Work at VMware Research.

Heidi Howard, Dahlia Malkhi, Alexander Spiegelman

ACM SIGOPS Oper. Syst. Rev., 2017

2016

Flexible Paxos: Quorum Intersection Revisited.

Heidi Howard, Dahlia Malkhi, Alexander Spiegelman

Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

2015

Raft Refloated: Do We Have Consensus?

Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy, Jon Crowcroft

ACM SIGOPS Oper. Syst. Rev., 2015

Personal Data: Thinking Inside the Box.

Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier

CoRR, 2015

Coracle: Evaluating Consensus at the Internet Edge.

Heidi Howard, Jon Crowcroft

Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, 2015

Personal data: thinking inside the box.

Amir Chaudhry, Jon Crowcroft, Heidi Howard, Anil Madhavapeddy, Richard Mortier, Hamed Haddadi, Derek McAuley

Proceedings of The Fifth Decennial Aarhus Conference on Critical Alternatives, 2015

2013

Lost in the Edge: Finding Your Way with DNSSEC Signposts.

Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry, Jon Crowcroft

Proceedings of the 3rd USENIX Workshop on Free and Open Communications on the Internet, 2013

Providing security for wireless community networks.

Milena Radenkovic, Heidi Howard, Jon Crowcroft, Murray Goulden, Christian Greiffenhagen, Derek McAuley, Richard Mortier

Proceedings of the 2013 ACM MobiCom workshop on Lowest cost denominator networking for universal access, 2013

2007

Combining stratification and up-scaling method-block cokriging with remote sensing imagery for sampling and mapping an erosion cover factor.

George Z. Gertner, Guangxing Wang, Alan B. Anderson, Heidi Howard

Ecol. Informatics, 2007

Understanding Linear Regression for Wireless Sensor Network Time Synchronization.

Liangping Ma, Hua Zhu, Gayathri Nallamothu, Bo Ryu, Heidi Howard

Proceedings of the 2007 International Conference on Wireless Networks, 2007