Heidi Howard

Senior Researcher

Publications

Afficher par:

Optimizing Distributed Protocols with Query Rewrites

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

ACM International Conference on Management of Data (SIGMOD'24) | June 2024

Publication Author's Version Preprint DOI

Bigger, not Badder: Safely Scaling BFT Protocols

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

Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024

Publication DOI

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing

William Schultz, Eddy Ashton, Heidi Howard, Stavros Tripakis

April 2024

Publication

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

Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier

Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024

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

Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger

Proceedings of the VLDB Endowment | October 2023, Vol 17(2)

Publication Preprint Projet

BeeGees: Stayin’ Alive in Chained BFT

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

Symposium on Principles of Distributed Computing (PODC) | June 2023

Publication Preprint
Brief Announcement: It’s not easy to relax: liveness in chained BFT protocols

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

International Symposium on Distributed Computing (DISC) | October 2022

Publication DOI

Optimizing Distributed Protocols with Query Rewrites

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

ACM International Conference on Management of Data (SIGMOD'24) | June 2024

Publication Author's Version Preprint DOI

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing

William Schultz, Eddy Ashton, Heidi Howard, Stavros Tripakis

April 2024

Publication
Optimizing Distributed Protocols with Query Rewrites

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

ACM International Conference on Management of Data (SIGMOD'24) | June 2024

Publication Author's Version Preprint DOI

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

Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier

Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024

Publication DOI

Bigger, not Badder: Safely Scaling BFT Protocols

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

Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024

Publication DOI

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

Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger

Proceedings of the VLDB Endowment | October 2023, Vol 17(2)

Publication Preprint Projet

BeeGees: Stayin’ Alive in Chained BFT

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

Symposium on Principles of Distributed Computing (PODC) | June 2023

Publication Preprint

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

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

International Symposium on Distributed Computing (DISC) | October 2022

Publication DOI
Bigger, not Badder: Safely Scaling BFT Protocols

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

Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024

Publication DOI

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

Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger

Proceedings of the VLDB Endowment | October 2023, Vol 17(2)

Publication Preprint Projet

BeeGees: Stayin’ Alive in Chained BFT

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

Symposium on Principles of Distributed Computing (PODC) | June 2023

Publication Preprint

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

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

International Symposium on Distributed Computing (DISC) | October 2022

Publication DOI

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing

William Schultz, Eddy Ashton, Heidi Howard, Stavros Tripakis

April 2024

Publication
Optimizing Distributed Protocols with Query Rewrites

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

ACM International Conference on Management of Data (SIGMOD'24) | June 2024

Publication Author's Version Preprint DOI

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

Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier

Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024

Publication DOI

Bigger, not Badder: Safely Scaling BFT Protocols

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

Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024

Publication DOI

BeeGees: Stayin’ Alive in Chained BFT

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

Symposium on Principles of Distributed Computing (PODC) | June 2023

Publication Preprint

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

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

International Symposium on Distributed Computing (DISC) | October 2022

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

Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger

Proceedings of the VLDB Endowment | October 2023, Vol 17(2)

Publication Preprint Projet

Heidi Howard

Publications

Optimizing Distributed Protocols with Query Rewrites

Bigger, not Badder: Safely Scaling BFT Protocols

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing

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

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

BeeGees: Stayin’ Alive in Chained BFT

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

Optimizing Distributed Protocols with Query Rewrites

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing

Optimizing Distributed Protocols with Query Rewrites

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

Bigger, not Badder: Safely Scaling BFT Protocols

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

BeeGees: Stayin’ Alive in Chained BFT

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

Bigger, not Badder: Safely Scaling BFT Protocols

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

BeeGees: Stayin’ Alive in Chained BFT

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

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing

Optimizing Distributed Protocols with Query Rewrites

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

Bigger, not Badder: Safely Scaling BFT Protocols

BeeGees: Stayin’ Alive in Chained BFT

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

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

Contact Heidi Howard

Microsoft Research Lab – Cambridge

Heidi Howard

Publications

Publication Type

2024

2023

2022

Filtre par zone de recherche

Langages de programmation et ingénierie logicielle

Systémes et réseaux

Security, privacy, and cryptography

Publication Type

Unpublished

Inproceedings (Conference)

Article (Journal)