海蒂·霍华德
人员信息
SPARQL查询
优化列表
2020年–今天
2024 [j7] 朱大卫(David C.Y.Chu) , Rithvik Panchapakesan公司 , 沙达吉·拉达德 , 幸运E.Katahanas , 刘桓 , 考希克·希瓦库玛 , Natacha Crooks公司 , 约瑟夫·海勒斯坦 , 海蒂·霍华德 :
使用查询重写优化分布式协议。 程序。 ACM管理。 数据 2 ( 1 ) : 2:1-2:25 ( 2024 ) [第16条] 大卫·C.Y.楚 , 刘桓 , Natacha Crooks公司 , 约瑟夫·海勒斯坦 , 海蒂·霍华德 :
更大,而不是坏蛋:安全扩展BFT协议。 PaPoC@EuroSys 2024 : 30-36 [第15条] 克里斯·延森 , 海蒂·霍华德 , 安东尼奥斯·卡萨拉基斯 , 理查德·莫蒂尔 :
一致2PC:容错分布式事务可以快速而简单。 PaPoC@EuroSys 2024 : 44-57 【i21】 玛丽·冯 , 马修·艾奇森 , 埃利奥特·卡特 , 莎拉·科根 , 亚历山大·卡斯卡索利 , 维多利亚·克拉科夫纳 , 大卫·林德纳 , 马修·拉赫茨 , 亚尼斯·阿萨尔 , 莎拉·霍德金森 , 海蒂·霍华德 , 汤姆·利伯伦 , 拉马纳·库马尔 , 玛丽亚·阿比·拉德 , 阿尔伯特·韦伯森 , 何小黑 , 莎伦·林 , 塞巴斯蒂安·法夸尔 , 马库斯·赫特 , 格雷戈伊尔·德雷唐(Grégoire Delétang) , 阿尼安·鲁斯 , 塞利姆·埃尔·萨耶德 , 萨沙·布朗 , 安卡·D·德拉甘 , 罗欣·沙阿 , 阿兰·达福 , 托比·谢夫兰 :
评估危险能力的前沿模型。 CoRR公司 abs/2403.13793 ( 2024 ) [i20] 朱棣文(David Chu) , Rithvik Panchapakesan公司 , 沙达吉·拉达德 , 幸运的卡塔哈纳斯 , 刘桓 , 考希克·希瓦库玛 , Natacha Crooks公司 , 约瑟夫·海勒斯坦 , 海蒂·霍华德 :
使用查询重写优化分布式协议[技术报告]。 CoRR公司 abs/2404.01593 ( 2024 ) [i19] 威廉·舒尔茨 , 爱德华·阿什顿 , 海蒂·霍华德 , 斯塔夫罗斯·特里帕基斯 :
通过归纳证明切片进行可扩展、可解释的分布式协议验证。 CoRR公司 abs/2404.18048 ( 2024 ) [i18] 海蒂·霍华德 , 马库斯·库佩 , 爱德华·阿什顿 , 阿默里·查马尤 , Natacha Crooks公司 :
CCF分布式共识和一致性协议的智能临时验证。 CoRR公司 abs/2406.17455 ( 2024 ) [i17] 伊利亚·舒梅洛夫 , 杰米·海耶斯 , Eleni Triantafillou公司 , 吉列尔莫·奥尔蒂斯·希门尼斯 , 尼古拉斯·帕普诺特 , 马修·贾吉尔斯基 , 伊泰·尤纳 , 海蒂·霍华德 , 尤金·巴格达萨利安 :
无学习:无学习不足以在高级生成人工智能中进行内容管理。 CoRR公司 abs/2407.00106 ( 2024 ) [i16] 安德鲁·杰弗里 , 朱利安·马夫雷 , 海蒂·霍华德 , 理查德·莫蒂尔 :
LSKV:保护云中关键数据的机密分布式数据存储。 CoRR公司 abs/2407.12623 ( 2024 ) 2023 [j6] 海蒂·霍华德 , 弗里茨阿尔德 , 爱德华·阿什顿 , 阿默里·查马尤 , Sylvan Clebsch公司 , 曼纽尔·科斯塔 , 安托万·德利格纳·拉瓦德 , Cédric Fornet公司 , 安德鲁·杰弗里 , 马修·克纳 , Fotios Kounelis公司 , 马库斯·库佩 , 朱利安·马弗尔 , 马克·拉希诺维奇 , 克里斯托夫·温特斯泰格 :
机密联盟框架:具有机密性、完整性和高可用性的安全多方应用程序。 程序。 荷兰VLDB。 17 ( 2 ) : 225-240 ( 2023 ) [第14条] 尼尔·吉里德哈兰 , 弗洛里安·苏里·佩耶 , 马修·丁 , 海蒂·霍华德 , 伊泰·亚伯拉罕 , Natacha Crooks公司 :
比基斯:在连锁BFT中生存。 PODC公司 2023 : 233-243 【i15】 海蒂·霍华德 , 弗里茨阿尔德 , 爱德华·阿什顿 , 阿马里·查马尤 , Sylvan Clebsch公司 , 曼纽尔·科斯塔 , 安托万·德利格纳·拉瓦德 , Cédric Fornet公司 , 安德鲁·杰弗里 , 马修·科纳 , Fotios Kounelis公司 , 马库斯·A·库佩 , 朱利安·马弗尔 , 马克·拉希诺维奇 , 克里斯托夫·温特斯泰格 :
机密联盟框架:具有机密性、完整性和高可用性的安全多方应用程序。 CoRR公司 abs/2310.11559 ( 2023 ) [第14条] 安德鲁·杰弗里 , 海蒂·霍华德 , 理查德·莫蒂尔 :
向边缘适合性转变etcd。 CoRR公司 abs/2311.09929 ( 2023 ) 2022 [第13条] 海蒂·霍华德 , 理查德·莫蒂尔 :
放松的帕克索斯:再次重访法定人数交叉点。 欧洲系统的PaPoC 2022 : 16-23 [第12条] 伊泰·亚伯拉罕 , Natacha Crooks公司 , 尼尔·吉里德哈兰 , 海蒂·霍华德 , 弗洛里安·苏里·佩耶 :
简短声明:这不容易放松:连锁BFT协议中的活跃性。 磁盘 2022 : 39:1-39:3 [i13] 海蒂·霍华德 , 理查德·莫蒂尔 :
放松的帕克索斯:重新审视(再次)法定人数交叉点。 CoRR公司 abs/2203.03058 ( 2022 ) [i12] 伊泰·亚伯拉罕 , Natacha Crooks公司 , 尼尔·吉里德哈兰 , 海蒂·霍华德 , 弗洛里安·苏里·佩耶 :
放松并不容易:链接BFT协议中的活跃性。 CoRR公司 abs/2205.11652 ( 2022 ) 2021 [j5] 迈克尔·J·惠特克 , 尼尔·吉里德哈兰 , 阿德里亚娜·塞克雷斯 , 约瑟夫·海勒斯坦 , 海蒂·霍华德 , 费萨尔·纳瓦布 , 离子斯托伊卡 :
[解决方案]Matchmaker Paxos:一个可重构的共识协议。 J.系统。 物件。 1 ( 1 ) ( 2021 ) 【j4】 迈克尔·惠塔克 , Ailidani艾丽江 , 阿列克西·查拉普科 , 穆拉特·德米尔巴斯 , 尼尔·吉里德哈兰 , 约瑟夫·海勒斯坦 , 海蒂·霍华德 , 离子斯托伊卡 , 阿德里亚娜·塞克雷斯 :
使用分区扩展复制的状态机。 程序。 荷兰VLDB。 14 ( 11 ) : 2203-2215 ( 2021 ) [第11条] 安德鲁·杰弗里 , 海蒂·霍华德 , 理查德·莫蒂尔 :
为边缘重新构建Kubernetes。 EdgeSys@EuroSys 2021 : 7-12 [c10] 迈克尔·惠塔克 , 阿列克西·查拉普科 , 约瑟夫·海勒斯坦 , 海蒂·霍华德 , 离子斯托伊卡 :
读写仲裁系统变得实用。 欧洲系统的PaPoC 2021 : 7:1-7:8 【c9】 克里斯·延森 , 海蒂·霍华德 , 理查德·莫蒂尔 :
检查Raft在部分网络故障期间的行为。 HAOC@EuroSys 2021 : 11-17 【c8】 海蒂·霍华德 , 阿列克西·查拉普科 , 理查德·莫蒂尔 :
快速灵活型帕克索斯:放松快速帕克索的法定人数交叉。 ICDCN公司 2021 : 186-190 [i11] 安德鲁·杰弗里 , 海蒂·霍华德 , 理查德·莫蒂尔 :
为边缘重新构建Kubernetes。 CoRR公司 abs/2104.02423 ( 2021 ) [i10] 迈克尔·惠塔克 , 阿列克西·查拉普科 , 约瑟夫·海勒斯坦 , 海蒂·霍华德 , 离子斯托伊卡 :
读写仲裁系统变得实用。 CoRR公司 abs/2104.04102 ( 2021 ) [第九章] 尼尔·吉里德哈兰 , 海蒂·霍华德 , 伊泰·亚伯拉罕 , Natacha Crooks公司 , 阿林·托梅斯库 :
无承诺证明:在BFT中击败利沃洛克。 IACR加密。 电子打印架构。 2021 : 1308 ( 2021 ) 2020 【c7】 海蒂·霍华德 , 理查德·莫蒂尔 :
帕克索斯vs拉夫特:我们就分布式共识达成共识了吗? 欧洲系统的PaPoC 2020 : 8:1-8:9 [i8] 海蒂·霍华德 , 理查德·莫蒂尔 :
帕克索斯vs拉夫特:我们就分布式共识达成共识了吗? CoRR公司 abs/2004.05074 ( 2020 ) [i7] 迈克尔·J·惠特克 , 尼尔·吉里德哈兰 , 阿德里亚娜·塞克雷斯 , 约瑟夫·海勒斯坦 , 海蒂·霍华德 , 费萨尔·纳瓦布 , 离子斯托伊卡 :
Matchmaker Paxos:可重构共识协议[技术报告]。 CoRR公司 abs/2007.09468 ( 2020 ) [i6] 海蒂·霍华德 , 阿列克西·查拉普科 , 理查德·莫蒂尔 :
快速灵活Paxos:为快速Paxos放松Quorum交集。 CoRR公司 abs/2008.02671 ( 2020 ) [i5] 马丁·科勒普曼 , 海蒂·霍华德 :
拜占庭式最终一致性和对等数据库的基本限制。 CoRR公司 abs/2012.00472 ( 2020 ) [i4] 迈克尔·惠塔克 , Ailidani艾丽江 , 阿列克谢·查拉普科 , 穆拉特·德米尔巴斯 , 尼尔·吉里德哈兰 , 约瑟夫·海勒斯坦 , 海蒂·霍华德 , 离子斯托伊卡 , 阿德里亚娜·塞克雷斯 :
使用分区扩展复制的状态机[技术报告]。 CoRR公司 abs/2012.15762 ( 2020 )
2010 – 2019
2019 【b1】 海蒂·霍华德 :
修订了分布式共识。 英国剑桥大学, 2019 [i3] 海蒂·霍华德 , 理查德·莫蒂尔 :
分布式共识的通用解决方案。 CoRR公司 abs/1902.06776 ( 2019 ) 2017 [j3] 海蒂·霍华德 , Dahlia Malkhi公司 , 亚历山大·斯皮格曼 :
重温Paxos基金会:查看VMware Research的夏季实习工作。 ACM SIGOPS操作。 系统。 版次。 51 ( 1 ) : 67-71 ( 2017 ) 2016 【c6】 海蒂·霍华德 , Dahlia Malkhi公司 , 亚历山大·斯皮格曼 :
灵活帕克索斯:重新审视法定人数交叉点。 奥波迪斯 2016 : 25:1-25:14 [i2] 海蒂·霍华德 , Dahlia Malkhi公司 , 亚历山大·斯皮格曼 :
灵活帕克索斯:重新审视法定人数交叉点。 CoRR公司 abs/1608.06696 ( 2016 ) 2015 [注2] 海蒂·霍华德 , 麦尔特·施瓦茨科普夫 , 阿尼尔·马达瓦佩迪 , 乔恩·克劳克罗夫特 :
漂流重浮:我们达成共识了吗? ACM SIGOPS操作。 系统。 版次。 49 ( 1 ) : 12-21 ( 2015 ) 【c5】 阿米尔·乔杜里 , 乔恩·克劳克罗夫特 , 海蒂·霍华德 , 阿尼尔·马达瓦佩迪 , 理查德·莫蒂尔 , 哈达迪 , 德里克·麦考利 :
个人数据:在盒子里思考。 奥胡斯关键替代方案会议 2015 : 29-32 【c4】 海蒂·霍华德 , 乔恩·克劳克罗夫特 :
珊瑚:评估互联网边缘的共识。 SIGCOMM公司 2015 : 85-86 [i1] 哈达迪 , 海蒂·霍华德 , 阿米尔·乔杜里 , 乔恩·克劳克罗夫特 , 阿尼尔·马达瓦佩迪 , 理查德·莫蒂尔 :
个人数据:在盒子里思考。 CoRR公司 abs/1501.04737 ( 2015 ) 2013 【c3】 米莲娜·拉登科维奇 , 海蒂·霍华德 , 乔恩·克劳克罗夫特 , 默里·古尔登 , 克里斯蒂安·格雷芬哈根 , 德里克·麦考利 , 理查德·莫蒂尔 :
为无线社区网络提供安全性。 LCDNet@MobiCom 2013 : 29-32 【c2】 Charalampos Rotsos公司 , 海蒂·霍华德 , David Sheets公司 , 理查德·莫蒂尔 , 阿尼尔·马达瓦佩迪 , 阿米尔·乔杜里 , 乔恩·克劳克罗夫特 :
迷失在边缘:通过DNSSEC路标找到你的路。 FOCI公司 2013
2000 – 2009
2007 [j1] 乔治·Z·格特纳 , 王广兴 , 阿兰·安德森 , 海蒂·霍华德 :
将分层和上尺度方法-块协克里格法与遥感图像相结合,用于采样和绘制侵蚀覆盖因子。 经济。 信息学 2 ( 4 ) : 373-386 ( 2007 ) 【c1】 马良平 , 华珠 , 加亚特里·纳拉莫图 , Bo Ryu先生 , 海蒂·霍华德 :
了解无线传感器网络时间同步的线性回归。 ICWN公司 2007 : 325-328