Understanding Linear Regression for Wireless Sensor Network Time Synchronization. - Liangping Ma; Hua Zhu; Gayathri Nallamothu; Bo Ryu; Heidi Howard (ICWN, 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)

Providing security for wireless community networks. - Milena Radenkovic 001; Heidi Howard; Jon Crowcroft; Murray Goulden; Christian Greiffenhagen; Derek McAuley; Richard Mortier (LCDNet@MobiCom, 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 (FOCI, 2013)

Personal data: thinking inside the box. - Amir Chaudhry; Jon Crowcroft; Heidi Howard; Anil Madhavapeddy; Richard Mortier; Hamed Haddadi; Derek McAuley (Aarhus Conference on Critical Alternatives, 2015)

Coracle: Evaluating Consensus at the Internet Edge. - Heidi Howard; Jon Crowcroft (SIGCOMM, 2015)

Personal Data: Thinking Inside the Box. - Hamed Haddadi; Heidi Howard; Amir Chaudhry; Jon Crowcroft; Anil Madhavapeddy; Richard Mortier (CoRR, 2015)

Raft Refloated: Do We Have Consensus? - Heidi Howard; Malte Schwarzkopf; Anil Madhavapeddy; Jon Crowcroft (ACM SIGOPS Oper. Syst. Rev., 2015)

Flexible Paxos: Quorum Intersection Revisited. - Heidi Howard; Dahlia Malkhi; Alexander Spiegelman (OPODIS, 2016)

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)

A Generalised Solution to Distributed Consensus. - Heidi Howard; Richard Mortier (CoRR, 2019)

Distributed consensus revised - Heidi Howard (2019)

Paxos vs Raft: have we reached consensus on distributed consensus? - Heidi Howard; Richard Mortier (PaPoC@EuroSys, 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)

Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases. - Martin Kleppmann; Heidi Howard (CoRR, 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)

Rearchitecting Kubernetes for the Edge. - Andrew Jeffery; Heidi Howard; Richard Mortier (EdgeSys@EuroSys, 2021)

Examining Raft's behaviour during partial network failures. - Chris Jensen; Heidi Howard; Richard Mortier (HAOC@EuroSys, 2021)

Read-Write Quorum Systems Made Practical. - Michael J. Whittaker; Aleksey Charapko; Joseph M. Hellerstein; Heidi Howard; Ion Stoica (PaPoC@EuroSys, 2021)

Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos. - Heidi Howard; Aleksey Charapko; Richard Mortier (ICDCN, 2021)

No-Commit Proofs: Defeating Livelock in BFT. - Neil Giridharan; Heidi Howard; Ittai Abraham; Natacha Crooks; Alin Tomescu (IACR Cryptol. ePrint Arch., 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)

[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., 2021)

Relaxed Paxos: quorum intersection revisited (again). - Heidi Howard; Richard Mortier (PaPoC@EuroSys, 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 (DISC, 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)

BeeGees: Stayin' Alive in Chained BFT. - Neil Giridharan; Florian Suri-Payer; Matthew Ding 001; Heidi Howard; Ittai Abraham; Natacha Crooks (PODC, 2023)

Mutating etcd Towards Edge Suitability. - Andrew Jeffery; Heidi Howard; Richard Mortier (CoRR, 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; et al. (Proc. VLDB Endow., 2023)

Bigger, not Badder: Safely Scaling BFT Protocols. - David C. Y. Chu; Chris Liu; Natacha Crooks; Joseph M. Hellerstein; Heidi Howard (PaPoC@EuroSys, 2024)

Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple. - Chris Jensen; Heidi Howard; Antonios Katsarakis; Richard Mortier (PaPoC@EuroSys, 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; et al. (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)

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing. - William Schultz; Edward Ashton; Heidi Howard; Stavros Tripakis (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)

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)

LSKV: A Confidential Distributed Datastore to Protect Critical Data in the Cloud. - Andrew Jeffery; Julien Maffre; Heidi Howard; Richard Mortier (CoRR, 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, 2024)

Smart Casual Verification of the Confidential Consortium Framework. - Heidi Howard; Markus A. Kuppe; Edward Ashton; Amaury Chamayou; Natacha Crooks (NSDI, 2025)

Rollbaccine : Herd Immunity against Storage Rollback Attacks in TEEs [Technical Report]. - David C. Y. Chu; Aditya Balasubramanian; Dee Bao; Natacha Crooks; Heidi Howard; Lucky E. Katahanas; Soujanya Ponnapalli (CoRR, 2025)