PLDI 2022:美国加利福尼亚州圣地亚哥
兰吉特·贾拉 , 伊西尔·迪利格 :
PLDI’22:第43届ACM SIGPLAN编程语言设计与实现国际会议,美国加利福尼亚州圣地亚哥,2022年6月13-17日。 ACM公司 2022 ,十亿 978-1-4503-9265-5
安全
威尔·克莱顿 , 马可·帕特里格纳尼 , 曼尼什·阿格拉瓦拉 , 帕特·汉拉罕 :
模块化信息通过所有权流动。 1-14 Sankha Narayan古里亚 , 尼基·瓦祖 , 马可·瓜尼埃里 , 詹姆斯·帕克 :
ANOSY:近似知识合成,具有用于解密的细化类型。 15-30 尼基尔·斯瓦米 , 塔希娜·拉马南安德罗 , 阿西姆·拉斯托吉 , 伊琳娜·斯皮里多诺娃 , 倪浩斌 , 德米特里·马洛伊 , 胡安·巴斯克斯 , 迈克尔·唐 , 奥马尔·卡多纳 , 阿蒂·古普塔 :
使用经过正式验证的二进制格式解析器强化攻击面。 31-45 卡鲁娜·格雷瓦尔 , 洛里斯·德安东尼 , 徐宇春(Justin Hsu) :
P4BID:p4中的信息流控制。 46-60
存储器
丹尼尔安德森 , 盖伊·布莱洛赫 , 袁浩伟 :
将手动并发内存回收转变为自动引用计数。 61-75 赵文宇(Wenyu Zhao) , 斯蒂芬·M·布莱克本 , 凯瑟琳·麦金利 :
低效率、高吞吐量垃圾收集。 76-91 马浩然 , 刘石 , 王晨曦 , 乔一凡 , 迈克尔·D·邦德 , 斯蒂芬·M·布莱克本 , 金美荣 , 郭庆哈里·徐 :
Mako:一种用于内存集中数据中心的低暂停、高吞吐量疏散收集器。 92-107 拉克斯曼·杜利帕拉 , 盖伊·布莱洛赫 , 阎谷 , 孙一翰 :
PaC-trees:支持并行和压缩的纯功能集合。 108-121
合成I
郑国 , 曹光荣 , 戴维·特容 , 让·杨 , 科尔·施莱辛格 , 纳迪娅·波里卡波娃 :
RESTful API的类型定向程序合成。 122-136 陈燕菊 , 西凤燕 , 于峰 :
使用内省程序合成实现可视化问答。 137-151 芮东 , 黄志诚 , 伊恩·龙林 , 闫晨 , 王新余 :
WebRobot:使用交互式编程进行演示的网络机器人过程自动化。 152-167 周香玉 , 拉斯季斯拉夫·博迪克 , 张爱文(Alvin Cheung) , 王成龙 :
从计算演示合成分析SQL查询。 168-182
汇编
斯特凡诺斯·查利亚索斯 , Sotiropoulos臭鼬 , Diomidis Spinellis公司 , 亚瑟·杰维斯 , 本杰明·利夫希茨 , 迪米特里斯·米特洛普洛斯 :
查找键入编译器错误。 183-198 马修·费尔 , 杰夫·牛 , River Riddle公司 , 梅赫迪·阿米尼 , 苏振东 , 托比亚斯·格罗瑟 :
IRDL:一种SSA编译器的IR定义语言。 199-212 Minki Cho(明基·赵) , 李成焕 , Dongjae Lee(李东杰) , 中基尔湖 , 奥里·拉哈夫 :
弱内存并发下优化编译器的顺序推理。 213-228
合成II
Wonhyuk Choi先生 , 伯恩德·芬克贝纳 , 鲁齐卡·皮斯卡 , 马克·桑托卢西托 :
反应合成和语法引导合成能成为朋友吗? 229-243 阿扎德·法尔赞 , 丹亚·莱特 , 维克托·尼科莱特 :
带有不可实现见证的递归合成。 244-259 巴希尔·本德利索 , 拉胡尔·戈皮纳特 , 安德利亚斯·策勒 :
“合成输入语法”:一项复制研究。 260-268
张量
威洛·阿伦斯 , 弗雷德里克·克约尔斯塔德 , 萨曼·阿马拉辛格 :
具有渐近代价模型的稀疏张量代数的自动调度。 269-285 罗汉·雅达夫 , 亚历克斯·艾肯 , 弗雷德里克·克约尔斯塔德 :
DISTAL:分布式张量代数编译器。 286-300 陈一申 , 查里斯·门迪斯 , 萨曼·阿马拉辛格 :
你所需要的只是超文字级的并行:用SLP进行系统控制流矢量化。 301-315 堪培克莫雷利 , 简·雷内克 :
多面体程序的扭曲缓存模拟。 316-331
分发
维马拉Soundarapandian , 阿德哈斯·卡马特 , 卡提克·纳加尔 , K.C.西瓦拉马克里希南 :
经认证的可合并复制数据类型。 332-347 法津·霍什曼 , 贾瓦德·萨贝拉提巴里 , 莫森·莱萨尼 :
Hamband:RDMA复制的数据类型。 348-363 Gowtham Kaki公司 , 普拉桑特·普拉拉丹 , 尼古拉斯·莱申科(Nicholas V.Lewchenko) :
运行时辅助的复制数据类型聚合。 364-378 沃尔夫·霍诺雷 , 吉永信 , Jieung Kim先生 , 钟绍 :
Adore:经过认证重新配置的原子分布式对象。 379-394
分析
埃迪·琼斯 , C.-H.卢克·翁 , 史蒂芬·J·拉姆齐 :
CycleQ:循环等式推理的有效基础。 395-409 丹尼尔·莱曼 , 迈克尔·普拉德尔 :
寻找侏儒:从WebAssembly二进制文件中恢复精确类型。 410-425 罗伯托·布鲁尼 , 罗伯托·贾科巴齐 , 罗伯塔·戈里 , 弗朗西斯科·兰扎托 :
抽象解释修复。 426-441 Dorde Zikelic公司 , Bor-Yuh Evan Chang先生 , 波琳·博利尼亚诺 , 弗兰科·雷蒙迪 :
同时电位和反电位的差分成本分析。 442-457
并发
米兰梅 , 约书亚·图尔科蒂 , 安德鲁·C·迈尔斯 :
一个灵活的类型系统,用于无畏的并发。 458-473 米林·查比 , 穆拉利·克里希纳·拉马纳桑 :
Golang真实世界数据竞赛研究。 474-489 哈米德·戈加拉 , 罗伟余 , 亚历克斯·李 , 郭庆哈里·徐 , 布莱恩·德姆斯基 :
检查对弱持久性模型的鲁棒性。 490-505 阿扎德·法尔赞 , 多米尼克·克伦普 , 安德烈亚斯·波德尔斯基 :
用于并发程序验证的合理顺序化。 506-521
数字
伊恩·布里格斯 , 帕维尔·潘切卡 :
选择数学函数实现的速度和准确性。 522-535 乌鸦贝特纳 , C.-H.卢克·翁 , 费比安·扎伊塞 :
普适概率规划中后验推理的保证界。 536-551 Mridul Aanjaneya先生 , Jay P.Lim(杰伊·P·林) , 桑托什·纳加拉卡特 :
快速正确舍入数学库的渐进多项式近似。 552-565
语义学
菲利普·舒斯特 , Jonathan Immanuel Brachthä用户 , 马吕斯·米勒 , 克劳斯·奥斯特曼 :
用于词汇效果处理程序的类型化连续传递翻译。 566-579 本·格林曼 :
渐变语言的深度和浅层类型。 580-593 格林堡 , 瑞恩·贝克特 , 埃里克·海登·坎贝尔 :
Kleene代数模理论:具体KAT的框架。 594-608 丹尼尔·帕特森 , 贵族穆斯塔克 , 安德鲁·瓦格纳 , 阿迈勒 :
语言互操作性的语义可靠性。 609-624
量子
徐明宽 , 李子坤 , 奇怪的帕顿 , 新浪林 , Jessica指指点点 , 奥古斯特·赫斯 , 亨利·马 , 延斯·帕尔斯伯格 , 亚历克斯·艾肯 , Umut A.Acar公司 , 贾志浩 :
石英:量子电路的超优化。 625-640 润州陶 , Yunong Shi公司 , 姚建安 , 李旭鹏 , 阿里·贾瓦迪·阿巴哈里 , 安德鲁·克罗斯 , 弗雷德里克·T·冲 , 顾荣辉 :
Giallar:针对qiskit Quantum编译器的按钮验证。 641-656 彭玉祥 , 明生英 , 吴晓迪 :
通过非幂等Kleene代数进行量子程序的代数推理。 657-670 迈克尔·克里斯滕森 , 乔治·齐姆普拉戈斯 , 哈兰·克林根 , 詹妮弗·沃尔克 , 蒂莫西·舍伍德 , 本·哈德科夫 :
PyLSE:超导体电子学的脉冲传输级语言。 671-686
硬件
杰克逊·伍德拉夫 , Jordi Armengol-Estapé , 萨姆·安斯沃思 , 迈克尔·F·P·奥博伊尔 :
绑定差距:将真正的软件编译为硬件FFT加速器。 687-702 Yuka Ikarashi先生 , 吉尔伯特·路易斯·伯恩斯坦 , 亚历克斯·雷金 , 哈桑基因 , 乔纳森·拉根-凯利 :
硬件加速器生产性编程的外编译。 703-718 Drew Zagieboylo公司 , 查尔斯·谢克 , Gookwon Edward Suh公司 , 安德鲁·C·迈尔斯 :
PDL:一种用于流水线处理器的高级硬件设计语言。 719-732 凌坤·孔 , 余启轩(Qixuan Yu) , Agnishom Chattopadhyay公司 , 亚历克西斯·勒·格劳内克 , 一黄 , 康斯坦蒂诺斯·马穆拉斯 , 杨开元 :
用于高效内存中常规模式匹配的软件-硬件协同设计。 733-748
DSL(数字用户线)
奥利维尔·弗吕基格 , 扬·杰克曼 , 塞巴斯蒂安·克林斯基 , 扬·维特克 :
无用武之地:通过调度堆栈上的替换和专门的延续进行推测。 749-761 张晨浩 , 杰森·D·哈特林 , 克里斯托斯·迪穆拉斯 :
Karp:一种NP约简语言。 762-776 维托·科特贝克 , Souradip Ghosh公司 , 约西亚·D·海斯特 , 西蒙·坎帕诺尼 , 普尔泽米斯瓦夫·帕维尔恰克(Przemyslaw Pawelczak) :
WARio:高效的间歇计算代码生成。 777-791
验证I
Hoang-Hai Dang公司 , Jaehwang Jung(Jaehwang Jung) , 崔杰敏(Jaemin Choi) , 杜尚·阮 , 威廉·曼斯基 , Jeehoon Kang(Jeehon Kang) , 德里克·德雷尔 :
指南针:松散内存分离逻辑中的强大组合库规范。 792-808 艾克·穆德 , 罗伯特·克雷伯斯 , 赫尔曼·盖弗斯 :
Diaframe:Iris中细粒度并发程序的自动验证。 809-824 迈克尔·桑姆勒 , 安格斯·哈蒙德 , 鲁道夫·勒皮格雷 , 布赖恩坎贝尔 , Jean Pichon-Pharabod公司 , 德里克·德雷尔 , Deepak Garg公司 , 彼得·苏厄尔 :
Islaris:根据权威ISA语义验证机器代码。 825-840 松下优助 , 师丹尼斯 , 雅克·亨利·朱丹 , 德里克·德雷尔 :
RustHornBelt:使用不安全代码对Rust程序进行功能验证的语义基础。 841-856
验证和优化
阿里·艾哈迈迪 , 马吉德·达利里 , 阿米尔·卡夫什达尔·戈哈沙迪 , 安德烈亚斯·帕夫罗甘尼斯 :
缓存感知数据放置的有效近似。 857-871 食指汤 , 冀东寨 , 王浩杰 , 林江 , 郑丽燕 , 袁振浩 , 陈章 :
FreeTensor:对不规则张量程序进行整体优化的自由形式DSL。 872-887 罗德里戈·C·O·罗查 , 丹尼斯·斯普罗霍尔特 , 马丁·费克 , Redha Gouicem公司 , 汤姆·斯宾克 , Soham Chakraborty公司 , 普拉莫德·巴托蒂亚 :
千层面:用于弱内存模型架构的静态二进制翻译程序。 888-902 查俊鹏 , 梁洪进 , 新余峰 :
在有希望的语义中验证并发程序的优化。 903-917
验证II
Clément Pit-嘉奖 , 翡翠飞利浦 , 达斯汀·贾姆纳 , 安德烈斯·埃尔布森 , 亚当·克利帕拉 :
性能关键型应用程序的关系编译:将功能模型转换为低级代码的可扩展的证明性翻译。 918-933 弗里克·韦贝克 , 约书亚·A·博克内克 , 周来福 , 比诺伊·拉文德兰 :
C编译的x86-64二进制文件的正式验证提升。 934-949 瑞安·多恩兹 , 托比亚斯·卡佩 , 约翰·萨拉西诺 , 内特·福斯特 , 格雷格·莫里塞特 :
Leapfrog:协议解析器的认证等价物。 950-965 Zoe Paraskevopoulou公司 , 亚伦·艾琳 , Lampropoulos列奥尼达斯 :
用归纳关系正确计算。 966-980
测试和合成
吉列尔莫·波利托 , 圣埃芬·杜卡斯 , 巴勃罗·泰松 :
解释引导的差异JIT编译器单元测试。 981-992 Suresh Parthasarathy公司 , 林西·帕塔纳克 , 阿尼鲁德·卡特里 , 阿伦·尚卡·伊耶 , 阿琼·拉德哈克里什纳 , 斯里拉姆·拉贾马尼 , 穆罕默德·拉扎 :
地标和区域:一种稳健的数据提取方法。 993-1009 王明哲 , 梁杰(音译) , 周赤金 , 吴志勇 , Xinyi Xu(许信义) , 余江 :
Odin:按需仪器,带实时重新编译。 1010-1024 利亚姆·奥康纳 , 奥斯卡·威克斯特伦 :
Quickstrom:基于属性的验收测试,采用LTL规范。 1025-1038
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)