停止战争！

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

对于科学家：

默认搜索操作

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

问别人

PLDI 2015：美国俄勒冈州波特兰

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/2015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/2015
大卫·格罗夫,斯蒂芬·M·布莱克本:
2015年6月15日至17日，美国俄勒冈州波特兰举行的第36届ACM SIGPLAN编程语言设计与实现会议记录。 ACM公司 2015，国际标准图书编号978-1-4503-3468-6

杰出论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/PanchekhaSWT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/PanchekhaSWT15
帕维尔·潘切卡,亚历克斯·桑切斯·斯特恩,詹姆斯·R·威尔科克斯,扎卡里·塔特洛克:
自动提高浮点表达式的精度。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/张MVJ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ShangMVJ15
张丹凤,安德鲁·迈尔斯,迪米特里厄斯病毒性肠炎,西蒙·佩顿·琼斯:
正在诊断类的类型错误。 12-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LopesMNR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LopesMNR15
努诺·P·洛佩斯,大卫·梅内德斯,Santosh Nagarakatte公司,约翰·雷格尔:
用alive验证正确的窥视孔优化。 22-32

正确性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/FaddegonC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/FaddegonC15
马尔滕·法德贡,奥拉夫·奇蒂尔:
现实世界haskell程序的算法调试：从成本中心堆栈派生依赖关系。 33-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/pldi/Sidiroglou-Douskos15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Sidiroglou-Douskos网站15
Stelios Sidiroglou-Douskos公司,埃里克·拉赫蒂宁,Fan Long（风扇长）,马丁·里纳德:
通过跨多个应用程序的水平代码传输自动消除错误。 43-54
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/0010ZTZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/0010ZTZ15
刘鹏（音）,张湘玉,Omer跳闸,郑云辉:
轻：通过严格限制的录音重播。 55-64
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/利德伯里LCD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LidburyLCD15
克里斯托弗·利德伯里,安德烈·拉斯库,内森·冲（Nathan Chong）,阿拉斯泰尔·唐纳森:
多核编译器模糊化。 65-76

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/谢尔盖NB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SergeyNB15
伊利亚·谢尔盖,亚历山大·纳涅夫斯基,安妮迪亚·班纳吉:
细粒度并发程序的机械化验证。 77-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SharmaBA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SharmaBA15
拉胡尔·夏尔马,迈克尔·鲍尔,亚历克斯·艾肯:
验证GPU程序中的生产者-消费者同步。 88-98
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GammieHE15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GammieHE15网站
彼得·甘米,安东尼·霍斯金,凯·恩格尔哈特:
安全放松：验证x86-TSO的空中垃圾收集。 99-109
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/TasarottiDV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/TasarottiDV15
约瑟夫·塔萨洛蒂,德里克·德雷尔,维克托·瓦菲亚迪斯:
验证弱内存逻辑中的读-复制更新。 110-120

优化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/KoBS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/KoBS15
优善高,Bernd Burgsteller公司,伯恩哈德·舒尔茨:
LaminarIR：结构化流的编译时间队列。 121-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/DingTKZK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/DingTKZK15
魏丁,唐旭龙,马赫穆特·坎德米尔,张元瑞,埃姆雷·库尔塞伊:
优化多核中的片外访问。 131-142
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/MehtaY15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MehtaY15网站
三亚姆·梅塔,彭昌紫杉:
提高编译器的可伸缩性：以较小的价格优化大型程序。 143-152

托帕斯

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Appel15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Appel15
安德鲁·W·阿佩尔:
加密原语的验证：SHA-256（摘要）。 153

并发I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/DeligiannisDKLT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/DeligiannisDKLT15
德利吉安人,阿拉斯泰尔·唐纳森,杰伦·凯特马,阿卡什·拉尔,保罗·汤姆森:
使用状态机进行异步编程、分析和测试。 154-164
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/黄15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Huang15
黄立成:
具有最大因果关系减少的无状态模型检查并发程序。 165-174
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SamakRJ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SamakRJ15
马拉维卡沙马,穆拉利·克里希纳·拉马纳桑,苏雷什·贾甘纳森:
综合活力测试。 175-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/KoskinenP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/KoskinenP15
埃里克·科斯基宁,马修·帕金森:
交易的推/拉模型。 186-195

