PLDI 2020:英国伦敦
阿拉斯泰尔·唐纳森 , 埃米娜·托拉克 :
第41届ACM SIGPLAN编程语言设计与实现国际会议论文集,PLDI 2020,英国伦敦,2020年6月15日至20日。 ACM公司 2020 ,国际标准图书编号 978-1-4503-7613-6
合成I
安德斯·米尔特纳 , 萨斯瓦特·帕迪 , 托德·D·米尔斯坦 , 大卫·沃克 :
表示不变量的数据驱动推理。 1-15 乔治奥斯·萨克斯 , 梅德琳·恩德斯 , 本杰明·科斯曼 , 维斯特利·威默尔 , 兰吉特·贾拉 :
通过分析程序修复输入错误反馈。 16-30 钱德拉卡纳·南迪 , 马克斯·威尔西 , 亚当·安德森 , 詹姆斯·威尔科克斯 , 伊娃·达鲁洛娃 , 丹·格罗斯曼 , 扎卡里·塔特洛克 :
综合具有等式饱和和逆变换的结构化CAD模型。 31-44
语言实现
马修·弗拉特 , R.Kent Dybvig公司 :
编译器和运行时对延续标记的支持。 45-58 Kaan Genç , 迈克尔·D·邦德 , 郭庆哈里·徐 :
精巧:高效、兼容HTM的持久事务。 59-74 卡冯·法瓦丁 , 约翰·雷皮 :
从民间传说到事实:比较堆栈和延续的实现。 75-90
机器学习I
米尔蒂亚迪斯·阿拉马尼斯 , 伯爵·T·巴尔 , 索林·杜库索 , 郑高 :
伤寒:神经类型提示。 91-105 姚建安 , 加布里埃尔·瑞恩 , 黃照達 , 苏曼·贾纳 , 顾荣辉 :
用门控连续逻辑网络学习非线性回路不变量。 106-120 王珂(Ke Wang) , 苏振东 :
混合的、精确的语义程序嵌入。 121-134
安全
弗雷泽·布朗 , 约翰·雷纳 , 安德烈斯·诺兹利 , 索林·勒纳 , 霍瓦夫·沙查姆 , 戴安·斯特凡 :
针对JavaScript JIT进行验证范围分析。 135-150 格雷戈里·杜克 , 向高 , 阿比克·罗伊乔杜里 :
无控制流恢复的二进制重写。 151-163 克里斯·波特 , 吉里什·穆鲁鲁 , Prithayan Barua公司 , 桑托什·潘德 :
BlankIt库去浮:得到你想要的而不是削减你不想要的。 164-180
验证I
悉达斯·克里希纳 , 尼萨·帕特尔 , 丹尼斯·沙沙 , 托马斯·维斯 :
验证并发搜索结构模板。 181-196 雅各布·R·洛奇 , 陈一轩 , 马诺斯·卡普里索斯 , 布莱恩·帕诺 , 沙兹·卡迪尔 , 乌帕曼尤·夏尔马 , 詹姆斯·R·威尔科克斯 , 赵雪源 :
阿玛达:高性能并发程序的低工作量验证。 197-210 奥里·拉哈夫 , 乌迪·博克 :
因果一致共享内存下的可判定验证。 211-226 伯恩哈德·克拉格尔 , 康斯坦丁埃纳 , 托马斯·汉津格 , 苏哈·奥伦·穆特鲁格尔 , 沙兹·卡迪尔 :
异步程序的归纳顺序化。 227-242
语言设计I
托马斯·布尔盖特 , Clément Pit-嘉奖 , 亚当·克利帕拉 , 阿尔文德 :
Bluespec的本质:基于规则的硬件设计的核心语言。 243-257 费比安·舒基 , 安德烈亚斯·库思 , 托比亚斯·格罗瑟 , 卢卡·贝尼尼 :
LLHD:硬件描述语言的多级中间表示。 258-271 朱绍鹏 , 洪士涵 , Shouvanik Chakrabarti公司 , 吴晓迪 :
关于可微量子编程语言的原理。 272-285 本杰明·比切尔 , 马克西米利安·巴德 , 蒂蒙·盖尔 , 马丁·T·韦切夫 :
Silq:一种高级量子语言,具有安全的非置换和直观的语义。 286-300
内存管理
杨明坤 , 埃里克·斯特伦德 , 托比亚斯·箭牌 :
使用hotness改进GC中的程序位置。 301-313 Jeehoon Kang(Jeehon Kang) , Jaehwang Jung(Jaehwang Jung) :
基于指针和基于epoch的回收的结合。 314-328 布莱恩·苏西 , 西蒙·坎帕诺尼 , 尼科斯·哈达维拉斯 , 彼得·丁达 :
CARAT:通过基于编译器和运行时的地址转换实现虚拟内存的一个例子。 329-345
并发
康拉德·瓦特 , 克里斯托弗·普尔特 , 安东·波德科帕耶夫 , 纪尧姆芭比 , 斯蒂芬·多兰 , 颤抖的长笛 , Jean Pichon-Pharabod公司 , 郭树友 :
修复和机械化JavaScript松弛内存模型。 346-361 宋焕利 , Minki Cho(明基·赵) , 安东·波德科帕耶夫 , Soham Chakraborty公司 , 中基尔湖 , 奥里·拉哈夫 , 维克托·瓦菲亚迪斯 :
前景广阔的2.0:放松内存并发中的全局优化。 362-376 米歇尔·弗里德曼 , Naama Ben-David公司 , 袁浩伟 , 盖伊·布莱洛赫 , 埃雷斯·彼得兰克 :
NVReaverse:在NVRAM数据结构中,目的地比旅程更重要。 377-392
类型系统
拉奇特·尼甘姆 , 萨奇尔·阿塔帕图 , 塞缪尔·托马斯 , 李志静 , 西奥多·鲍尔 , 叶玉伟 , 阿普尔瓦·科蒂 , 阿德里安·桑普森 , Zhiru Zhang(张志如) :
具有时间敏感仿射类型的可预测加速器设计。 393-407 大卫·德斯特 , 马修·费尔德曼 , 迪伦·赫夫 , 大卫·阿克利 , 罗斯·G·戴利 , 吉尔伯特·路易斯·伯恩斯坦 , 马可·帕特里格纳尼 , Kayvon Fatahalian公司 , 帕特·汉拉罕 :
流媒体加速器的类型定向调度。 408-422 弗兰克·埃里奇 , 萨姆·林德利 , 简·斯托拉雷克 , 詹姆斯·切尼 , 乔纳森·科茨 :
FreezeML:一级多态性的完整且简单的类型推断。 423-437年
智能合约
奥丽 , 杰明·安德鲁·崔 , Fan Long(风扇长) :
通过运行时验证保护智能合约。 438-453 莱西·布伦特 , 内维尔·格雷奇 , 西菲斯·拉古瓦多斯 , 伯恩哈德·舒尔茨 , 亚尼斯·斯马拉格达基斯 :
Ethainter:针对复合漏洞的智能合约安全分析器。 454-469 西迪·穆罕默德·贝拉希 , 加布里埃拉·西奥卡利 , 迈克尔·埃米 , 康斯坦丁·埃纳 :
智能合约的行为模拟。 470-486
合成II
陈翘楚 , 王新余 , 西耶 , 格雷格·杜雷特 , 伊西尔·迪利格 :
正则表达式的多模式合成。 487-502 李东权 , Woosuk Lee公司 , Hakjoo噢 , Kwangkeun Yi公司 :
通过程序综合和项重写优化同态求值电路。 503-518 佩佩·维拉 , 皮埃尔·甘蒂 , 马可·瓜尼埃里 , 鲍里斯·科普夫 :
CacheQuery:从硬件缓存中学习替换策略。 519-532
语言设计II
杰拉德·贝瑞 , 曼纽尔·塞拉诺 :
HipHop.js:(A)同步反应式网络编程。 533-545 罗珊·达塔赫里 , 布拉戈维斯塔·科斯托娃 , 奥利·萨里基维 , 魏代 , 金·莱恩 , 穆苏瓦蒂夫人 :
EVA:一种用于高效同态计算的加密矢量算术语言和编译器。 546-561 汉斯·尤根·博姆 :
面向实数的API。 562-576 斯特凡·K·穆勒 , 凯尔·辛格 , 授戈德斯登 , Umut A.Acar公司 , 库纳尔·阿格拉瓦尔 , I-Ting安吉丽娜·李 :
与未来和状态的响应并行性。 577-591
性能
卓有为 , 陈静吉 , 秦一洛 , 王延之 , 杨海龙 , 钱德培 , 钱学海 :
SympleGraph:分布式图形处理,具有精确的循环依赖性保证。 592-607 费比安·里特 , 塞巴斯蒂安·哈克 :
PMEvo:通过进化优化对无序处理器的端口映射进行可移植推理。 608-622 吴振伟 , 陆凯(Kai Lu) , 安德鲁·尼斯贝特 , 张文哲 , 米凯尔·卢扬 :
PMThreads:利用版本化卷影副本的持久内存线程。 623-637 索蒂里斯·阿波斯托拉基斯 , 徐紫阳 , 谭祖军 , 格雷格·陈 , 西蒙·坎帕诺尼 , 戴维·奥古斯特 :
SCAF:一个推测软件协作依赖性分析框架。 638-654
验证II
桑迪普·达斯古普塔 , 苏珊·迪内什 , Deepan Venkatesh公司 , 维克拉姆·S·阿德 , 克里斯托弗·弗莱彻 :
二进制提升器的可扩展验证。 655-671 克里希南德·查特吉 , 傅鸿飞 , 阿米尔·卡夫什达尔·戈哈沙迪 , Ehsan Kafshdar Goharshady公司 :
非确定性递归程序的多项式不变量生成。 672-687 杰森·布雷克 , 约翰·西弗特 , 扎卡里·金凯德 , 托马斯·W·代表 :
模板和重现:更好地结合在一起。 688-702 杰森·柯尼格 , 奇怪的帕顿 , 尼尔·伊曼 , 亚历克斯·艾肯 :
一阶量化分离器。 703-717
Bug查找
多米尼克·温特勒 , 张成玉 , 苏振东 :
通过语义融合验证SMT解算器。 718-730 桑吉塔·乔德哈里 , Jay P.Lim(杰伊·P·林) , Santosh Nagarakatte公司 :
使用posits调试和检测计算中的数值误差。 731-746 杰克·罗默 , Kaan Genç , 迈克尔·D·邦德 :
SmartTrack:高效的预测比赛检测。 747-762 伯钦琴 , 陈一伦 , 余泽明 , 林海松 , 张一英 :
了解真实世界Rust程序中的内存和线程安全实践和问题。 763-779
静态分析
李元波 , 张启润 , 托马斯·W·代表 :
快速图形简化,实现交错动态可读性。 780-793 安娜斯塔西奥斯·安东尼亚迪斯 , 尼科斯·菲利帕基斯 , 帕迪·克里希南 , 拉格汉德拉·拉梅什 , 尼古拉斯·艾伦 , 亚尼斯·斯马拉格达基斯 :
Java企业应用程序的静态分析:框架和缓存,房间里的大象。 794-807 奥古斯特·奥利弗利 , 朱利安·兰古 , 路易斯·诺埃尔·普切特 , P.萨达亚潘 , 法布里斯·拉斯特罗 :
仿射程序参数数据移动下界的自动推导。 808-822
代码生成
史提芬周 , 弗雷德里克·克约尔斯塔德 , 萨曼·阿马拉辛格 :
自动生成高效的稀疏张量格式转换例程。 823-838 Ankush Phulia公司 , Vaibhav Bhagee公司 , 索拉夫·班萨尔 :
OOElala:基于估值排序的别名分析,用于编译器优化。 839-853 罗德里戈·C·O·罗查 , 帕夫洛斯·佩托梅诺斯 , 郑旺(音) , 默里·科尔 , 休皮革 :
SSA形式的有效功能合并。 854-868
概率规划
陈建辉 , 飞鹤 :
通过欧米伽正则分解证明了几乎完全终止。 869-882年 蒂蒙·盖尔 , 塞缪尔·斯特芬 , 马丁·T·韦切夫 :
λPSI:高阶概率程序的精确推断。 883-897 纪尧姆·鲍达特 , 路易斯·曼德尔 , 埃里克·阿特金森 , 本杰明·谢尔曼 , 马克·普泽特 , 迈克尔·卡宾 :
反应概率规划。 898-912
符号执行
桑杰·考利吉 , 克雷格·迪塞尔科恩 , 克劳斯·冯·格莱森豪尔 , 迪恩·M·塔尔森 , 戴安·斯特凡 , 塔玛拉·雷兹克 , 吉尔斯·巴特 :
新幽灵时代的持续基础。 913-926 何塞·弗拉戈索·桑托斯 , 彼得·马克西莫维奇 , 萨查·埃利·阿永 , 菲利普·加德纳 :
Gillian,第一部分:符号执行的多语言平台。 927-942 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 陈玉芳 , 布比迪普 , 朱利安·杜比 , 彼得·扬库 , 林信宏 , 卢卡斯·霍利克 , 吴伟成 :
有效处理字符串编号转换。 943-957
网络和硬件
尼克·吉安娜拉基斯 , Devon Loehr公司 , 瑞恩·贝克特 , 大卫·沃克 :
NV:用于验证网络控制平面的中间语言。 958-973 考西克·苏布拉曼尼亚语 , 阿努巴夫尼迪·阿布哈什库马尔 , 洛里斯·德安东尼 , 阿迪蒂亚·阿凯拉 :
检测分布式控制平面的网络负载冲突。 974-988 金红军(Hongjune Kim) , 曾建萍 , 刘庆瑞 , 穆罕默德·阿卜杜勒·马吉德 , 李政宰 , 郑昌熙(Changhee Jung) :
面向编译器的软错误恢复功能,用于轻量级GPU注册文件保护。 989-1004 Kiwan Maeng先生 , 布兰登·露西亚 :
针对周期性和反应性间歇执行的自适应低开销调度。 1005-1021
分析、调试和代码搜索
格里戈兹·赫尔曼 :
通过无上下文记忆加快通用解析。 1022-1035 罗曼·埃德尔曼 , 贾德·哈姆扎 , 维克托·昆卡 :
Zippy LL(1)用派生词进行解析。 1036-1051年 李元波 , 朔丁 , 张启润 , 大卫·意大利 :
优化代码的调试信息验证。 1052-1065 瓦罗特·普雷姆通 , 詹姆斯·科佩尔 , 阿曼多·索拉勒扎马 :
通过等式推理进行语义代码搜索。 1066-1082
机器学习II
塞缪尔·德鲁斯 , 奥斯·阿尔巴古蒂 , 洛里斯·德安东尼 :
证明决策树中的数据中毒鲁棒性。 1083-1097 乌斯曼 , 王文喜 , 马尔科·瓦西奇 , 王开元 , 哈里斯·维卡洛 , 萨尔夫拉兹·库希德 :
关系属性的可学习性研究:模型计数与机器学习(MCML)。 1098-1111 何景轩 , 加甘迪普·辛格 , 马库斯·普舍尔 , 马丁·T·韦切夫 :
学习快速准确的数值分析。 1112-1127
合成III
秦和平湖 , 约翰·西弗特 , 洛里斯·德安东尼 , 托马斯·W·代表 :
用于证明语法引导的合成问题的不可实现性的精确和近似方法。 1128-1142 如意记 , 梁晶晶 , 熊英飞 , 陆章 , 镇江湖 :
交互式程序合成的问题选择。 1143-1158 黄康静 , 邱晓康 , 沈培元 , 王彦军(Yanjun Wang) :
协调枚举和演绎程序综合。 1159-1174
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)