PODC 2023: 美国佛罗里达州奥兰多
罗特姆·奥斯曼 , 亚历山大·诺林 , 马格努斯·M·哈尔德森 , 阿尔基达·巴利乌 :
2023年美国计算机学会分布式计算原理研讨会论文集,PODC 2023,美国佛罗里达州奥兰多,2023年6月19-23日。 ACM公司 2023
主题演讲
罗杰·瓦滕霍夫 :
从分布式算法到机器学习和后退。 1
力学
横田大辅 , 铃木裕一 , Fukuhito Ooshita公司 , 藤泽俊美(Toshimitsu Masuzawa) :
具有多个状态数的环上自我稳定领导人选举的近时间最优人口协议。 2-12 塔利·阿米尔 , 詹姆斯·阿斯彭斯 , 佩特拉·贝伦布里克 , 菲利克斯·比尔米耶 , 克里斯托弗·哈恩 , 多米尼克·卡瑟 , 约翰·拉扎斯菲尔德 :
人口协议模型中k意见未决定状态动力学的快速收敛。 13-23 罗曼·考森 , 劳伦特·马苏利 , 劳伦特·维诺 :
简短公告:高效的合作树探索,具有广度-深度-下一个。 24-27 菲利普·泽纳 :
简短声明:人口协议决定双指数阈值。 28-31
分布式近似
张义军 , 李泽勇 :
打包和覆盖整数线性规划的分布逼近的复杂性。 32-43 黄尚恩 , 苏新浩 :
(1- ϵ )-poly(1)中的近似最大加权匹配/ ϵ ,日志 n个 )分布式和并行设置中的时间。 44-54 张义军 :
无子网中高效的分布式分解和路由算法及其应用。 55-66 金凤斗 , 托尔斯滕·哥特 , 海宁·希勒布兰特 , 克里斯蒂安·谢德勒 , 朱利安·沃特曼 :
简讯:平面图的近最优紧路由方案的分布式构造。 67-70 Tijn de Vos公司 :
简要公告:CONGEST模型中的最小成本最大流量。 71-74 塞巴斯蒂安·福斯特 , Tijn de Vos公司 :
简讯:决定论拥挤集团中的拉普拉斯范式。 75-78
数据结构
陈宇诚 , 乔治·贾库普斯 , 菲利普·沃尔费尔 :
文字大小RMR权衡可恢复互斥。 79-89 阿曼多·卡斯塔涅达 , 吉尔德·瓦莱丽娅·罗德里格斯 :
异步无等待运行时验证和线性化的实施。 90-101 加利·谢菲 , 埃雷斯·彼得兰克 :
安全内存回收的ERA定理。 102-112 本亚明·巴沙里 , 阿里·贾马迪 , 菲利普·沃尔费尔 :
来自标准同步基元的高效有界时间戳。 113-123 侯赛因·纳德里贝尼 , 埃里克·鲁珀特 :
具有多对数步长复杂性的无等待队列。 124-134
对称性破坏
法比安·杜富隆 , 小威廉·K·摩西。 , 戈帕尔·潘杜拉根 :
分布式MIS in O(log log n)唤醒复杂性。 135-145 莫森·加法里 , 朱利安·波特曼 :
低能耗、低时间复杂度的分布式MIS。 146-156 亚尼克·莫斯 , Saku Peltonen公司 , 贾拉·尤托 :
基于稀疏化的幂图分布式对称破缺。 157-167 彼得·罗宾逊 :
简短声明:在一轮拥挤的集团中,我们能计算出什么? 168-171 阿坎沙·阿格拉瓦尔 , 约翰·奥古斯丁 , 大卫·佩莱 , 斯里克坎斯·拉马钱德兰 :
简要公告:支持模型中的局部问题。 172-175 朱塞佩·安东尼奥·迪卢纳 , 乔瓦尼·维格里塔 :
简讯:拥塞匿名动态网络中的高效计算。 176-179
网络
莫森·加法里 , 安东·特里古布 :
一种近最优确定性分布式同步器。 180-189 岩井大辅 , 尤瓦尔·埃梅克 , Tadashi Wadayama公司 , 藤泽俊美(Toshimitsu Masuzawa) :
确定性容错连接标记方案。 190-199 Myrto Arapinis公司 , 阿尔贝·科希斯 , 尼古拉斯·兰普罗 , 利亚姆·梅德利 , 托马斯·扎卡里亚斯 :
针对不诚实多数和应用程序的通用可组合同步广播。 200-210 佩特拉·贝伦布里克 , 科林·库珀 , 克里斯蒂娜·加娃 , 大卫·科汉·马尔扎戈 , 弗雷德里克·马尔曼-特伦 , 托马什·拉齐克 , 尼古拉斯·里维拉 :
意见动力学中的分布式平均。 211-221 戈兰·祖齐克 , 伯恩哈德·海普勒 , 安蒂·罗伊斯科 :
稀疏半开放路由:少量随机路径足够。 222-232
拜占庭协议
尼尔·吉里德哈兰 , Florian Suri付款人 , 马修·丁 , 海蒂·霍华德 , 伊泰·亚伯拉罕 , Natacha Crooks公司 :
BeeGees:在被锁住的BFT中保持活力。 233-243 Kaya Alpturer公司 , 约瑟夫·哈珀(Joseph Y.Halpern) , 罗恩·范德梅登 :
具有省略失败的最佳最终拜占庭协议协议。 244-252 Jun Wan先生 , Atsuki Momose公司 , 凌仁 , 伊莱恩·施 , 卓伦祥 :
拜占庭广播的传播复杂性摊销。 253-261 奥尔·菲舍尔 , 梅拉夫·帕特 :
针对移动对手的分布式CONGEST算法。 262-273 里达·A·巴兹 , 萨拉·图奇·皮尔吉奥瓦尼 :
简短公告:打破 (f) +1障碍:以低于 (f) +1验证。 274-277 科林·库珀 , 托马什·拉齐克 , 白川武郎 :
简短公告:离散增量投票。 278-281 马蒂尔德·戴普雷斯 , Achour Mostéfaoui公司 , 马蒂厄·佩林 , 米歇尔·雷纳尔 :
简短公告:MBroadcast摘要。 282-285 穆罕默德·塔吉·哈加加伊 , 达里乌斯·拉法尔·科瓦尔斯基(Dariusz Rafal Kowalski) , 简·奥尔科夫斯基 :
简短公告:量子网络共识的改进。 286-289
无线
皮特·达维斯 :
通过独立数参数化统一通用图形和基于几何的无线网络。 290-299 皮特·达维斯 :
带有嘈杂蜂鸣声的最佳消息传递。 300-309 乔治·贾库普斯 , 伊莎贝拉·齐卡迪 :
状态少、通信弱的分布式自稳定MIS。 310-320 托比亚斯·弗里德里希 , 汉斯·加文多维奇 , 帕斯卡·伦兹纳 , 亚瑟·扎恩 :
合作对双边网络创建的影响。 321-331
复杂性/不可能性
皮埃尔·西维特 , 塞斯·吉尔伯特 , 拉希德·格雷劳伊 , 约万·科马托维奇 , 曼努埃尔·维迪古埃拉 :
关于共识的有效性。 332-343 Bogdan S.Chlebus公司 , 达柳斯·拉法尔·科瓦尔斯基 , 简·奥尔科夫斯基 :
线性时间和通信中的确定性容错分布式计算。 344-354 谢·库滕 , 彼得·罗宾逊 , 明明坛 , 朱贤斌 :
改善领导人选举的权衡。 355-365 普拉萨德·贾扬蒂 , 悉达多·维斯瓦拉·贾扬蒂 , Sucharita Jayanti公司 :
简短公告:高效可恢复可写-CAS。 366-369 Anh Tran公司 , 爱德华·塔尔马奇 :
简短声明:改进的部分加权多重队列下限。 370-373 维维克·卡达姆 , 石航吕 :
简要声明:CausalEC:一种基于交叉对象擦除编码的因果一致数据存储算法。 374-377