第34届DISC 2020(虚拟会议)
哈吉特·阿提亚 :
第34届分布式计算国际研讨会,DISC 2020,2020年10月12-16日,虚拟会议。 LIPIcs公司 179, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2020 ,国际标准图书编号 978-3-95977-168-9 前言、目录、前言、会议组织。 0:1-0:18 塞珀尔·阿萨迪 , 亚伦·伯恩斯坦 , 扎卡里·兰利 :
改进了分布式负载平衡的界限。 1:1-1:15 阿里克·林伯格 , 艾迪特·基达尔 :
中间值线性化:一个定量的正确性标准。 2:1-2:17 维塔利·阿克塞诺夫 , 丹·阿利斯塔 , 亚历山德拉·德罗兹多娃 , 阿米尔基万·莫塔沙米 :
Splay列表:一个分布式自适应并发跳过列表。 3:1-3:18 拉希德·格雷劳伊 , 亚历克斯·科根 , 维伦德拉·J·马拉特 , 伊戈尔·扎布尔奇 :
高效的多字比较和交换。 4:1-4:19 盖伊·布莱洛赫 , 袁浩伟 :
LL/SC和原子复制:仅使用指针宽度CAS的恒定时间、空间效率实现。 5:1-5:17 塔利·阿米尔 , 詹姆斯·阿斯彭斯 , 大卫·多蒂 , 马赫萨·埃夫特卡里 , 埃里克·塞弗森 :
填充协议的消息复杂性。 6:1-6:18 大荣秋 , 马蒂亚斯·福格尔 , Corbin料斗 , 曼尼什·库什瓦哈 , 托马斯·诺瓦克 , 昆汀·苏贝兰 :
人口持续增长的分布式计算。 7:1-7:17 奥雷连·贝莱 , 拉希德·格雷劳伊 , 哈德里安·亨德里克斯 :
谁开始了这个谣言? 量化绯闻协议的自然差异隐私。 8:1-8:18 乔治·贾库普斯 , 海克·萨里贝基安 , 托马斯·索尔瓦尔德 :
稀疏图中通过随机游动传播信息和疾病。 9:1-9:17 亚尔·希特伦 , 卡梅隆·马斯科 , 梅拉夫·帕特 :
通过流式算法镜头突出神经网络。 10:1-10:18 泽维尔·德法戈 , 尤瓦尔·埃梅克 , 谢·库滕 , 藤泽俊美(Toshimitsu Masuzawa) , 田村雅久 :
沟通高效自我稳定领导人选举。 11:1-11:19 朱塞佩·安东尼奥·迪卢纳 , 柳海友原 , 乔瓦尼·维格里塔 , 山内由纪子 :
匿名遗忘机器人在视野有限的圆圈上聚集。 12:1-12:17 塞巴斯蒂安·布兰特 , 朱利安·波特曼 , 贾拉·尤托 :
确定性高维网格勘探的严格界限。 13:1-13:16 盖·戈伦 , 沙伊·瓦尔加夫提克 , 约拉姆·摩西 :
并行服务器模型中的分布式调度。 14:1-14:18 苏新浩 , Hoa T.Vu公司 :
分布式密集子图检测和低扩展度定向。 15:1-15:18 亚尼克·莫斯 , 蒂格兰·托诺扬 :
重新审视局部冲突着色:列表的线性。 16:1-16:18 阿尔基达·巴利乌 , 塞巴斯蒂安·布兰特 , 尤瓦尔·埃夫隆 , Juho Hirvonen公司 , 亚尼克·莫斯 , 丹尼斯·奥利维蒂 , 朱卡·索米拉 :
分布式二进制标记问题的分类。 17:1-17:17 张义军 :
树上分布式局部可检查问题的复杂性。 18:1-18:17 奥弗·格罗斯曼 , 斯里库里 , 阿米·巴兹 :
CONGEST模型中直径近似值的改进硬度。 19:1-19:16 尤瓦尔·埃梅克 , 尤瓦尔·吉尔 :
22个新的近似证明标记方案。 20:1-20:14 梅拉夫·帕特 :
双失效容错距离保持器的分布式构造。 21:1-21:17 谢·库滕 , 小威廉·K·摩西。 , Gopal Pandurangan公司 , 大卫·佩莱 :
奇异最优随机领导选举。 22:1-22:18 曼努埃尔·布拉沃 , 格雷戈里·乔克勒 , 亚历克谢·戈茨曼 :
实现拜占庭共识。 23:1-23:17 托尼尔·弗朗萨·雷泽德 , 皮埃尔经 :
无领导的状态机复制:规范、属性、限制。 24:1-24:17 希尔·科恩 , 艾迪特·基达尔 , 亚历山大·斯皮格曼 :
并非巧合:亚二次方异步拜占庭协议WHP。 25:1-25:17 奥德·奈尔 , 艾迪特·基达尔 :
预期的线性循环同步:线性拜占庭SMR的缺失环节。 26:1-26:17 彼得·库兹涅佐夫 , 安德烈·托基克 :
拜占庭故障的异步重新配置。 27:1-27:17 卡提克·纳亚克 , 凌仁 , 伊莱恩·施 , 尼丁·H·瓦迪亚 , 卓伦祥 :
拜占庭广播和协议的改进扩展协议。 28:1-28:17 戴安娜·吉纳 , 贺睦廷 , 陈大柳章 :
从部分到全局异步可靠广播。 29:1-29:16 Bogdan S.Chlebus公司 , Dariusz R.Kowalski先生 , 简·奥尔科夫斯基 :
与拜占庭节点的网络快速协议。 30:1-30:18 约翰·奥古斯丁 , 瓦莱丽·金 , 阿尼苏尔·拉哈曼·莫拉 , 戈帕尔·潘杜拉根 , 贾里德·赛亚 :
陌生人之间的可扩展和安全计算:消息竞争拜占庭协议。 31:1-31:19 熊正 , 维杰·K·加格 :
同步消息传递系统中的拜占庭格协议。 32:1-32:16 科伦·塞索尔 , 奥尔·菲舍尔 , 齐利尔·戈南 , 弗朗索瓦·勒加尔 , 迪安·莱特斯多夫 , 罗特姆·奥斯曼 :
围长、圈和小子图的快速分布式算法。 33:1-33:17 莫森·加法里 , 克里斯托夫·格鲁瑙 , 策进 :
改进的MPC算法用于MIS、匹配和树上色及其他。 34:1-34:18 川崎敬一 , 斯里库里 , 亚伦·席尔德 , 格雷戈里·施瓦茨曼 :
最大独立集的改进分布逼近。 35:1-35:16 乌里·迈尔 , 阿米·巴兹 , 格雷戈里·施瓦茨曼 :
动态网络中的平滑模型。 36:1-36:16 穆罕默德·艾哈迈迪 , 费比安·库恩 :
CONGEST中的分布式最大匹配验证。 37:1-37:18 梅拉夫·帕特 :
近最佳时间内的分布式平面可达性。 38:1-38:17 马努斯·霍尔德森 , 费比安·库恩 , 亚尼克·莫斯 , 亚历山大·诺林 :
快速着色而不学习邻居的颜色。 39:1-39:17 塞巴斯蒂安·布兰特 , 芭芭拉·凯勒 , 乔尔·里比奇 , 朱卡·索米拉 , 贾拉·尤托 :
简要声明:通过分布式令牌丢弃实现高效负载平衡。 40:1-40:3 张义军 , 简·斯图登(Jan Studen) , 朱卡·索米拉 :
简讯:通过自动机理论透镜的分布式图形问题。 41:1-41:3 埃米利奥·克鲁西亚尼 , 赫拉福·阿尔菲·米蒙 , 马泰奥·夸特罗帕尼 , 萨拉·里佐 :
简讯:偏倚传播模型中k-多数动力学的相变。 42:1-42:3 皮埃尔·弗拉吉诺 , 弗朗索瓦·勒加尔 , 西村正美 , 阿米·巴兹 :
简短公告:复制数据的分布式量子证明。 43:1-43:3 阿什什·乔杜里 :
简要声明:重新审视最佳弹性无条件安全异步多方计算。 44:1-44:3 皮埃尔·西维特 , 塞斯·吉尔伯特 , 文森特·格拉莫利 :
简短公告:Polygraph:责任拜占庭协议。 45:1-45:3 克劳斯·第谷·福斯特 , Juho Hirvonen公司 , 伊冯·安·皮诺莱 , 斯特凡·施密德 , 吉勒·特雷丹 :
简短公告:哪些内容可以(不可以)在本地完全重新路由。 46:1-46:3 伊泰·亚伯拉罕 , 卡提克·纳亚克 , 凌仁 , 卓伦祥 :
简要公告:拜占庭协议、广播和状态机复制以及最佳Good-Case延迟。 47:1-47:3 贺睦廷 , 阿尔德·卡斯特拉蒂 , 陈大柳章 :
简要公告:多阈值异步可靠广播和共识。 48:1-48:3 保罗·扎帕拉 , 玛丽安娜·贝洛蒂 , 玛丽亚·波托普·布图卡鲁 , 斯特凡诺·塞奇 :
简要公告:区块链稳健性分析的博弈论框架。 49:1-49:3 多列夫·阿达斯 , 罗伊·弗里德曼 :
简短声明:Jiffy:一个快速、内存高效、无等待的多生产者单消费者队列。 50:1-50:3 盖伊·布莱洛赫 , 袁浩伟 :
简要公告:同步固定规模分配,固定时间免费。 51:1-51:3 郝森文 , 蔡文涛 , 杜明哲 , 本杰明·瓦尔佩 , 迈克尔·斯科特 :
简短声明:使用蒙太奇构建快速可恢复的持久数据结构。 52:1-52:3 刘易斯·曾荫权(Lewis Tseng) , 秦子璋 , 张一凡 :
简短声明:当每个人都可能崩溃时,达成大致共识。 53:1-53:3 彼得·库兹涅佐夫 , 蒂鲍特·里乌特 :
简要公告:关于2-过程仿射模型的可判定性。 54:1-54:3
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)