合成I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/MClurgHCF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MClurgHCF15
杰迪迪亚·麦克卢格,侯赛因·霍贾特,帕沃尔·塞恩,内特·福斯特:
网络更新的高效合成。 196-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/NoriORV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/NoriORV15
阿迪蒂亚·诺里,谢尔吉尔·奥扎尔,斯里拉姆·拉贾马尼,迪帕克·维杰克尔西:
概率程序的有效合成。 208-217
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/BarowyGHZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/BarowyGHZ15
丹尼尔·巴罗维,苏米特·古尔瓦尼,特德·哈特,本杰明·G·佐恩:
FlashRelate：使用示例从半结构化电子表格中提取关系数据。 218-228
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/FeserCD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/FeserCD15
约翰·费瑟,斯瓦拉特·乔杜里,伊西尔·迪利格:
从输入-输出示例合成数据结构转换。 229-239

并发II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ZivAGRS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ZivAGRS15
奥夫里·齐夫,亚历克斯·艾肯,盖·戈兰·格塔,G.拉马林加姆,穆利·萨吉夫:
编写并发控制。 240-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/张KW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/张KW15
张娜玲（Naling Zhang）,马库斯·贵霜,王超（Chao Wang）:
松弛记忆模型的动态部分降阶。 250-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/EmmiEH15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/EmmiEH15
迈克尔·埃米,康斯坦丁·埃纳,贾德·哈姆扎:
通过符号推理监控细化。 260-269
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Longfield公司NMT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LongfieldNMT15
小斯蒂芬·朗菲尔德。,布列塔尼·恩库库,拉吉特·马诺哈尔,罗斯·泰特:
防止高级自定时芯片规范中的故障和短路。 270-279

分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LalQ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LalQ15
阿卡什·拉尔,沙兹·卡迪尔:
DAG内联：层次程序中可达性模理论的决策过程。 280-290
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/JohnsonWMC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/JohnsonWMC15
安德鲁·约翰逊,卢卡斯·韦伊,斯科特摩尔,斯蒂芬·庄（Stephen Chong）:
通过程序依赖图探索和实施安全保证。 291-302
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SinghPV15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SinghPV15
加甘迪普·辛格,马库斯·普舍尔,马丁·T·韦切夫:
快速进行数值程序分析。 303-313
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/威江BLK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/WijiangBLK15
虞胜威江,什鲁西·巴拉克里什纳,刘建桥,米林·库尔卡尼:
树依赖性分析。 314-325

语义学I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/KangHMGZV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/KangHMGZV15
Jeehoon Kang（Jeehon Kang）,中基尔湖,威廉·曼斯基,德米特里·加布佐夫,史蒂夫·兹丹塞维奇,维克托·瓦菲亚迪斯:
一种支持整数指针强制转换的正式C内存模型。 326-335
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/HathhornER15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/HathhornER15
克里斯·哈特霍恩,丘基·埃里森,格里戈·罗苏:
定义C的不确定性。 336-345
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ParkSR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ParkSR15
大军公园,安德烈·斯特凡内斯库,格里戈·罗苏:
KJS：JavaScript的完整形式语义。 346-356
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/WilcoxWPTWEA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/WilcoxWPTWEA15
詹姆斯·威尔科克斯,道格·伍斯,帕维尔·潘切卡,扎卡里·塔特洛克,西王,迈克尔·D·恩斯特,托马斯·安德森:
Verdi：用于实现和正式验证分布式系统的框架。 357-368

性能

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/OlivoDL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/OlivoDL15
奥斯瓦尔多·奥利沃,伊西尔·迪利格,卡尔文·林:
静态检测集合遍历中的渐近性能错误。 369-378
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/DingAVSOA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/DingAVSOA15
丁宇飞,杰森·安塞尔,Kalyan Veeramachaneni公司,沈喜鹏,乌纳·梅·奥雷利,萨曼·阿马拉辛格:
输入灵敏度的自动调谐算法选择。 379-390
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/MendisBWKRPZA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MondisBWKRPZA15
查里斯·门迪斯,杰弗里·博斯布姆,吴凯文,Shoaib Kamil公司,乔纳森·拉根-凯利,西尔万·帕里斯,秦昭,萨曼·阿马拉辛格:
氦：将高性能模板内核从剥离的x86二进制文件提升为卤化物DSL代码。 391-402
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/BowmanMSD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/BowmanMSD15
威廉·鲍曼,斯瓦哈·米勒,文森特·圣穆尔,R.Kent Dybvig公司:
概要文件引导的元编程。 403-412

