PODC 2020:虚拟活动,意大利
并发
Sahil Dhoked公司 , 内拉杰·米塔尔 :
可恢复互斥的自适应方法。 1-10 Ohad Ben-Bruch公司 , 丹尼·亨德勒 , 马坦·鲁萨诺夫斯基 :
可探测物体空间复杂性的上下限。 11-20 马蒂厄·佩林 , Achour Mostéfaoui公司 , 格雷戈伊尔·博宁 :
将无等待层次结构扩展到多线程系统。 21-30 米尔扎·阿哈德·贝格 , 丹尼·亨德勒 , 阿莱西亚·米拉尼 , 科伦蒂·特拉弗斯 :
具有多对数摊销步骤复杂性的长寿命快照。 31-40 伊曼纽尔·戈达尔 , 达米恩·因布斯 , 米歇尔·雷纳尔 , 加迪·塔本费尔德 :
从贝佐特的身份到匿名记忆系统中的空间最优选择。 41-50 哈吉特·阿提亚 , 斯威塔·库马里 , 阿奇特·索马尼 , 詹妮弗·韦尔奇 :
简短公告:在连续流失的情况下收集,并应用于快照和点阵协议。 51-53 丹·阿利斯塔 , 詹姆斯·阿斯彭斯 , 费斯·埃伦 , 拉蒂·格拉什维利 , Leqi Zhu先生 :
简短公告:为什么基于扩展的校对失败。 54-56 斯蒂芬·多兰 :
简要声明:唯一不可撤销的CRDT是计数器。 57-58
图形算法I
米查尔·多里 , Merav Parter公司 :
拥挤集团中指数级更快的最短路径。 59-68 塞巴斯蒂安·布兰特 , 丹尼斯·奥利维蒂 :
二部极大匹配和变量的真紧-Δ界。 69-78 塞珀尔·阿萨迪 , 吉拉特·科尔 , 罗特姆·奥斯曼 :
最大匹配和最大独立集的分布式绘制的下限。 79-88 威尔·罗森鲍姆 , 朱卡·索米拉 :
远视与宽视:局部图形问题的体积复杂性。 89-98 苏米托姆·查特吉 , 罗伯特·格梅尔 , 戈帕尔·潘杜拉根 :
睡眠效率高:MIS在 O(运行) (1) -回合节点平均觉醒复杂度。 99-108 费比安·库恩 , 菲利普·施耐德 :
计算混合网络模型中的最短路径和直径。 109-118 莫森·加法里 , 克日什托夫·诺维茨基 :
最小割集的大规模并行算法。 119-128
共识
袁璐 , 吕振梁 , 羌塘 , 王桂玲 :
Dumbo-MVBA:最佳多值验证异步拜占庭协议,重审。 129-138 伊泰·亚伯拉罕 , 丹尼·多列夫 , 吉拉德·斯特恩 :
重新审视具有最佳弹性的异步容错计算。 139-148 迪米特里斯·萨卡瓦拉斯 , 刘易斯·曾荫权(Lewis Tseng) , 尼丁·H·瓦迪亚 :
定向网络中的异步拜占庭近似共识。 149-158 马德斯·弗雷德里克·马德森 , 瑟伦·德布瓦 :
关于不对等主题:定义同步协议系统中的不对等。 159-168 Ashish乔杜里 :
简短声明:以恒定的预期运行时间几乎完全终止异步拜占庭协议协议。 169-171 埃利·戈德韦伯 , 努达·张 , 马诺斯·卡普里索斯 :
简短公告:关于帕克索斯连续投票的意义。 172-174 希尔·科恩 , 艾迪特·基达尔 , 亚历山大·斯皮格曼 :
简短声明:并非巧合:亚二次异步拜占庭协议WHP。 175-177 潘卡杰·坎坎达尼 , 罗杰·瓦滕霍夫 :
简要公告:与未知参与者的拜占庭协议和失败。 178-180
并发、self-*算法等
陈宇诚 , 菲利普·沃尔费尔 :
标准基本体中具有恒定摊销RMR复杂性的可恢复互斥。 181-190 斯塔夫·本·农 , 茨维·科佩洛维茨 , 马坦·克劳斯 , 伊利·波拉特 :
安 O(运行) (日志 3/2 n个 )具有的多数并行时间群体协议 O(运行) (日志 n个 )州。 191-199 黄凯乐 , 于晃(音) , 恒丰伟 :
分布式多写原子寄存器快速实现的细粒度分析。 200-209 陈学平 , 陈和林 :
正则图中的自稳定领导人选举。 210-217 佩特拉·贝伦布里克 , 乔治·贾库普斯 , 彼得·克林 :
简要公告:人口协议中的最佳时间和空间领导者选举。 218-220 阿里克·林伯格 , 艾迪特·基达尔 :
简要公告:中间值线性化:一个定量正确性标准。 221-223 马修·罗德里格斯 , 迈克尔·F·斯皮尔 :
简讯:在C++内存模型中实现软件事务内存。 224-226 卡琳·阿尔蒂森 , Stéphane Devismes , 阿纳伊斯·杜兰德 , 科莱特·约翰宁 , 弗兰克·佩蒂特 :
简短公告:高动力喷发中的自我稳定系统。 227-229 麦吉德·迈克尔 :
简要公告:具有不可变链接的结构的危险点保护。 230-232
无线协议和图形模型
马格努斯·M·哈尔德森 , 费比安·库恩 , 亚尼克·莫斯 :
CONGEST模型中的距离-2着色。 233-242 菲利普·班伯格 , 费比安·库恩 , 亚尼克·莫斯 :
小带宽高效确定性分布式着色。 243-252 塞巴斯蒂安·布沙德 , 尤安·迪乌丹内 , 安德烈·佩尔克 :
想聚集吗? 无需闲聊! 253-262 阿里·波米里 , 伯纳德·曼斯 :
动态网络中异步谣言传播的严密分析。 263-272 张义军 , 瓦尔沙·达尼 , 托马斯·海耶斯 , 塞斯·佩蒂 :
无线网络中BFS的能量复杂性。 273-282 川崎敬一 , 斯里库里 , 亚伦·席尔德 , 格雷戈里·施瓦茨曼 :
简要公告:最大权重独立集的改进分布式近似。 283-285 陈海敏 , 郑朝东 :
简短公告:多频道无线网络中对抗自适应对手的资源竞争广播。 286-288
图形算法II
阿尔基达·巴利乌 , 费比安·库恩 , 丹尼斯·奥利维蒂 :
Delta中时间准对数分布边着色。 289-298 阿尔基达·巴利乌 , 塞巴斯蒂安·布兰特 , 丹尼斯·奥利维蒂 , 朱卡·索米拉 :
随机性对局部可检查问题有多大帮助? 299-308 阿图尔·祖马 , 皮特·达维斯 , Merav Parter公司 :
在拥挤的集团中,简单、坚定、持续的着色。 309-318 劳伦特·费伊洛利 , 皮埃尔·弗拉吉诺 , 佩德罗·蒙塔雷格里 , 伊万·拉帕波特 , 埃里克·雷米拉 , Ioan Todinca公司 :
平面图的紧分布证明。 319-328 塞巴斯蒂安·布兰特 , 克里斯托夫·格鲁瑙 , 瓦克拉夫·罗忠 :
Lovász局部引理分布复杂性的锐化阈值现象的推广。 329-338 马诺伊·古普塔 , 分析师拉胡尔贾殷 , 尼蒂克沙·莫迪 :
多源替换路径问题。 339-348 阿尔基达·巴利乌 , 塞巴斯蒂安·布兰特 , 尤瓦尔·埃夫隆 , Juho Hirvonen公司 , 亚尼克·莫斯 , 丹尼斯·奥利维蒂 , 朱卡·索米拉 :
简要公告:分布式二进制标记问题的分类。 349-351 丹尼斯·奥利维蒂 :
简短声明:圆形消除器:自动加速模拟工具。 352-354
拜占庭式袭击和共识
El-Mahdi El-Mhamdi埃尔·马赫迪 , 拉希德·格雷劳伊 , 阿萨尼·吉尔古斯 , 李恩桓 , 塞巴斯蒂安·鲁奥 :
真正分布式拜占庭机器学习。 355-364 尼鲁帕姆·古普塔 , 尼丁·H·瓦迪亚 :
分布式优化中的容错:冗余情况。 365-374 约拉姆·摩西 , 尼赞·扎米尔 :
可能大约知道。 375-384 格雷戈·班查默 , 罗伯特·埃尔萨瑟 , 多米尼克·卡瑟 , Matjaz Krnc公司 :
积极老龄化承认快速异步多元化共识。 385-394 亚当·希米 , 阿曼多·卡斯塔涅达 :
基于组合拓扑的圆形模型中的K-集协议界。 395-404 盖·戈伦 , 约拉姆·摩西 :
简短公告:关于在拜占庭环境中使用空消息。 405-407
协调
法比安·杜富隆 , 詹娜·伯曼 , 乔夫罗伊·博基尔 :
不协调的蜂鸣能讲故事吗? 408-417 克里姆·埃弗雷门科 , 吉拉特·科尔 , Raghuvansh R.Saxena公司 :
嘈杂的蜜蜂。 418-427 毛一凡 , Soubhik Deb公司 , Shaileshh Bojja Venkatakrishnan公司 , 斯雷拉姆·坎南 , 坎南·斯里尼瓦桑 :
近地点:区块链的高效对等网络设计。 428-437 塞斯·吉尔伯特 , 戈帕尔·潘杜拉根 , 彼得·罗宾逊 , 阿弥陀佛·特雷汉 :
DConstructor:具有多对数开销的高效稳健网络构建。 438-447 奥托·米歇尔 , 乔治·斯卡塔斯 , 保罗·G·斯皮拉基斯 :
主动动态网络中的分布式计算和重构。 448-457 亚格尔·阿什肯纳齐 , 兰·盖尔斯 , 埃米尔·莱斯姆 :
简短公告:嘈杂的蜂鸣网络。 458-460 马西耶·帕库特 , 马哈茂德·帕拉姆 , 斯特凡·施密德 :
简要声明:动态平衡图划分的确定下限。 461-463
图算法和CONGEST模型
Shiri Chechik先生 , 多伦·穆克塔尔 :
改进边界CONGEST模型中的单源最短路径。 464-473 科伦·塞索尔 , 弗朗索瓦·勒加尔 , 迪安·莱特斯多夫 :
关于派系的分布式列表。 474-482 迈克尔·埃尔金 , 阿诺德过滤器 , 奥弗·奈曼 :
光网络的分布式构建。 483-492 迈克尔·迪尼茨 , 卡勒布·罗伯尔 :
容错扳手的高效简单算法。 493-500 鲁汶酒吧Yehuda , 科伦·塞索尔 , Yannic毛斯 , 史莱亚斯·派 , Sriram V.彭马拉朱 :
幂图的分布逼近。 501-510 尤瓦尔·埃夫隆 , 奥弗·格罗斯曼 , 斯里库里 :
超越Alice和Bob:CONGEST中最大独立集的改进不逼近性。 511-520