第39届SRDS 2020：中国上海
可靠分布式系统国际研讨会，SRDS 2020，中国上海，2020年9月21日至24日。 电气与电子工程师协会 2020 ，国际标准图书编号 978-1-7281-7626-0
第1部分： 容错与协调
中村俊雅 
, 柴田正弘 , 铃木裕一 , 金永万 :
极小弱ST-可到达有向非循环图的自稳定构造。 1-10 Duong N.Nguyen公司 , Sandeep S.Kulkarni :
在最终一致的键值存储上基于图的自稳定应用程序中，稳定与回滚的好处。 11月20日 奥雷斯蒂斯阿尔卑斯山 , 克里斯蒂安·卡钦 :
超越门槛的共识：普遍拜占庭法定人数得以实现。 21-30
第2部分： 块链
克里斯蒂娜·米勒 , 马库斯·布兰登伯格 , 克里斯蒂安·卡钦 , 帕斯卡·费尔伯 , 克里斯蒂安·戈特尔 , 瓦莱丽奥·斯齐亚沃尼 :
TZ4Fabric：与ARM TrustZone执行智能合约：（实践经验报告）。 31-40 李超（音） , 巴拉吉·帕拉尼萨米 , 徐润华 , 王健（Jian Wang） , 刘继强 :
NF-Crowd：基于近距离区块链的众包。 41-50 轻骑培 , 周恩源 , 杨晓 , 张德玉（Deyu Zhang） , 赵东晓 :
基于Merkle语义尝试的混合存储区块链高效查询方案。 51-60 岳丽 , 韩流（Han Liu） , 杨志强 , Bin Wang（王斌） , 钱仁 , 王磊（Lei Wang） , 陈邦道 :
保护您的智能合同免受不公平支付。 61-70
第三部分： 学习I
El-Mahdi El-Mhamdi埃尔·马赫迪 , 拉希德·格雷劳伊 , 塞巴斯蒂安·鲁奥 :
高维快速稳健的分布式学习。 71-80 陈浩英 , 金海明 , 者王旭东 , 袁罗 :
双重保险：移动群组感知中具有差异隐私的激励性联合学习。 81-90 高燕松 , Minki Kim女士 , 谢里夫·阿巴德巴 , Yeonjae Kim先生 , 钱德拉·塔帕 , Kyuyeon Kim先生 , 塞伊特·艾哈迈特·乔姆特佩 , Hyongshick Kim先生 , 苏里亚尼泊尔 :
物联网联合学习和分离学习的端到端评估。 91-100
第4部分： 形式化方法
乔尔·瓦纳 , 劳伦特·丘特 , 阿德里安·佩里格 :
拜占庭容错日志复制的正式验证协议。 101-112 泽维尔·德法戈 , 亚当·赫里班 , 塞巴斯蒂安·蒂谢尔 , 和田光一 :
使用模型检查形式验证欧氏空间中带光机器人的交会算法。 113-122 维迪亚·特肯·瓦拉皮尔 , Sandeep S.Kulkarni , 埃里克·托恩 , 盖布·阿普尔顿 :
部分同步分布式系统的高效双层监视器。 123-132
第5部分： 复制
小Tarcisio Ceolin , 费尔南多·路易斯·多蒂 , 费尔南多·佩多内 :
来自广义共识的并行状态机复制。 133-142 薛江 , 恒丰伟 , 黄宇 :
弱一致复制数据类型的通用规范框架。 143-154 洛克·邦尼奥 , 克里斯托夫·诺伊曼 , 弗朗索瓦·塔亚尼 :
PnyxDB：轻量级无领导的民主拜占庭容错复制数据存储。 155-164 格哈德·哈比格 , 弗兰兹·J·哈克 , 汉斯·雷瑟 , 约翰内斯·科斯特勒 :
用于复制状态机的自优化应用程序无关多线程。 165-174
第6部分： 安全与隐私I
马丁·拜伦海德 , 托尔斯滕·斯特鲁夫 , 斯蒂芬妮·罗斯 :
拓扑受限网络中可扩展路由的根生成树的安全嵌入。 175-184年 杨帆江 , 周一鹏 , 狄武 , 李超（音） , 王艳 :
联邦协同过滤中先令攻击的检测。 185-194 张波（音译） , 张洪宇 , 巴勃罗·莫斯卡托 , 张敖中 :
通过从日志中挖掘数字工作流关系进行异常检测。 195-204 刘晓霞 , 稻井河 , 云高 , 朱森村 , 陈山河 :
TLP-IDS：集成电子系统的两层入侵检测系统。 205-214
第7部分： 分布式存储
孟燕 , 徐佳佳 , 特伦特·马尔巴赫 , 李海涛 , 王刚（Gang Wang） , 刘晓光 :
Audinet：云存储的分散审计系统。 215-224 傅英勋 , 刘勋 , 《纪武书》 , 沈志荣 , 张士业（Shiye Zhang） , 吴军 , 段建勇 , 李玛 :
设备和位置感知框架，用于优化具有异构存储设备的擦除编码存储系统的单次故障恢复和读取。 225-235 Xin Xie（新谢） , 吴晨涛 , 杨将军 , 叶宗欣 , 何旭斌 , 李杰（音译） , 郭敏义 , 薛广涛 , 圆圆洞 , 赵亚飞 :
AZ恢复：用于擦除编码云存储系统的高效跨AZ恢复方案。 236-245 斯武 , 沈志荣 , 帕特里克·P·C·李 :
通过弹性Reed-Solomon码在擦除编码KV存储器中实现I/O高效冗余转换。 246至255
第8部分： 新兴技术
卡洛斯·塞加拉 , 里卡德·德尔加多·冈萨洛 , 瓦莱里奥·斯齐亚沃尼 :
MQT-TZ：使用ARM TrustZone强化物联网经纪人：（实践经验报告）。 256-265 丹妮拉·洛雷蒂 , 马塞洛·阿蒂奥利 , 安娜·齐安波里尼 :
在具有多个硬故障恢复能力的高性能硬件上求解线性系统。 266-275 特拉维斯·勒康普 , 方琦 , 卢鹏 :
强大的Cache-Aware Quantum处理器布局。 276-287 雅各布尼尔森 , 罗伯托·帕尔米耶里 :
NUMA对单侧RDMA相互作用影响的性能评估。 288-298
第9部分： 学习II+安全与隐私II
卡里姆·布博 , 阿明·布塞塔 , 叶海亚·本考兹 , 拉希德·格雷劳伊 :
强大的P2P个性化学习。 299-308 张艺蕾（Yilei Zhang） , 张培云 , 罗永龙 , 李亚基 :
在不可靠的移动边缘环境中实现高效、可靠和隐私保护的服务QoS预测。 309-318 四思端 , 刘超（Chao Liu） , 王欣（Xin Wang） , 吴宇森 , 帅旭 , 叶琳娜·叶莎 , 张海滨 :
入侵容忍和机密性保护发布/订阅消息。 319-328
第10部分： 演示/海报
科纳托里 , 高福美菊池 , 河野贤治 :
海报：不再有慢消息：硬IRQ中的可编程数据包处理。 329-331 萨纳斯·塔赫里·博斯罗耶赫 , 阿里·乌特坎·萨欣 , 叶海亚·哈桑扎德·纳扎拉巴迪 , 奥兹努尔·兹卡萨普 :
演示：Guard安全路由协议的概念验证实现。 332-334 叶海亚·哈桑扎德·纳扎拉巴迪 , 纳齐尔·纳亚尔 , 沙迪·萨米赫·哈姆丹 , 阿里·乌特坎·萨欣 , 奥兹努尔·兹卡萨普 , 阿尔佩金 :
演示：跳过图形中间件实现。 335-337
