PODC 2021:虚拟活动,意大利
艾弗里·米勒 , 科伦·塞索尔 , Janne H.Korhonen先生 :
PODC’21:ACM分布式计算原理研讨会,虚拟活动,意大利,2021年7月26日至30日。 ACM公司 2021 ,国际标准图书编号 978-1-4503-8548-0
奖品
科伦·塞索尔 , 皮埃尔·弗拉吉诺 , 西里尔·加维尔 , 塞斯·吉尔伯特 , 安德烈·佩尔克 , 大卫·佩莱 :
2021年Edsger W.Dijkstra分布式计算奖。 1 马科斯·阿奎莱拉 , 哈吉特·阿提亚 , 克里斯蒂安·卡钦 , 亚历山德罗·潘科内西 :
2021年分布式计算原理博士学位论文奖。 三
主题演讲
第1部分: 机器人、动力学和人口协议
大卫·G·柯克帕特里克 , 伊琳娜·科斯蒂奇娜 , 阿尔弗雷多·纳瓦拉 , 朱塞佩·普伦西佩 , 尼古拉·桑托罗 :
自主机器人有界和无界异步分离:有限可见性的点收敛。 9-19 卡琳·阿尔蒂森 , Stéphane Devismes , 阿纳伊斯·杜兰德 , 科莱特·约翰恩 , 弗兰克·佩蒂特 :
网络动力学弱假设下稳定领导选举的实施。 21-31 詹娜·伯曼 , 陈和林 , 陈学平 , 大卫·多蒂 , 托马斯·诺瓦克 , 埃里克·塞弗森 , 川旭 :
人口协议中的时间最优自我稳定领导人选举。 33-44 菲利普·泽纳 , 哈维尔·埃斯帕尔扎 :
种群协议状态复杂性的下界。 45-54 丹·阿利斯塔 , 马丁·特普费尔 , 普尔泽米斯瓦夫·乌兹南斯基 :
人口协议中的比较动力学。 55-65 南康 , 弗雷德里克·马尔曼·特伦 , 尼古拉斯·里维拉 :
人口议定书中的多样性、公平性和可持续性。 67-76 大卫·多蒂 , 马赫萨·埃夫特哈里 , 莱斯泽克·盖西涅克 , 埃里克·塞弗森 , 格拉泽戈兹·斯塔乔维克 , 普尔泽米斯瓦夫·乌兹南斯基 :
简短公告:一个解决精确多数的时间和空间最优稳定种群协议。 77-80
第2部分: 生物算法、冲突解决和无线网络
安德烈亚·克莱门蒂 , 弗朗西斯科·达莫尔 , 乔治·贾库普斯 , 伊曼纽尔·纳塔莱 :
通过Z2上的平行Lévy Walks进行搜索。 81-91 尤瓦尔·埃梅克 , 埃亚尔·克伦 :
一种薄自稳定异步Unison算法及其在容错生物网络中的应用。 93-102 法比安·杜富隆 , Shay Kutten公司 , 小威廉·K·摩西。 :
可编程物质的高效决定性领导人选举。 103-113 菲利普·泽纳 , 罗兰·古腾堡 , 马丁·海尔弗里奇 , 哈维尔·埃斯帕尔扎 :
分布式计算弱异步模型的决策能力。 115-125 塞斯·吉尔伯特 , 卡尔文·纽波特 , 尼丁·H·瓦迪亚 , 亚历克斯·韦弗 :
通过预测解决争议。 127-137 陈海敏 , 江永刚 , 郑朝东 :
在没有碰撞检测的情况下,在冲突解决中进行严格权衡。 139-149 瓦尔莎·达尼 , 阿尤什·古普塔 , 托马斯·海耶斯 , 塞斯·佩蒂 :
简短声明:醒醒,加入我! 无线网络中最大匹配的一种节能算法。 151-153
第三部分: 区块链
薛英杰 , 赫利希 :
跨链交易中针对失败者攻击的对冲。 155-164 艾迪特·基达尔 , Eleftherios Kokoris-Kogias公司 , 奥德·纳尔 , 亚历山大·斯皮格曼 :
你所需要的就是DAG。 165-175 玛丽亚·安娜·谢特 , 乔治·达内齐斯 :
在块DAG中嵌入确定性BFT协议。 177-186 拉蒂·格拉什维利 , Lefteris Kokoris-科吉亚斯 , 亚历山大·斯皮格曼 , 卓伦祥 :
简短声明:网络出现故障时做好准备:异步视图更改协议。 187-190 纳玛·本·大卫 , 卡提克·纳亚克 :
简要声明:通过单向通信对可信硬件进行分类。 191-194 马克·阿布斯波 , 托马斯·阿特玛 , 马蒂厄·兰堡 :
简短声明:与领导人达成共识,恶意安全免费提供。 195-198 埃里克·陈 , 莫森·莱萨尼 :
简要声明:使用散列Timelock合同进行经纪是NP-Hard。 199-202
第4部分: 快捷方式、扳手和消息复杂性
西蒙·科根 , Merav Parter公司 :
等直径图中的低聚合快捷方式。 203-211 莫森·加法里 , 伯恩哈德·海普勒 :
不包括稠密未成年人的图形的低浓度快捷方式。 213-221 米查尔·多里 , 奥尔·菲舍尔 , 斯里库里 , 迪安·莱特斯多夫 :
拥挤集团和MPC中的恒定旋转扳手和最短路径。 223-233 迈克尔·埃尔金 , 摇晃的马塔尔 :
Ultra-Sparse近加性仿真器。 235-246 什里亚斯派 , 戈帕尔·潘杜拉根 , Sriram V.彭马拉朱 , 彼得·罗宾逊 :
我们能用o(m)通信打破对称吗? 247-257 的曼尼施·库马 , 阿尼苏尔·拉哈曼·莫拉 :
简短公告:关于容错计算的消息复杂性:领导人选举和协议。 259-262
第5部分: 局部图问题
阿尔基达·巴利乌 , 塞巴斯蒂安·布兰特 , 丹尼斯·奥利维蒂 , 简·斯图登(Jan Studen) , 朱卡·索米拉 , Aleksandr Tereshchenko先生 :
根树中的局部可检查问题。 263-272 张义军 , 莫森·加法里 :
强直径网络分解。 273-281 阿尔基达·巴利乌 , 塞巴斯蒂安·布兰特 , 法比安·库恩 , 丹尼斯·奥利维蒂 :
改进了MIS的分布式下限和树中的有界(外)度支配集。 283-293 大卫·G·哈里斯 , 苏新浩 , Hoa T.Vu公司 :
纳什-威廉姆斯森林分解和星林分解的局部性。 295-305 塞巴斯蒂安·布兰特 , 克里斯托夫·格鲁瑙 , 瓦克拉夫·罗忠 :
Lovász局部引理的随机局部计算复杂性。 307-317
第6部分: 拜占庭协议和广播
埃莱特·博伊尔 , 兰·科恩 , 奥鲁希·戈尔 :
打破O(√n)位壁垒:拜占庭协议与各方Polylog位。 319-330 伊泰·亚伯拉罕 , 卡提克·纳亚克 , 凌仁 , 卓伦祥 :
拜占庭广播的Good-case Latency:一个完整的分类。 331-341 彼得·库兹涅佐夫 , 安德烈·托基克 , 严X.张 :
重新审视快速拜占庭共识的最佳弹性。 343-353 马蒂亚斯·菲齐 , 陈大柳章 , 朱利安损失 :
实现全面高效拜占庭协议的新途径。 355-362 伊泰·亚伯拉罕 , 菲利普·约万诺维奇 , 玛丽·马勒 , 米克尔约翰 , 吉拉德·斯特恩 , 阿林·托梅斯库 :
达成异步分布式密钥生成共识。 363-373 贾斯汀·金 , 范丹·梅塔 , 卡提克·纳亚克 , 尼贝什·什雷斯塔 :
简短声明:在出现移动迟缓故障时确保同步BFT协议的安全。 375-377
第7部分: 分布式ML、拓扑和并行算法
刘硕 , 尼鲁帕姆·古普塔 , 尼丁·H·瓦迪亚 :
分布式优化中的近似拜占庭容错。 379-389 拉希德·格雷劳伊 , 尼鲁帕姆·古普塔 , 拉法皮诺 , 塞巴斯蒂安·鲁奥 , 约翰·斯蒂芬 :
SGD中的差异隐私和拜占庭弹性:它们相加吗? 391-401 盖·戈伦 , 沙伊·瓦尔加夫提克 , 约拉姆·摩西 :
异构负载平衡系统中的随机协调。 403-414 皮埃尔·弗拉吉诺 , 兰·盖尔斯 , Zvi Lotker公司 :
随机对称性破坏分布式计算的拓扑结构。 415-425 杰雷米·莱登特 :
简讯:图和单纯形复数近似一致的变体。 427-430 摩西·查里卡尔 , 马伟云 , 李阳潭 :
简讯:一种随机高效的大规模并行连接算法。 431-433
第8部分: 容错、MPC和最短路径
格雷格·博德温 , Merav Parter公司 :
边故障图的可恢复最短路径分层。 435-443 米查尔·多里 , Merav Parter公司 :
容错标签和紧凑路由方案。 445-455 托尔斯滕·哥特 , 克里斯蒂安·欣内塔尔 , 克里斯蒂安·谢德勒 , 朱利安·沃特曼 :
重叠网络的时间最优构建。 457-468 阿图尔·祖马 , 皮特·达维斯 , Merav Parter公司 :
低空间MPC中改进的确定性(Δ+1)着色。 469-479 阿图尔·祖马 , 皮特·达维斯 , Merav Parter公司 :
低空间大规模并行计算中的组件稳定性。 481-491 曹乃仁 , 杰里米·芬曼 , 卡蒂娜·罗素 :
简讯:一种改进的分布式近似单源最短路径算法。 493-496
第9部分: 并发和共享内存
凯曼·布鲁斯 , 费斯·埃伦 :
基于缩减和扩展的证明。 497-507 肖恩烤箱 :
可扫描二进制对象的空间复杂性。 509-519 瓦索斯·哈齐拉科斯 , 星虎 , 萨姆·图格 :
关于寄存器线性化和终止。 521-531 陈宇诚 , 菲利普·沃尔费尔 :
可恢复互斥的RMR复杂性的严格下限。 533-543 本亚明·巴沙里 , 菲利普·沃尔费尔 :
高效的自适应部分快照实现。 545-555 南丽 , Wojciech M.Golab公司 :
简要公告:可恢复共享对象的可检测顺序规范。 557-560 加尔·塞拉 , 赫利希 , 埃雷斯·彼得兰克 :
简短声明:线性化:打字错误。 561-564 Saksham Chand公司 , 刘艳红 :
简短公告:什么是直播? 理解分布式共识。 565-568
教程
约翰·奥古斯丁 , 阿尼苏尔·拉哈曼·莫拉 , 戈帕尔·潘杜拉根 :
拜占庭协议与领导人选举:从古典到现代。 569-571 尼丁·H·瓦迪亚 :
分布式优化和分布式机器学习的安全和隐私。 573 阿米特·乔普拉 , 塞缪尔·克里斯蒂五世。 , 穆林达尔·辛格 :
面向交互的编程:工程分散应用程序的应用程序语义方法。 575-576