第25届OPODIS 2021:法国斯特拉斯堡
昆汀·布拉马斯 , 文森特·格拉莫利 , 阿莱西亚·米拉尼 :
第25届分布式系统原理国际会议,OPODIS 2021,2021年12月13日至15日,法国斯特拉斯堡。 LIPIcs公司 217, Schloss Dagstuhl-莱布尼茨信息中心 2022 ,国际标准图书编号 978-3-95977-219-8 -
前言、目录、前言、会议组织。 0:1-0:16 纳塔莉·贝特朗 :
分布式算法:模型检查的挑战性游戏场(受邀演讲)。 1:1-1:1 彼得·库兹涅佐夫 :
责任分布式计算(受邀演讲)。 2:1-2:1 罗伯特·范·雷内西 :
全新审视传播范式的设计与实施(邀请谈话)。 3:1-3:1 亚历山大·莫勒 :
拜占庭SGD任意精确聚合方案。 4:1-4:17 伊泰·亚伯拉罕 , 凌仁 , 卓伦祥 :
未经认证的拜占庭广播的好案例和坏案例延迟:一个完整的分类。 5:1-5:20 Emmanuelle Anceaume公司 , 安东尼拉·德尔·波佐 , 蒂鲍特·里乌特 , 萨拉·图奇·皮尔吉奥瓦尼 :
关于区块链中的最终性。 6:1-6:19 谢哈尔·巴诺 , 阿尔贝托·索尼诺 , 安德烈·丘尔辛 , 德米特里·佩雷尔曼 , 李泽坤 , 艾弗里·钦 , Dahlia Malkhi公司 :
双胞胎:BFT系统变得强大。 7:1-7:29 Ajay D.Kshemkalyani , 戈卡娜·夏尔马 :
任意匿名图上的近最优色散。 8:1-8:19 早矢香龟井 , 阿尼萨·拉马尼 , Fukuhito Ooshita公司 , 塞巴斯蒂安·蒂谢尔 , Koichi Wada公司 :
圆环中的异步聚集。 9:1-9:17 考斯塔夫·博斯 , Archak Das公司 , Buddhadeb绍 :
机器人不精确运动的模式形成。 10:1-10:20 萨姆·科伊 , 阿图尔·祖马 , 迈克尔·费尔德曼 , 克里斯蒂安·欣内塔尔 , 费比安·库恩 , 克里斯蒂安·谢德勒 , 菲利普·施耐德 , Martijn Struijs公司 :
混合通信网络中的最短路径路由。 11:1-11:23 莱斯泽克·盖西涅克 , 杰斯珀·詹森 , 克里斯托斯·列夫科普洛斯 , 安德烈·林加斯 :
匿名群体中身份的有效分配。 12:1-12:21 Hiroto Yasumi先生 , Fukuhito Ooshita公司 , 井上美彦 :
图类识别问题的总体协议。 13:1-13:19 丹·阿利斯塔 , 拉蒂·格拉什维利 , 乔尔·里比奇 :
快速图形填充协议。 14:1-14:18 阿米尔·尼卡巴迪 , Janne H.Korhonen先生 :
超越分布式子图检测:诱导子图,多色问题和图参数。 15:1-15:18 塞巴斯蒂安·福斯特 , 马丁·格里斯巴赫 , Tijn de Vos公司 :
扳手和低直径分解的改进随机移位算法。 16:1-16:17 萨尔瓦·法尔 , 马克·富克斯 , 费比安·库恩 :
加权顶点覆盖和匹配的分布式CONGEST近似。 17:1-17:20 阿尔基达·巴利乌 , 费比安·库恩 , 丹尼斯·奥利维蒂 :
改进的分布式分数着色算法。 18:1-18:23 尼古拉斯·布斯克 , 劳伦特·费伊洛利 , 马克·海因里希 , 米卡·拉比 :
区间图和弦图的分布重着色。 19:1-19:17 巴皮·查特吉 , 萨提亚·佩里 , Muktikanta Sa公司 , 科玛·马诺尼亚 :
具有最坏分摊边界的非块动态无界图。 20:1-20:25 奥尔·菲舍尔 , 罗特姆·奥斯曼 , 达纳·沙米尔 :
带有小分隔符的图中证明标记方案的显式时空权衡。 21:1-21:22 尼古拉斯·布斯克 , 劳伦特·费伊洛利 , 塞奥·皮耶伦 :
图分解的局部证明及其在无子类中的应用。 22:1-22:17 卢西亚诺·弗雷塔斯·德苏扎 , 安德烈·托基克 , 萨拉·图奇·皮尔吉奥瓦尼 , 雷诺·瑟迪 , 奥纳·斯坦 , 尼古拉斯·奎罗 , 彼得·库兹涅佐夫 :
RandSolomon:具有确定性终止的最优弹性随机数生成器。 23:1-23:16 莱利亚·布林 , 劳伦特·费伊洛利 , 加布里埃尔·勒布德 :
确定性自稳定领导人选举算法的最优空间下界。 24:1-24:12 卢西亚诺·弗雷塔斯·德苏扎 , 彼得·库兹涅佐夫 , 蒂鲍特·里乌特 , 萨拉·图奇·皮尔吉奥瓦尼 :
责任与重构:自愈格协议。 25:1-25:23 威廉·舒尔茨 , 周思源 , 伊恩·达尔迪克 , 斯塔夫罗斯·特里帕基斯 :
一种无日志动态重配置协议的设计与分析。 26:1-26:16 伊泰·亚伯拉罕 , 卡提克·纳亚克 , 尼贝什·什雷斯塔 :
旋转先导同步BFT的最佳Good-Case延迟。 27:1-27:19 史蒂文·蒙苏·黄 , 菲利普·沃尔费尔 :
强线性化链表和队列。 28:1-28:20 利亚德·纳胡姆 , 哈吉特·阿提亚 , Ohad Ben-Bruch公司 , 丹尼·亨德勒 :
可恢复和可检测的提取和添加。 29:1-29:17 加勒阿萨邦 , 迈尔夏甲教堂 , 盖·戈兰·格塔 , 艾迪特·基达尔 , 亚历山大·斯皮格曼 :
使用嵌套扩展事务数据结构库的限制。 30:1-30:17 伯纳德·曼斯 , 阿里·波米里 :
动态图中的异步谣言传播。 31:1-31:20