2019年PODC:加拿大安大略省多伦多
彼得·罗宾逊 , 费斯·埃伦 :
2019年ACM分布式计算原理研讨会论文集,2019年PODC,加拿大安大略省多伦多,2019月29日至8月2日。 ACM公司 2019 ,国际标准图书编号 978-1-4503-6217-7
奖品
洛伦佐·阿尔维西 , 什洛米·多列夫 , 费斯·埃伦 , 艾迪特·基达尔 , 费比安·库恩 , 朱卡·索米拉 :
2019年Edsger W.Dijkstra分布式计算奖。 1 普拉萨德·贾扬蒂 , 南希·A·林奇 , 波阿斯·帕特·沙米尔 , 乌尔里希·施密德 :
2019年分布式计算原理博士学位论文奖。 2
主题演讲1
罗尼特·鲁宾菲尔德 :
局部计算算法。 三
第1部分
朱列克·齐佐维奇 , 莱斯泽克·盖西涅克 , 瑞安·基利克 , 埃文格洛斯·克拉纳基斯 :
平面对称破缺:未知属性机器人的交会。 4-13 埃里克·塞弗森 , 大卫·黑利 , 大卫·多蒂 :
离散化学反应网络中的可组合计算。 14-23 乔治·贾库普斯 , 弗雷德里克·马尔曼·特伦 , Hayk Saribekyan公司 :
如何传播谣言:给邻居打电话还是散散步? 24-33 大卫·多蒂 , 马赫萨·埃夫特哈里 :
均匀密集种群协议中的有效规模估计和终止不可能性。 34-42 佩特拉·贝伦布里克 , 多米尼克·卡瑟 , 托马斯·拉齐克 :
关于人口规模的计算。 43-52 陈学平 , 陈和林 :
自我稳定领导人选举。 53-59 铃木裕一 , Fukuhito Ooshita公司 , 岩井大辅 , Hirotsugu Kakugawa公司 , 藤泽俊美(Toshimitsu Masuzawa) :
人口协议模型中的对数期望时间领导人选举。 60-62 阿比纳夫·阿加瓦尔 , G.马修·弗里克 , 迪克莎·古普塔 , 梅兰妮·摩西 :
群集机器人中心位置觅食算法中的现场保真度和忽视代价。 63-65
第2部分
张义军 , 撒拉努拉克 :
改进的分布式扩展器分解和近似最优三角形枚举。 66-73 科伦·塞索尔 , 迈克尔·多里 , Janne H.Korhonen先生 , 迪安·莱特斯多夫 :
拥挤集团中的快速近似最短路径。 74-83 岩井大辅 , 弗朗索瓦·勒加尔 :
CONGEST-CLIQUE模型中全对最短路径问题的量子分布式算法。 84-93 Janosch Deurer公司 , 费比安·库恩 , 亚尼克·莫斯 :
CONGEST模型中的确定性分布支配集近似。 94-103 本·巴斯特(Ran Ben Basat) , 盖伊,甚至 , 川崎敬一 , 格雷戈里·施瓦茨曼 :
最优分布式覆盖算法。 104-106
第3部分
Merav Parter公司 , 伊伦·约盖夫 :
安全的分布式计算使其(几乎)达到最佳状态。 107-116 艾弗里·米勒 , 波阿斯·帕特·沙米尔 , 威尔·罗森鲍姆 :
速度快来小缓冲:路由的空间带宽权衡。 117-126 马格努斯·M·哈尔德森 , 蒂格兰·托诺扬 :
简单的SINR就足够了! 127-136 兰·盖尔斯 , 耶尔·托曼·卡莱 , 戈文德·拉姆纳拉扬 :
用于插入、删除和替换的高效多方交互编码。 137-146 阿比纳夫·阿加瓦尔 , 瓦尔沙·达尼 , 托马斯·海耶斯 , 贾里德·赛亚 :
使用专用信道的多方交互通信。 147-149 李松泽 , 萨伊德·萨拉伊 , 于明超 , Salman Avestimehr公司 , 斯雷拉姆·坎南 , 维斯瓦纳斯 :
编码状态机-在拜占庭故障下缩放状态机执行。 150-152 沃尔特·侯赛克 , 阿弥陀佛·特雷汉 :
洪水过程终止时。 153-155
主题演讲2
菲利普·沃尔费尔 :
走向随机共享内存算法理论。 156
第4次会议
扎赫拉·阿加扎德 , 达米恩·因布斯 , 米歇尔·雷纳尔 , 加迪·塔本费尔德 , 菲利普·沃尔费尔 :
最佳存储器-匿名对称无死锁互斥。 157-166 普拉萨德·贾扬蒂 , 悉达多·贾扬蒂 :
CC和DSM的固定摊销RMR可中止互斥。 167-176 普拉萨德·贾扬蒂 , 悉达多·V·贾扬蒂 , 阿努普·乔希(Anup Joshi) :
一种基于CC和DSM的具有次算术RMR的可恢复互斥算法。 177-186 悉达多·V·贾扬蒂 , 罗伯特·塔尔扬 , 恩里克·博伊克斯·阿泽尔 :
随机并发集并与广义唤醒。 187-196 肖恩烤箱 , 菲利普·沃尔费尔 :
快照和其他类型的强线性化实现。 197-206 阿里克·林伯格 , 亚历山大·斯皮格曼 , 爱德华·博特尼科夫 , 埃什卡尔·希勒尔 , 艾迪特·基达尔 , 哈达尔·塞维扬斯基 :
快速并发数据草图。 207-208 乔治·克莱西斯 , 奥斯卡·隆德斯特伦 , 埃拉·迈克尔·席勒 :
异步故障机网络系统的自稳定快照对象。 209-211 Wojciech M.Golab公司 :
可恢复共识层级。 212-214 索马·乔杜里 , 雷金纳德·弗兰克 , 詹妮弗·韦尔奇 :
快速读取如何影响多值寄存器模拟。 215-217
第5部分
托马斯·诺瓦克 , 乌尔里希·施密德 , 凯里尔·温克勒 :
一般消息对手下共识的拓扑特征。 218-227 乌里·迈尔 , 多尔·明泽 , 罗特姆·奥斯曼 :
分布式均匀性测试可以是本地的吗? 228-237 尼尔·巴赫拉赫 , 科伦·塞索尔 , 迈克尔·多里 , 尤瓦尔·埃夫隆 , 迪安·莱特斯多夫 , 阿米·巴兹 :
分布式优化的困难。 238-247 陈丽杰 , 奥弗·格罗斯曼 :
广播拥塞集团:蓄意集团和伪随机生成器。 248-255 什里亚斯派 , Sriram V.彭马拉朱 :
广播拥塞集团的连通性下限。 256-258 克劳斯·第谷·福斯特 , Janne H.Korhonen先生 , 乔尔·里比奇 , 斯特凡·施密德 :
预处理在拥塞情况下有帮助吗? 259-261
第6部分
阿尔基达·巴利乌 , 塞巴斯蒂安·布兰特 , 张义军 , 丹尼斯·奥利维蒂 , 米卡·拉比 , 朱卡·索米拉 :
路径上局部可检查问题的分布式复杂性是可决定的。 262-271 阿德里安·科索夫斯基 , 普尔泽米斯瓦夫·乌兹南斯基 , 劳伦特·维诺 :
通过轮毂标记稀疏图中精确距离查询的硬度。 272-279 菲利普·班伯格 , 莫森·加法里 , 费比安·库恩 , 亚尼克·莫斯 , 贾拉·尤托 :
关于分布分裂问题的复杂性。 280-289 莫森·加法里 , 费比安·库恩 :
局部分布图算法中随机性的使用。 290-299 西蒙·比顿 , 尤瓦尔·埃梅克 , 岩井大辅 , Shay Kutten公司 :
本地模式中的消息缩减是一种免费的午餐。 300-302 亚尼克·莫斯 :
P-SLOCAL-最大独立集近似的完备性。 303-305
主题演讲3
伊利亚·谢尔盖 :
设计我们可以信任(也可以运行)的分布式系统。 306
第7部分
拉希德·格雷劳伊 , 彼得·库兹涅佐夫 , 马泰奥·蒙蒂 , 马特伊·巴夫洛维奇 , Dragos-Adrian Seredinschi公司 :
加密货币的一致数字。 307-316 伊泰·亚伯拉罕 , T.-H.Hubert Chan , 丹尼·多列夫 , 卡提克·纳亚克 , 拉斐尔山口 , 凌仁 , 伊莱恩·施 :
《拜占庭协议的通信复杂性》,重新审视。 317-326 穆罕默德·萨米尔·汗 , 赛义德·沙兰·纳格维 , 尼丁·H·瓦迪亚 :
局部广播模型下无向图的精确拜占庭共识。 327-336 伊泰·亚伯拉罕 , Dahlia Malkhi公司 , 亚历山大·斯皮格曼 :
渐近最优验证异步拜占庭协议。 337-346 毛凡音 , Dahlia Malkhi公司 , 迈克尔·雷特 , 盖·戈兰·格塔 , 伊泰·亚伯拉罕 :
热门话题:BFT共识与线性和响应性。 347-356 约翰内斯·邦德 , 克里斯托弗·伦岑 , 威尔·罗森鲍姆 :
容错梯度时钟同步。 357-365 阿比纳夫·阿加瓦尔 , 马努什·莫瓦赫迪 , 贾里德·赛亚 , 师扎曼尼 :
在没有可信设置的情况下引导公共区块链。 366-368
第8部分
阿尔基达·巴利乌 , Juho Hirvonen公司 , 丹尼斯·奥利维蒂 , 朱卡·索米拉 :
分布式计算中最小对称破缺的硬度。 369-378 塞巴斯蒂安·布兰特 :
分布式问题的自动加速定理。 379-388 塞巴斯蒂安·布兰特 , 亚尼克·莫斯 , 贾拉·尤托 :
Lovász局部引理分布复杂性的一个尖锐阈值现象。 389-398
第9部分
曼努埃尔·布拉沃 , 亚历克谢·戈茨曼 :
可重新配置的原子事务提交。 399-408 马科斯·阿奎莱拉 , 纳玛·本·大卫 , 拉希德·格雷劳伊 , 维伦德拉·J·马拉特 , 伊戈尔·扎布尔奇 :
RDMA对协议的影响。 409-418 鲁斯兰·尼古拉耶夫 , 比诺伊·拉文德兰 :
透明:快速透明的无锁内存回收。 419-421 塞缪尔·托马斯 , 汉谟拉比门德斯 :
增加NUMA位置的跳过图上的分层数据结构。 422-424
第10课时
卓伦祥 , 尼丁·H·瓦迪亚 :
部分复制因果一致共享内存:下限和算法。 425-434 Kunal Korgaonkar公司 , 约瑟夫·伊兹拉列维茨 , 赵纪深(Jishen Zhao) , 史蒂文·斯旺森 :
Vorpal:大型持久内存系统的矢量时钟排序。 435-444 王兆国 , 赵长庚 , 帅牧 , 陈海波 , 李金阳 :
关于Paxos和Raft之间的平行线,以及如何进行港口优化。 445-454 扬·斯科齐普扎克 , 弗洛里安·辛特克 , 托尔斯滕·舒特 :
无日志的基于状态的CRDT的线性化状态机复制。 455-457 马西耶·科科辛斯基 , 塔德乌兹·科布斯 , Pawel T.Wojciechowski先生 :
关于混合最终一致性和强一致性:巴育再访。 458-460
第11次会议
塞珀尔·阿萨迪 , 孙晓瑞 , 欧姆里·温斯坦 :
稀疏图中求连通分量的大规模并行算法。 461-470 张义军 , 曼努埃拉·菲舍尔 , 莫森·加法里 , 贾拉·尤托 , 郑宇凡 :
拥挤团中(Δ+1)着色的复杂性、大规模并行计算和集中式局部计算。 471-480 索海尔·贝内扎德 , 塞巴斯蒂安·布兰特 , 马哈萨·德拉赫尚 , 曼努埃拉·菲舍尔 , 穆罕默德·塔吉·哈加加伊 , 理查德·卡普 , 贾拉·尤托 :
稀疏图中匹配和MIS的大规模并行计算。 481-490 布迪玛·甘拉特 , 萨加尔·卡莱 , 斯洛博丹·米特罗维奇 , 奥拉·斯文森 :
通过非加权增强进行加权匹配。 491-500
第12部分
伊泰·亚伯拉罕 , 丹尼·多列夫 , 伊万·杰夫纳 , 约瑟夫·哈珀(Joseph Y.Halpern) :
使用异步廉价对话实现中介。 501-510 迈克尔·迪尼茨 , 马格努斯·M·哈尔德森 , 岩井大辅 , 卡尔文·纽波特 :
分布式最小度生成树。 511-520 迈克尔·多里 , 莫森·加法里 :
改进的最小权二边连通跨越子图的分布逼近。 521-530 迈克尔·埃尔金 , 摇晃的马塔尔 :
低多项式确定性阻塞时间中的近可加扳手。 531-540 格雷格·博德温 , 夏马尔·帕特尔 :
顶点容错扳手的一个简单而优化的解决方案。 541-543
教程
刘艳红 , 斯科特·斯托勒 :
从经典到区块链共识:准确的算法是什么? 544-545 伊桑·布赫曼 :
任何编程语言中的拜占庭容错状态机复制。 546 克劳斯·第谷·福斯特 :
分布式异步系统的集中控制:软件定义网络和一致网络更新教程。 547-548 迭戈·塞佩达 , 萨基布·乔杜里 , Wojciech M.Golab公司 :
教程:指定、实现和验证持久内存的算法。 549