停止战争！

Остановите войну!

对于科学家来说：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

询问他人

PLDI 2019：美国亚利桑那州凤凰城

>主页 >会议和研讨会 >PLDI公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/2019
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/2019
凯瑟琳·麦金利,凯瑟琳·费舍尔:
2019年6月22日至26日，美国亚利桑那州凤凰城，第40届ACM SIGPLAN编程语言设计与实现会议记录，PLDI 2019。 ACM公司 2019，十亿978-1-4503-6712-7

并发I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/PultePKLH19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/PltePKLH19
克里斯托弗·普尔特,Jean Pichon-Pharabod公司,Jeehoon Kang（Jeehon Kang）,宋焕利,中基尔湖:
前景光明的ARM/RISC-V：一种更简单、更快的操作并发模型。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LiuMM19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LiuMM19
刘伦（Lun Liu）,托德·D·米尔斯坦,穆苏瓦蒂夫人:
通过推测编译加速Java的顺序一致性。 16-30
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ProkopecRLD0SBZ19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ProkopecRLD0SBZ19
Aleksandar Prokopec公司,安德烈亚·罗莎,大卫·利奥波德塞德,吉尔斯·杜博斯克,彼得·图马,马丁·斯图德纳,卢博米尔·布勒,郑宇迪,亚历克斯·维拉佐恩,道格·西蒙,托马斯·沃辛格,沃尔特·宾德:
Renaissance：JVM上并行应用程序的基准测试套件。 31-47

语言设计I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/VollmerKRS0N19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/VollmerKRS0N19
迈克尔·沃尔默,Chaitanya Koparkar公司,迈克·雷尼,莱思·萨卡,米林·库尔卡尼,瑞安·R·牛顿:
LoCal：一种用于对序列化数据进行操作的程序的语言。 48-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/FremontDGYSS19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/FremontDGYSS19
丹尼尔·弗雷蒙特,托马索·德罗西,毛滴虫Ghosh,项羽月,阿尔贝托·桑吉奥瓦尼·文森特利,桑吉特·塞希亚:
Scenic：一种用于场景描述和场景生成的语言。 63-78
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GopinathGSS19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GopinathGSS19
斯里达尔·戈皮纳特,尼基尔·加纳特,维维克·塞沙德里,拉胡尔·夏尔马:
将KB大小的机器学习模型编译到微型物联网设备。 79-95

并发II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Kokologianakis19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Kokologianakis19
米查利斯·科科洛吉安纳基斯,杜鹃花,维克托·瓦菲阿迪斯:
弱一致库的模型检查。 96-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/JiangLXZF19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/JiangLXZF19
韩汝江,梁洪进,肖思阳（Siyang Xiao）,查俊鹏,新余峰:
面向并行程序的认证独立编译。 111-125
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LahavM19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LahavM19网址
奥里·拉哈夫,罗伊·马加利特:
针对发布/获取语义的健壮性。 126-141

语言设计II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/DatathrisS0LLMM19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/DatathrisS0LLMM19
罗珊·达塔赫里,奥利·萨里基维,郝晨,金·莱恩,克里斯汀·兰特,赛义德·马利基,穆苏瓦蒂夫人,托德·米特科维奇:
CHET：用于全同态神经网络推断的优化编译器。 142-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/MercadierD19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MercadierD19
大流士·麦卡迪尔,皮埃尔·埃瓦里斯特·达甘:
Usuba：高吞吐量和恒定时间密码，按结构划分。 157-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/CauligiSJBWRGBJ19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/CauligiSJBWRGBJ19
桑杰·考利吉,加里·索勒,布莱恩·约翰内斯迈尔,弗雷泽·布朗,里亚德·S·瓦比,约翰·雷纳,本杰明·格雷戈里,吉尔斯·巴特,兰吉特·贾拉,戴安·斯特凡:
FaCT：用于计时敏感计算的DSL。 174-189

概率规划

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SmolkaKKFHK019
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SmolkaKKFHK019
斯特芬·斯莫尔卡,库马尔,大卫·M·卡恩,内特·福斯特,徐宇春（Justin Hsu）,德克斯特·科赞,亚历山德拉·席尔瓦:
概率网络的可扩展验证。 190-203
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Wang0GCQS19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Wang0GCQS19
王培新,傅鸿飞,阿米尔·卡夫什达尔·戈哈沙迪,克里希南德·查特吉,秦旭东,史文君:
不确定性概率程序的成本分析。 204-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Cusumano-所有者19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Cusumano-Towner19
马可·库苏马诺（Marco F.Cusumano）——所有者,费拉斯·萨阿德,亚历山大·K·卢,维卡什·K·曼辛加:
Gen：具有可编程推理的通用概率编程系统。 221-236
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/张X19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/张X19
张洁媛,薛晶凌:
概率程序的增量精度保留符号推理。 237-252