语义学II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Sivaramakrishnan15号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Sivaramakrishnan15
K.C.西瓦拉马克里希南,戈瑟姆·卡基,苏雷什·贾甘纳森:
最终一致数据存储上的声明性编程。 413-424
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SiekTW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SiekTW15
杰里米·西克,彼得·蒂曼,菲利普·沃德勒:
指责和胁迫：第一次再次在一起。 425-435
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/张LSLM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ShangLSLM15
张益洲,马修·洛林,吉多·萨尔瓦内奇,芭芭拉·利斯科夫,安德鲁·迈尔斯:
轻量级、灵活的面向对象泛型。 436-445
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/NguyenH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/NguyenH15
Phuc C.Nguyen先生,大卫·范·霍恩:
高阶程序相对完整的反例。 446-456

逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ChuJT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ChuJT15
朱棣文公爵,佐克森·贾法尔,明泰哲:
命令式程序中数据结构的自动归纳证明。 457-466
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Carbonneaux0S15型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Carbonneaux0S15
昆汀碳纤维,扬·霍夫曼,钟绍:
成分认证的资源边界。 467-478
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/CraryS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/CraryS15
卡尔·克莱里,迈克尔·沙利文:
使用比特币的对等仿射承诺。 479-488
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LeQC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LeQC15
Ton Chanh Le公司,秦胜超,魏恩甘钦:
终止和非终止规范推断。 489-498

并行性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/EmaniO15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/EmaniO15
穆拉利·克里希纳·埃曼尼,迈克尔·F·P·奥博伊尔:
庆祝多样性：一种在动态环境中进行运行时映射的专家混合方法。 499-508
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/RenJKAK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/RenJKAK15
宾仁,Youngjoon Jo先生,斯里拉姆·克里希纳莫奥斯蒂,库纳尔·阿格拉瓦尔,米林·库尔卡尼:
在商品向量硬件上高效执行递归程序。 509-520
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/文卡HS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/VenkatHS15
阿南德·文卡特,玛丽·W·霍尔,米歇尔·斯特劳特:
稀疏矩阵代码的循环和数据转换。 521-532
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/PrountzosMP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ProntzosMP15
迪米特里奥斯·普朗佐斯,罗曼·马涅维奇,凯沙夫·平加里:
通过自动化规划综合并行图程序。 533-544

波多里

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/MarrSD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MarrSD15
斯特凡·马尔,克里斯·西顿,圣埃芬·杜卡斯:
零开销元编程：反射和元对象协议快速且无需妥协。 545-554
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/IsradisaikulM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/IsradisaikulM15
Chinawat Isradisaikul公司,安德鲁·迈尔斯:
从解析冲突中查找反例。 555-564
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LeungSL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LeungSL15
任命梁敏硕,约翰·萨拉西诺,索林·勒纳:
通过示例进行交互式解析器合成。 565-574
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LuciaR15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/RuciaR15
布兰登·露西亚,本杰明·兰斯福德:
间歇系统的更简单、更安全的编程和执行模型。 575-585

合成II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/MachadoLR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MachadoLR15
努诺·马查多,布兰登·露西亚,路易斯·罗德里格斯:
使用差异计划预测进行并发调试。 586-595
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SrinivasanR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SrinivasanR15
文卡特斯·斯里尼瓦桑,托马斯·W·代表:
从语义合成机器代码。 596-607
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GonnordMR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GonnordMR15
劳雷·贡诺德,大卫·莫尼奥,加布里埃尔·拉丹:
使用极值反例综合排序函数。 608-618
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/OseraZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/OseraZ15
彼得·迈克尔·奥塞拉,史蒂夫·兹丹塞维奇:
类型和示例导向的程序合成。 619-630

服务

管理站点设置

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