default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHeidi Howard
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j7]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): 2:1-2:25 (2024)- [c16]David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard:
Bigger, not Badder: Safely Scaling BFT Protocols. PaPoC@EuroSys 2024: 30-36 - [c15]Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier:
Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple. PaPoC@EuroSys 2024: 44-57 - [i21]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 abs/2403.13793 (2024) - [i20]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 abs/2404.01593 (2024) - [i19]William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis:
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing. CoRR abs/2404.18048 (2024) - [i18]Heidi Howard, Markus A. Kuppe, Edward Ashton, Amaury Chamayou, Natacha Crooks:
Smart Casual Verification of CCF's Distributed Consensus and Consistency Protocols. CoRR abs/2406.17455 (2024) - [i17]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 abs/2407.00106 (2024) - [i16]Andrew Jeffery, Julien Maffre, Heidi Howard, Richard Mortier:
LSKV: A Confidential Distributed Datastore to Protect Critical Data in the Cloud. CoRR abs/2407.12623 (2024) - 2023
- [j6]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. Proc. VLDB Endow. 17(2): 225-240 (2023) - [c14]Neil Giridharan, Florian Suri-Payer, Matthew Ding, Heidi Howard, Ittai Abraham, Natacha Crooks:
BeeGees: Stayin' Alive in Chained BFT. PODC 2023: 233-243 - [i15]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 abs/2310.11559 (2023) - [i14]Andrew Jeffery, Heidi Howard, Richard Mortier:
Mutating etcd Towards Edge Suitability. CoRR abs/2311.09929 (2023) - 2022
- [c13]Heidi Howard, Richard Mortier:
Relaxed Paxos: quorum intersection revisited (again). PaPoC@EuroSys 2022: 16-23 - [c12]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: 39:1-39:3 - [i13]Heidi Howard, Richard Mortier:
Relaxed Paxos: Quorum Intersection Revisited (Again). CoRR abs/2203.03058 (2022) - [i12]Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, Florian Suri-Payer:
It's not easy to relax: liveness in chained BFT protocols. CoRR abs/2205.11652 (2022) - 2021
- [j5]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) - [j4]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): 2203-2215 (2021) - [c11]Andrew Jeffery, Heidi Howard, Richard Mortier:
Rearchitecting Kubernetes for the Edge. EdgeSys@EuroSys 2021: 7-12 - [c10]Michael J. Whittaker, Aleksey Charapko, Joseph M. Hellerstein, Heidi Howard, Ion Stoica:
Read-Write Quorum Systems Made Practical. PaPoC@EuroSys 2021: 7:1-7:8 - [c9]Chris Jensen, Heidi Howard, Richard Mortier:
Examining Raft's behaviour during partial network failures. HAOC@EuroSys 2021: 11-17 - [c8]Heidi Howard, Aleksey Charapko, Richard Mortier:
Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos. ICDCN 2021: 186-190 - [i11]Andrew Jeffery, Heidi Howard, Richard Mortier:
Rearchitecting Kubernetes for the Edge. CoRR abs/2104.02423 (2021) - [i10]Michael J. Whittaker, Aleksey Charapko, Joseph M. Hellerstein, Heidi Howard, Ion Stoica:
Read-Write Quorum Systems Made Practical. CoRR abs/2104.04102 (2021) - [i9]Neil Giridharan, Heidi Howard, Ittai Abraham, Natacha Crooks, Alin Tomescu:
No-Commit Proofs: Defeating Livelock in BFT. IACR Cryptol. ePrint Arch. 2021: 1308 (2021) - 2020
- [c7]Heidi Howard, Richard Mortier:
Paxos vs Raft: have we reached consensus on distributed consensus? PaPoC@EuroSys 2020: 8:1-8:9 - [i8]Heidi Howard, Richard Mortier:
Paxos vs Raft: Have we reached consensus on distributed consensus? CoRR abs/2004.05074 (2020) - [i7]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 abs/2007.09468 (2020) - [i6]Heidi Howard, Aleksey Charapko, Richard Mortier:
Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos. CoRR abs/2008.02671 (2020) - [i5]Martin Kleppmann, Heidi Howard:
Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases. CoRR abs/2012.00472 (2020) - [i4]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 abs/2012.15762 (2020)
2010 – 2019
- 2019
- [b1]Heidi Howard:
Distributed consensus revised. University of Cambridge, UK, 2019 - [i3]Heidi Howard, Richard Mortier:
A Generalised Solution to Distributed Consensus. CoRR abs/1902.06776 (2019) - 2017
- [j3]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): 67-71 (2017) - 2016
- [c6]Heidi Howard, Dahlia Malkhi, Alexander Spiegelman:
Flexible Paxos: Quorum Intersection Revisited. OPODIS 2016: 25:1-25:14 - [i2]Heidi Howard, Dahlia Malkhi, Alexander Spiegelman:
Flexible Paxos: Quorum intersection revisited. CoRR abs/1608.06696 (2016) - 2015
- [j2]Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy, Jon Crowcroft:
Raft Refloated: Do We Have Consensus? ACM SIGOPS Oper. Syst. Rev. 49(1): 12-21 (2015) - [c5]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: 29-32 - [c4]Heidi Howard, Jon Crowcroft:
Coracle: Evaluating Consensus at the Internet Edge. SIGCOMM 2015: 85-86 - [i1]Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier:
Personal Data: Thinking Inside the Box. CoRR abs/1501.04737 (2015) - 2013
- [c3]Milena Radenkovic, Heidi Howard, Jon Crowcroft, Murray Goulden, Christian Greiffenhagen, Derek McAuley, Richard Mortier:
Providing security for wireless community networks. LCDNet@MobiCom 2013: 29-32 - [c2]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
2000 – 2009
- 2007
- [j1]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): 373-386 (2007) - [c1]Liangping Ma, Hua Zhu, Gayathri Nallamothu, Bo Ryu, Heidi Howard:
Understanding Linear Regression for Wireless Sensor Network Time Synchronization. ICWN 2007: 325-328
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 02:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