合成

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/结WP019
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/KnothWP019
特里斯坦·诺思,狄王,纳迪娅·波里卡波娃,扬·霍夫曼:
资源引导的程序合成。 253-268
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/0001R19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/0001R19
贾思申,马丁·里纳德:
使用主动学习合成访问数据库的应用程序模型。 269-285
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/0001DSD19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/0001DSD19
王月鹏,詹姆斯·东,如石山,伊西尔·迪利格:
为模式重构合成数据库程序。 286-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/IyerJPRR19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/IyerJPRR19
阿伦·尚卡·伊耶,马诺哈尔·琼纳拉赫达,Suresh Parthasarathy公司,阿琼·拉德哈克里什纳,斯里拉姆·拉贾马尼:
异构提取的合成和机器学习。 301-315

内存管理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ShullHT19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ShullHT19
托马斯·舒尔,黄健,约塞普·托雷拉斯:
AutoPersist：基于可达性的易于使用的Java NVM框架。 316-332
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/PowersTB019
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/PowersTB019
鲍比·鲍尔斯,大卫·腾奇,埃默里·伯杰,安德鲁·麦格雷戈:
网格：压缩C/C++应用程序的内存管理。 333-346
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/WangCCZVML0X19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/WangCCZVML0X19
王晨曦,崔惠民,曹婷（Ting Cao）,约翰·齐格曼,哈里斯·沃洛斯,Onur Mutlu公司,方律,冯小兵,郭庆哈里·徐:
Panthera：通过混合内存进行大数据处理的整体内存管理。 347-362

正在分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/TonderG19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/TonderG19
Rijnard van Tonder公司,克莱尔·勒·古伊斯:
使用解析器解析器组合器的轻量级多语言语法转换。 363-378
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/KrishnaswamiY19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/KrishnaswamiY19
内拉坎坦·R·克里希纳斯瓦米,杰里米·亚洛普:
一种类型化的代数解析方法。 379-393
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/CampagnaXMSL19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/CampagnaXMSL19
乔瓦尼·坎帕尼亚,徐思蕾（Silei Xu）,梅赫拉德·莫拉德沙希,理查德·索彻,莫妮卡·S·林:
Genie：虚拟助手命令的自然语言语义解析器生成器。 394-410

缺陷发现和测试I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/HallahanXBJP19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/HallahanXBJP19
威廉·哈拉汉,薛安东（Anton Xue）,麦克斯韦-特洛伊-布兰德,兰吉特·贾拉,鲁齐卡·皮斯卡:
懒惰的反事实符号执行。 411-424
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LoringMK19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LoringMK19
布莱克·洛林,邓肯·米切尔,约翰内斯·金德:
良好的正则表达式语义，用于JavaScript的动态符号执行。 425-438
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/FuS19文件
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/FuS19
周来福,苏振东:
通过弱距离最小化进行有效的浮点分析。 439-452

并行与超级计算I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/KhanZPMK19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/KhanZPMK19
坦维尔·艾哈迈德·汗,赵一凡,吉尔斯·波卡姆,巴尔赞·莫扎法里,巴里斯·卡西奇:
Huron：混合错误共享检测和修复。 453-468
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/KongP19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/KongP19
马丁·孔,路易斯·诺埃尔·普切特:
多核和多核CPU的模型驱动转换。 469-484
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/瑜伽19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/YogaN19
阿达斯瑜伽,Santosh Nagarakatte公司:
以并行为中心的假设和差异分析。 485-501

类型系统I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ScalasYB19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ScalasYB19
阿尔切斯特·斯卡拉斯,吉田信子,埃利亚斯·贝努西:
验证具有相关行为类型的消息传递程序。 502-516
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/KuhlenschmidtAS19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/KuhlenschmidtAS19
安德烈·库伦施密特,德亚埃尔丁·阿尔马哈拉维,杰里米·西克:
通过胁迫实现结构类型的高效渐进类型化。 517-532
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/CicekQBG019
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/CicekQBG019
埃兹吉切克,区伟豪,吉尔斯·巴特,马可·加博阿迪,Deepak Garg公司:
关系属性的双向类型检查。 533-547

缺陷发现和测试II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/MathisGMKHZ19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MathisGMKHZ19
比约恩·马蒂斯,拉胡尔·戈皮纳特,米夏·梅拉,亚历山大·坎普曼,马蒂亚斯·霍舍尔,安德利亚斯·策勒:
分析器定向模糊化。 548-560
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/HeoRSN19公司
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/HeoRSN19
Kihong Heo先生,穆昆德·拉戈塔曼,徐杰斯,马约尔·奈克:
使用差分贝叶斯推理对程序进行连续推理。 561-575
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LidburyD19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LidburyD19
克里斯托弗·利德伯里,阿拉斯泰尔·唐纳森:
用受控的时间表进行稀疏记录和回放。 576-593

