PODC 2024: 法国南特
主题演讲
并发和同步
肖恩烤箱 :
确定可恢复共识数字。 3-13 哈吉特·阿提亚 , 迈克尔·本德 , 马丁·法拉赫-科尔顿 , 罗特姆·奥斯曼 , 诺亚·席勒 :
历史独立并发对象。 14-24 普拉萨德·贾扬蒂 , 悉达多·贾扬蒂 , Sucharita Jayanti公司 :
MemSnap:一种用于RMWable共享内存的快速自适应快照算法。 25-35 Achour Mostéfaoui公司 , 马蒂厄·佩林 , 朱利安·韦贝尔 :
简短声明:随机共识:普通硬币不是圣杯! 36-39
人口协议
丹·阿利斯塔 , 克里什南杜·查特吉 , 梅赫达德·卡拉比 , 约翰·拉扎斯菲尔德 :
人口协议模型中的博弈动力学和均衡计算。 40-49 多米尼克·卡瑟 , 马克西米利安·洛曼 :
人口协议模型中的动态规模计算。 50-60 奥斯汀·卢辛格 , 大卫·多蒂 , 大卫·索洛维奇克 :
简短公告:在化学反应网络中对信息进行最佳编码。 61-64
生物分布式算法
安德烈亚斯·帕达尔金 , 克里斯蒂安·谢德勒 :
可编程物质中最短路径森林的多对数时间算法。 65-75 马蒂亚斯·福格尔 , 托马斯·诺瓦克 , 乔尔·里比奇 :
竞争性Lotka-Volterra人群中的多数共识阈值。 76-86 乔治·贾库普斯 , 沃尔克·图劳 , 伊莎贝拉·齐卡迪 :
简讯:Beeping模型中的自我稳定MIS计算。 87-90 尼科洛·达阿奇维奥 , 罗宾·瓦库斯 :
简要公告:关于无记忆代理传播信息的限制。 91-94
局部模型及其变化
阿尔基达·巴利乌 , 托马斯·布迪耶 , 塞巴斯蒂安·布兰特 , 丹尼斯·奥利维蒂 :
支持的本地模型中的严格下限。 95-105 张益军 , 戈皮纳特·米什拉 , 洪顺恩(Hung Thuan Nguyen) , 杨明阳 , 于成业 :
在线局部模型中三色网格的紧下界。 106-116 阿尔基达·巴利乌 , 塞巴斯蒂安·布兰特 , 费比安·库恩 , 克日什托夫·诺维基 , 丹尼斯·奥利维蒂 , 伊娃·罗滕伯格 , 朱卡·索米拉 :
简短公告:本地建议和本地减压。 117-120
分布式机器学习
萨姆·艾德·雅各布斯 , 田中将大 , 张成明 , 张敏佳 , 雷扎·亚兹达尼·阿米纳达比 , 宋帅文 , Samyam Rajbhandari先生 , 何玉雄 :
用于训练超长序列变压器模型的系统优化。 121-130 萨代赫·法哈德哈尼 , 拉希德·格雷劳伊 , 尼鲁帕姆·古普塔 , 拉斐尔·比诺 :
简短公告:拜占庭机器学习案例。 131-134
拜占庭容错
安德鲁·刘易斯·佩伊 , Dahlia Malkhi公司 , 奥德·纳尔 , 卡提克·纳亚克 :
卢米埃:使部分同步的最佳BFT实用化。 135-144 皮埃尔·西维特 , 穆罕默德·阿亚兹·祖勒菲卡尔 , 塞斯·吉尔伯特 , 拉希德·格雷劳伊 , 约万·科马托维奇 , 曼努埃尔·维迪古埃拉 :
DARE同意:拜占庭协议,具有最佳弹性和自适应通信。 145-156 皮埃尔·西维特 , 塞斯·吉尔伯特 , 拉希德·格雷劳伊 , 约万·科马托维奇 , 安东·帕拉莫诺夫 , 曼努埃尔·维迪古埃拉 :
所有拜占庭协议的问题都是昂贵的。 157-169 迪奥戈大道 , 哈桑·海达里 , 爱德华多·阿尔切里 , 托拜厄斯扰流器 , 艾莉森·贝萨尼 :
概率拜占庭容错。 170-181
CONGEST模型的算法
维格内什·马诺哈兰 , 维贾亚·拉马钱德兰 :
计算CONGEST模型中的最小重量循环。 182-193 张义军 , 黄尚恩 , 苏新浩 :
确定性扩展器路由:更快、更通用。 194-204 费多·弗明 , 皮埃尔·弗拉吉诺 , 佩德罗·蒙塔雷格里 , 伊万·拉帕波特 , 伊安·托丁卡 :
简讯:有界树图上的分布式模型检查。 205-208
量子计算与通信网络
皮埃尔·弗拉吉诺 , 马埃尔·卢斯 , 弗雷德里克·马格尼兹(Frédéric Magniez) , Ioan Todinca公司 :
随机和量子CONGEST模型中的均匀循环检测。 209-219 长谷川Atsuya Hasegawa , 斯里吉塔·昆都 , 西村正美 :
论量子分布式证明的力量。 220-230 迈克尔·本德 , 杰里米·芬曼 , 塞斯·吉尔伯特 , 约翰·库兹摩尔 , 麦克斯韦-杨 :
完全高能效的随机退避:缓慢的反馈循环产生快速的争议解决。 231-242 Bernadette Charron-Bost公司 , 帕特里克·兰贝·莫内特 :
简短公告:了解你的受众:匿名网络中的通信模型和可计算性。 243-246
区块链和BFT共识
弗朗西斯科·达马托 , 朱利亚诺·洛萨 , 卢卡·扎诺里尼 :
异步弹性休眠全序广播协议。 247-256 钱玉玉 , 朱利亚诺·洛萨 , 王学超 :
TetraBFT:减少未经验证、响应性BFT共识的延迟。 257-267 克里什南杜·查特吉 , 阿米拉利·易卜拉欣·扎德 , 梅赫达德·卡拉比 , Krzysztof Pietrzak先生 , 杨紫琼(Michelle Yeo) , 多德·齐克里克 :
高效证明系统区块链中的全自动自私挖掘分析。 268-278 杰弗里·拉姆西耶 , 戈埃尔 :
简短公告:通过流式社交选择理论实现公平秩序。 279-282
分散财务协议
安德烈·通基克 , 卢西亚诺·弗雷塔斯·德苏扎 :
Swiper:高效加权分布式协议的新范例。 283-294 里达·A·巴兹 , 萨拉·图奇·皮尔吉奥瓦尼 :
部分支出问题:以少于的金额并行执行支付事务 (f) +1次验证。 295-305 泽塔·阿瓦里科蒂 , 斯特凡·施密德 , 萨马尔·蒂瓦里 :
简短公告:枪手-支付渠道网络的激励性兼容再平衡。 306-309
容错和同步
卡罗尔·德尔波特(Carole Delport-Gallet) , Hugues Fauconnier先生 , 皮埃尔·弗拉吉诺 , 塞尔吉奥·拉兹鲍姆 , 科伦蒂·特拉弗斯 :
具有有限大小寄存器的分布式共享内存模型的计算能力。 310-320 穆罕默德·哈加伊 , Dariusz R.Kowalski先生 , 简·奥尔科夫斯基 :
容忍自适应遗漏的近似最优共识:为什么需要大量随机性? 321-331 马克·布拉弗曼 , 罗特姆·奥斯曼 , 塔尔罗斯 :
具有有界依赖的多方集不相交与交集。 332-342 西尔万·盖伊 , Achour Mostéfaoui公司 , 马蒂厄·佩林 :
简短声明:无广播抽象特征消息传递系统中的k-Set-Agreement。 343-346
下限
费比安·雷特 :
多项式层次结构的局部视图。 347-357 米格尔·阿尔维斯·费雷拉 , 尼拉夫·阿特雷 , 贾斯汀·雪莉 , 乔·路易斯·索布利尼奥 :
具有拥塞控制和不可分割流的数据中心路由的不可能结果。 358-368 阿尔基达·巴利乌 , 塞巴斯蒂安·布兰特 , 费比安·库恩 , 丹尼斯·奥利维蒂 , 古斯塔夫·施密德 :
完成树上LCL的节点平均复杂性景观。 369-379
最短路径算法
张义军 , 奥伦赫特 , 迪安·莱特斯多夫 , 菲利普·施耐德 :
混合分布式模型中的普遍最优信息传播和最短路径。 380-390 洪都布 , 沙什瓦特·钱德拉 , 张义军 , 米查尔·多里 , 迪安·莱特斯多夫 :
改进的拥挤集团中的所有路径近似最短路径。 391-400 莫森·加法里 , 安东·特里古布 :
一种在拥塞和APSP上具有分支的近最优低能量确定性分布式SSSP。 401-411 张义军 , 瓦尔沙·达尼 , 托马斯·海耶斯 :
简要声明:有界增长图中的低偏差聚类。 412-415
图中的着色
马克西姆·弗林 , 帕斯·米塔尔 :
(Δ+1)顶点着色 O(运行) ( n个 )沟通。 416-424 马克·富克斯 , 费比安·库恩 :
简讯:基于简单列表缺陷着色算法的更简单、更通用的分布式着色。 425-428 尼古拉斯·布斯克 , 劳伦特·费伊洛利 , 塞巴斯蒂安·泽通 :
简要声明:通过完美散列进行全球认证。 429-431
并发性和一致性
哈吉特·阿提亚 , 阿曼多·卡斯塔涅达 , 康斯坦丁·埃纳 :
使用一致数为2的基本体的强线性化。 432-442 法特梅赫·纳德里·塞米罗米 , 菲利普·沃尔费尔 :
来自CAS的强线性LL/SC。 443-453 但丁·本西文加 , 乔治·贾库普斯 , 菲利普·沃尔费尔 :
更快的随机重复选择和DCAS。 454-464 朱利亚诺·洛萨 , 埃利·加夫尼 :
简短声明:了解完全匿名共享内存模型中的读写等待免费覆盖。 465-468
安全和加密
韩文峰(Hanwen Feng) , 吕振梁 , 羌塘 :
Dragon:以任意分组后的表示为代价的去中心化及其在次立方DKG和交互一致性中的应用。 469-479 詹姆斯·巴图塞克 , 蒂亚戈·贝加马奇 , 斯里库里 , 萨阿奇·穆特雷加 , 奥尔天堂 :
具有中止的安全多方计算的通信复杂性。 480-491 戴安娜·吉纳 , 陈大柳章 , 罗杰·瓦滕霍夫 :
简要公告:沟通-最优凸协议。 492-495
大规模并行计算
阿图尔·祖马 , 戈皮纳特·米什拉 , 阿尼什·穆克吉 :
大规模并行计算模型中的流图算法。 496-507 鲁斯塔姆·拉提波夫 , 亚尼克·莫斯 , 史莱亚斯·派 , 贾拉·尤托 :
稀疏图中的自适应大规模并行着色。 508-518 泉泉C.刘 , C.塞沙赫里 :
简要公告:改进了O(1)轮大规模平行三角形计数。 519-522 杰夫·吉利贝蒂 , 萨拉·帕萨伊(Zahra Parseian) :
简短声明:大规模平行规则集使其具有决定性。 523-526
自我稳定
卡琳·阿尔蒂森 , 阿兰·库尼尔 , 杰弗里·德法尔克 , Stéphane Devismes :
论定向网络中的自我稳定领导人选举。 527-537 科莱特·约翰恩 , Stéphane Devismes , 弗雷德里克·马佐特 , 大卫·伊尔辛卡斯 :
异步自我稳定使其快速、简单、节能。 538-548 法比安-弗雷 , 兰·盖尔斯 , 艾哈迈德·加齐 , 亚历山大·诺林 :
简短公告:环上内容丰富的领导人选举。 549-552