Heidi Howard

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 36

Top Topics

Commit Protocols

Young Researchers

Top Venues

Proc. VLDB Endow.

ACM SIGOPS Oper. Syst. Rev.

Publications

David C. Y. Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky E. Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
Optimizing Distributed Protocols with Query Rewrites. Proc. ACM Manag. Data 2 (1) (2024)
Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier
Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple. PaPoC@EuroSys (2024)
Heidi Howard, Markus A. Kuppe, Edward Ashton, Amaury Chamayou, Natacha Crooks
Smart Casual Verification of CCF's Distributed Consensus and Consistency Protocols. CoRR (2024)
Ilia Shumailov, Jamie Hayes, Eleni Triantafillou, Guillermo Ortiz-Jiménez, Nicolas Papernot, Matthew Jagielski, Itay Yona, Heidi Howard, Eugene Bagdasaryan
UnUnlearning: Unlearning is not sufficient for content regulation in advanced generative AI. CoRR (2024)
William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing. CoRR (2024)
David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
Bigger, not Badder: Safely Scaling BFT Protocols. PaPoC@EuroSys (2024)
David Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
Optimizing Distributed Protocols with Query Rewrites [Technical Report]. CoRR (2024)
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
Evaluating Frontier Models for Dangerous Capabilities. CoRR (2024)
Andrew Jeffery, Julien Maffre, Heidi Howard, Richard Mortier
LSKV: A Confidential Distributed Datastore to Protect Critical Data in the Cloud. CoRR (2024)
Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manual Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. Proc. VLDB Endow. 17 (2) (2023)
Neil Giridharan, Florian Suri-Payer, Matthew Ding, Heidi Howard, Ittai Abraham, Natacha Crooks
BeeGees: Stayin' Alive in Chained BFT. PODC (2023)
Andrew Jeffery, Heidi Howard, Richard Mortier
Mutating etcd Towards Edge Suitability. CoRR (2023)
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
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. CoRR (2023)
Heidi Howard, Richard Mortier
Relaxed Paxos: Quorum Intersection Revisited (Again). CoRR (2022)
Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, Florian Suri-Payer
Brief Announcement: It's not easy to relax: liveness in chained BFT protocols. DISC (2022)
Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, Florian Suri-Payer
It's not easy to relax: liveness in chained BFT protocols. CoRR (2022)
Heidi Howard, Richard Mortier
Relaxed Paxos: quorum intersection revisited (again). PaPoC@EuroSys (2022)
Michael J. Whittaker, Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas, Neil Giridharan, Joseph M. Hellerstein, Heidi Howard, Ion Stoica, Adriana Szekeres
Scaling Replicated State Machines with Compartmentalization. Proc. VLDB Endow. 14 (11) (2021)
Michael J. Whittaker, Neil Giridharan, Adriana Szekeres, Joseph M. Hellerstein, Heidi Howard, Faisal Nawab, Ion Stoica
[Solution] Matchmaker Paxos: A Reconfigurable Consensus Protocol. J. Syst. Res. 1 (1) (2021)
Andrew Jeffery, Heidi Howard, Richard Mortier
Rearchitecting Kubernetes for the Edge. EdgeSys@EuroSys (2021)
Neil Giridharan, Heidi Howard, Ittai Abraham, Natacha Crooks, Alin Tomescu
No-Commit Proofs: Defeating Livelock in BFT. IACR Cryptol. ePrint Arch. 2021 (2021)
Andrew Jeffery, Heidi Howard, Richard Mortier
Rearchitecting Kubernetes for the Edge. CoRR (2021)
Michael J. Whittaker, Aleksey Charapko, Joseph M. Hellerstein, Heidi Howard, Ion Stoica
Read-Write Quorum Systems Made Practical. PaPoC@EuroSys (2021)
Heidi Howard, Aleksey Charapko, Richard Mortier
Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos. ICDCN (2021)
Chris Jensen, Heidi Howard, Richard Mortier
Examining Raft's behaviour during partial network failures. HAOC@EuroSys (2021)
Michael J. Whittaker, Aleksey Charapko, Joseph M. Hellerstein, Heidi Howard, Ion Stoica
Read-Write Quorum Systems Made Practical. CoRR (2021)
Martin Kleppmann, Heidi Howard
Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases. CoRR (2020)
Heidi Howard, Richard Mortier
Paxos vs Raft: Have we reached consensus on distributed consensus? CoRR (2020)
Michael J. Whittaker, Neil Giridharan, Adriana Szekeres, Joseph M. Hellerstein, Heidi Howard, Faisal Nawab, Ion Stoica
Matchmaker Paxos: A Reconfigurable Consensus Protocol [Technical Report]. CoRR (2020)
Heidi Howard, Richard Mortier
Paxos vs Raft: have we reached consensus on distributed consensus? PaPoC@EuroSys (2020)
Heidi Howard, Aleksey Charapko, Richard Mortier
Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos. CoRR (2020)
Michael J. Whittaker, Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas, Neil Giridharan, Joseph M. Hellerstein, Heidi Howard, Ion Stoica, Adriana Szekeres
Scaling Replicated State Machines with Compartmentalization [Technical Report]. CoRR (2020)
Heidi Howard, Richard Mortier
A Generalised Solution to Distributed Consensus. CoRR (2019)
Heidi Howard, Dahlia Malkhi, Alexander Spiegelman
Revisiting the Paxos Foundations: A Look at Summer Internship Work at VMware Research. ACM SIGOPS Oper. Syst. Rev. 51 (1) (2017)
Heidi Howard, Dahlia Malkhi, Alexander Spiegelman
Flexible Paxos: Quorum intersection revisited. CoRR (2016)
Heidi Howard, Dahlia Malkhi, Alexander Spiegelman
Flexible Paxos: Quorum Intersection Revisited. OPODIS (2016)
Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier
Personal Data: Thinking Inside the Box. CoRR (2015)
Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy, Jon Crowcroft
Raft Refloated: Do We Have Consensus? ACM SIGOPS Oper. Syst. Rev. 49 (1) (2015)
Amir Chaudhry, Jon Crowcroft, Heidi Howard, Anil Madhavapeddy, Richard Mortier, Hamed Haddadi, Derek McAuley
Personal data: thinking inside the box. Aarhus Conference on Critical Alternatives (2015)
Jon Crowcroft, Heidi Howard
Coracle: Evaluating Consensus at the Internet Edge. Computer Communication Review (2015)
Heidi Howard, Jon Crowcroft
Coracle: Evaluating Consensus at the Internet Edge. SIGCOMM (2015)
Milena Radenkovic, Heidi Howard, Jon Crowcroft, Murray Goulden, Christian Greiffenhagen, Derek McAuley, Richard Mortier
Providing security for wireless community networks. LCDNet@MobiCom (2013)
Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry, Jon Crowcroft
Lost in the Edge: Finding Your Way with DNSSEC Signposts. FOCI (2013)
Liangping Ma, Hua Zhu, Gayathri Nallamothu, Bo Ryu, Heidi Howard
Understanding Linear Regression for Wireless Sensor Network Time Synchronization. ICWN (2007)
George Z. Gertner, Guangxing Wang, Alan B. Anderson, Heidi Howard
Combining stratification and up-scaling method-block cokriging with remote sensing imagery for sampling and mapping an erosion cover factor. Ecol. Informatics 2 (4) (2007)