并行与超级计算II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/MhammadiYCDHDN19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MhammadiYCDHDN19
马赫迪·索尔坦·穆罕默德,富美由纪,卡齐姆·切什米,埃迪·戴维斯,玛丽·W·霍尔,玛丽亚姆·梅赫里·德纳维,帕亚尔·南迪,凯瑟琳·奥尔沙诺夫斯基,阿南德·文卡特,米歇尔·米尔斯·斯特劳特:
为高效的编译器生成的检查器简化稀疏计算数据依赖性。 594-609
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Farzan19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/FarzanN19
阿扎德·法尔赞,维克托·尼科莱特:
嵌套循环的模块化分治并行化。 610-624
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/AgustineSP019
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/AgustineSP019
特拉维斯·奥古斯丁,Janarthanan Sarma公司,路易斯·诺埃尔·普切特,加布里埃尔·罗德里格斯:
从不规则结构生成分段规则代码。 625-639

类型系统II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LiaoHM19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LiaoHM19
廖凯文（Kevin Liao）,马修·哈默,安德鲁·米勒:
ILC：可组合计算密码学的微积分。 640-654
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/WangDWKZ19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/WangDWKZ19
王玉欣（Yuxin Wang）,泽玉鼎,王冠红,丹尼尔·基弗,张丹凤:
通过影子执行证明差异隐私。 655-669
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/MamourasSAIT19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MamourasSAIT19网站
康斯坦蒂诺斯·马穆拉斯,卡勒布·斯坦福,拉杰夫·阿鲁尔,扎卡里·艾夫斯,瓦尔·坦宁:
分布式流处理系统的数据跟踪类型。 670-685

毫升

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ZhuXMJ19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ZhuXMJ19
何朱,熊子康,斯蒂芬·马吉尔,苏雷什·贾甘纳森:
可验证强化学习的归纳综合框架。 686-701
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LeeLLMZ19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LeeLLMZ19
李文川,刘鹏（音）,刘英奇,马仕卿,张湘玉:
自动化软件的编程支持。 702-716
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GuanSL19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GuanSL19
惠观,沈喜鹏,Seung-Hwan Lim先生:
Wootz：一个基于编译器的框架，通过可组合性快速修剪CNN。 717-730
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/AndersonPDC19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/AndersonPDC19
格雷格·安德森,Shankra Pailoor公司,伊西尔·迪利格,斯瓦拉特·乔杜里:
优化和抽象：分析神经网络鲁棒性的协同方法。 731-744

规范

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/EberhardtSRV19文件
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/EberhardtSRV19
简·埃伯哈特,塞缪尔·斯特芬,韦塞林·雷切夫,马丁·T·韦切夫:
API别名规范的无监督学习。 745-759
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ChibotaruBRV19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ChibotaruBRV19
维克托·奇博塔鲁,本杰明·比切尔,韦塞林·雷切夫,马丁·T·韦切夫:
用大代码进行可伸缩的污点规范推断。 760-774
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/AstorgaMSWX19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/AstorgaMSWX19
安吉洛·阿斯托加,P.马都苏丹,Shambwaditya Saha公司,王世玉（Shiyu Wang）,陶雪:
学习测试生成器的有状态前置条件模块。 775-787
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LeZN19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LeZN19
汤尚乐,郑国龙,ThanhVu Nguyen先生:
SLING：使用动态分析来推断分离逻辑中的程序不变量。 788-801

静态分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Wu019
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Wu019
孟武,王超（Chao Wang）:
推测执行下的抽象解释。 802-815
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GysiGBH19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GysiGBH19
托比亚斯·吉西,托比亚斯·格罗瑟,劳林·布兰德纳,托尔斯滕·霍夫勒:
全关联缓存的快速分析模型。 816-829
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SakkaSN019
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SakkaSN019
莱思萨卡,基尔沙丹·桑达拉哈赫,瑞安·R·牛顿,米林·库尔卡尼:
异构树的可靠、细粒度的遍历融合。 830-844
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/NguyenGTH19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/NguyenGTH19
Phuc C.Nguyen先生,托马斯·吉尔雷,萨姆·托宾-霍奇斯塔特,大卫·范·霍恩:
将大小更改终止作为合同：动态和静态强制高阶程序终止。 845-859

动力学：分析与汇编

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/PerryKSZ19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/PerryKSZ19
大卫·米切尔·佩里,Dohyeong Kim先生,萨曼塔屋顶,张湘玉:
SemCluster：基于定量语义特征的命令式编程任务聚类。 860-873
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/KapusIIRC19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/KapusIIRC19
蒂莫泰·卡普斯,奥伦·伊什·沙洛姆,沙查尔·伊扎基,诺姆·里内茨基,克里斯蒂安·卡达尔:
用C语言计算字符串循环的摘要，以便更好地进行测试和重构。 874-888
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ChoiST19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ChoiST19
崔智浩,托马斯·舒尔,约塞普·托雷拉斯:
JavaScript性能的可重用内联缓存。 889-901

性能

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Sundararajah019
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Sundararajah019
基尔沙丹·桑达拉哈赫,米林·库尔卡尼:
嵌套递归和循环的可组合的声音转换。 902-917
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/DhulipalaBS19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/DhulipalaBS19
拉克斯曼·杜利帕拉,盖伊·布莱洛赫,朱利安·顺:
使用压缩纯功能树的低效率图形流。 918-934
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/TangKKA19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/TangKKA19
唐旭龙,Mahmut Taylan坎德米尔,穆斯塔法·卡拉科伊,Meenakshi Arunachalam公司:
共同优化内存级并行和缓存级并行。 935-949

类型系统III

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/RoweFTO19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/RoweFTO19
鲁本·N.S.罗,雨果·费雷,西蒙·汤普森,斯科特·欧文斯:
OCaml模块系统中重命名的特点：理论和实现。 950-965
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/KazerounianGVFH19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/KazerounianGVFH19
米洛德·卡泽鲁尼安,Sankha Narayan古里亚,尼基·瓦祖,杰弗里·福斯特,大卫·范·霍恩:
Ruby库的类型级计算。 966-979

系统I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/WangEMP19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/WangEMP19
王超（Chao Wang）,康斯坦丁·埃纳,苏哈·奥伦·穆特鲁格尔,古斯塔沃·佩特里:
复制软件线性化能力。 980-993
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LiLCGL19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LiLCGL19
李广普,刘浩鹏,陈香兰,哈里亚迪·S·古纳维,山路:
DFix：自动修复分布式系统中的计时错误。 994-1009
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/VasilakisKPSDS19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/VasilakisKPSDS19
尼科斯·瓦西拉基斯,本·卡雷尔,亚什·帕尔基瓦拉,约翰·桑查克,安德烈·德洪,乔纳森·史密斯:
Ignis：使用轻触式分布缩放分布式系统。 1010-1026

验证I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ChurchillP0A19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ChurchillP0A19
伯克利·R·丘吉尔,奇怪的帕顿,拉胡尔·夏尔马,亚历克斯·艾肯:
用于等价检查的语义程序对齐。 1027-1040
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LouwKTMNAF19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LouwKTMNAF19
安德烈亚斯·洛夫,拉马纳·库马尔,Yong Kiam Tan先生,马格努斯·奥·米林,迈克尔·诺里什,奥斯卡·亚伯拉罕森,安东尼·福克斯:
已在已验证的处理器上验证编译。 1041-1053
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ChajedTKZ19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ChajedTKZ19
泰吉·查杰德,约瑟夫·塔萨罗蒂,M.Frans Kaashoek先生,尼古拉·泽利多维奇:
Argosy：使用恢复优化验证分层存储系统。 1054-1068

系统II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GershuniAGNNRRS19会议
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GershuniAGNNRRS19
埃拉扎尔·格舒尼,纳达夫·阿米特,阿里·古芬克尔,尼娜·纳罗季斯卡,豪尔赫·纳瓦斯,诺姆·里内茨基,列奥尼德·雷日克,穆利·萨吉夫:
对不受信任的Linux内核扩展进行简单而精确的静态分析。 1069-1084
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Ruppel19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/RuppelL19
艾米丽·鲁佩尔,布兰登·露西亚:
间歇式能量收集计算系统的事务并发控制。 1085-1100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/MengL19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MengL19
Kiwan Maeng先生,布兰登·露西亚:
支持具有实时检查点的间歇系统中的外围设备。 1101-1116

验证II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/AdullaAAK19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/AdullaAAK19
帕罗什·阿齐兹·阿卜杜拉,杰汀·阿罗拉,穆罕默德·法乌齐·阿提格,桑卡拉·纳拉亚南·克里希纳:
在release-acquire语义下验证程序。 1117-1132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Dasgupta0KAR19会议
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Dasgupta0KAR19
桑迪普·达斯古普塔,大军公园,西奥多罗斯·卡桑帕利斯,维克拉姆·S·阿德,格里戈·罗苏:
x86-64用户级指令集体系结构的完整正式语义。 1133-1148
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/周YY19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ZhouYY19
李周,俞能坤,明生英:
应用量子霍尔逻辑。 1149-1162

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。