停止战争！

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

对于科学家：

默认搜索操作

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

问别人

PLDI 2013年：美国华盛顿州西雅图

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/2013
汉斯·尤根·博姆,科马克·弗拉纳根:
ACM SIGPLAN编程语言设计与实现会议，PLDI’13，西雅图，华盛顿州，美国，2013年6月16-19日。 ACM公司 2013，国际标准图书编号978-1-4503-2014-6

主题演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Larus公司13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Larus13
詹姆斯·拉鲁斯:
仰望！：你的未来在云端。 1-2

合成

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/CheungSM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/CheungSM13
张爱文（Alvin Cheung）,阿曼多·索拉勒扎马,塞缪尔·马登:
使用查询合成优化数据库支持的应用程序。 3-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SinghGS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SinghGS13
里沙布·辛格,苏米特·古尔瓦尼,阿曼多·索拉勒扎马:
为介绍性编程任务自动生成反馈。 15-26
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GveroKKP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GveroKKP13
蒂霍米尔·格维罗,维克托·昆卡,伊万·库拉吉,鲁齐卡·皮斯卡:
使用类型和权重完成。 27-38

低级问题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/JohnsonOZA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/JohnsonOZA13
尼克·约翰逊,Taewook哦,阿亚尔·扎克斯,戴维·奥古斯特:
程序相关性图的快速浓缩。 39-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ElwazeerAKSB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ElwazeerAKSB13
哈立德·埃尔瓦泽尔,卡皮尔·阿南德,阿帕娜·科塔,马修·史密森,拉杰夫·巴鲁阿:
二进制重写器中的可伸缩变量和数据类型检测。 51-60
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/RjaramNSE13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/RjaramNSE13
巴哈瓦·拉贾拉姆,维杰·纳加拉扬,苏斯米特·萨卡尔,马可·埃尔弗:
TSO的快速RMW：语义和实现。 61-72

类型

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GordonEG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GordonEG13
科林·S·戈登,迈克尔·D·恩斯特,丹·格罗斯曼:
可靠地保证对别名可变数据的细化类型的引用。 73-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Titzer13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Titzer13
本·L·蒂泽:
协调virgilⅢ中的类、函数、元组和类型参数。 85-94
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/BurckhardtFHMMTK13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/BurckhardtFHMMTK13
塞巴斯蒂安·伯克哈特,曼努埃尔·法恩德里奇,佩利·德哈勒克斯,肖恩·麦克迪米德,米查尔·莫斯卡尔,尼古拉·蒂尔曼,资深投资经理加藤俊:
它还活着！UI编程中的持续反馈。 95-104

高性能计算

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/DeVitoHAHV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/DeVitoHAHV13
扎卡里·德维托,詹姆斯·赫加蒂,亚历克斯·艾肯,帕特·汉拉罕,扬·维泰克:
Terra：一种用于高性能计算的多阶段语言。 105-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LiTCS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LiTCS13
李佳佳,谭光明,陈明宇,孙宁辉:
SMAT：用于稀疏矩阵-向量乘法的输入自适应自动调谐器。 117-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/KongVSFPS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/KongVSFPS13
马丁·孔,理查德·维拉斯,凯文·斯达克,弗兰兹·弗朗切蒂,路易斯·诺埃尔·普切特,P.萨达亚潘:
多面体转换满足SIMD代码生成时。 127-138

主题演讲2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Schneider13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Schneider13
弗雷德·B·施耐德:
安全编程语言：主题。 139-140

动态分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/黄ZD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/HuangZD13
黄立成,查尔斯·张,朱利安·杜比:
CLAP：记录本地执行以重现并发故障。 141-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ElmasBNS13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ElmasBNS13
泰富·埃尔马斯,雅各布·伯尼姆,乔治·C·内库拉,库什克森:
CONCURRIT：一种特定于域的语言，用于重现并发错误。 153-164
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ShaferSDT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ScheferSDT13
Max Schäfer公司,马努·斯里德哈兰,朱利安·杜比,弗兰克·蒂普:
动态确定性分析。 165-174

编译器验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ZhaoNMZ13会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ZhaoNMZ13
赵建洲,Santosh Nagarakatte公司,米洛·M·K·马丁,史蒂夫·兹丹塞维奇:
LLVM基于SSA的优化的形式化验证。 175-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/MorissetPN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MorissetPN13
罗宾·莫里塞特,潘卡杰·巴万,弗朗西斯科·扎帕·纳德利:
通过C11/C++11内存模型中的声音优化理论进行编译器测试。 187-196
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ChenGZWFER13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ChenGZWFER13
杨晨,亚历克斯·格罗斯,张超强,王瓮记,小李Z.蕨类,埃里克·艾德,约翰·雷格尔:
驯服编译器模糊器。 197-208

验证1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/BlackshearL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/BlackshearL13
萨姆·布莱克希尔,Shuvendu K.Lahiri公司:
最正确的规范：为警告分配可信度的模块化语义框架。 209-218
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/CookK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/CookK13网站
拜伦·库克,埃里克·科斯基宁:
推理程序中的不确定性。 219-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Qiu0SM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Qiu0SM13
邱晓康,普拉纳夫·加格,安德烈·斯特凡内斯库,帕塔萨拉提·马杜苏丹:
结构、数据和分离的自然证明。 231-242

并发1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/YuKL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/YuKL13
余洪涛,侯仁高,李志远:
多线程的通用数据结构扩展。 243-252
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/HungG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/HungG13
魏伦鸿,维杰·K·加格:
自动同步：基于谓词标记的自动信号监视器。 253-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Glan-GuetaRSY13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Glan-GuetaRSY13
盖·戈兰·格塔,G.拉马林加姆,穆利·萨吉夫,埃兰·雅哈:
具有前瞻性的并发库。 263-274

象征性执行

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/BlackshearCS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/BlacksherCS13
萨姆·布莱克希尔,Bor-Yuh Evan Chang先生,马努·斯里德哈兰:
阈值：对堆可达性的精确反驳。 275-286
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/UdupaRDMMA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/UdupaRDMMA13网址
Abhishek Udupa公司,阿伦·拉加万,Jyotirmoy V.Deshmukh公司,塞拉·马多尔·海姆,米洛·M·K·马丁,拉杰夫·阿鲁尔:
TRANSIT：使用concolic片段指定协议。 287-296

内存管理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GaoSBMBL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GaoSBMBL13
高铁军,卡林·施特劳斯,斯蒂芬·M·布莱克本,凯瑟琳·麦金利,道格汉堡,詹姆斯·拉鲁斯:
使用托管运行时系统来容忍可穿戴存储器中的漏洞。 297-308
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/CohenP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/CohenP13
纳克肖恩·科恩,埃雷斯·彼得兰克:
部分压缩的局限性：接近实际边界。 309-320

语言设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/DesaiGJQRZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/DesaiGJQRZ13
Ankush Desai公司,魏维克·古普塔,伊桑·K·杰克逊,沙兹·卡德尔,斯里拉姆·拉贾马尼,达米恩·祖弗里:
P：安全的异步事件驱动编程。 321-332
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GreenLRSV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GreenLRSV13
亚历山大·格林,彼得·勒法努·卢姆斯代恩,尼尔·J·罗斯,彼得·塞林格,贝诺？t缬氨酸:
Quipper：一种可扩展的量子编程语言。 333-342
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/IsradisaikulM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/IsradisaikulM13
Chinawat Isradisaikul公司,安德鲁·迈尔斯:
协调与对象的详尽模式匹配。 343-354

分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/BoddenTRBBM13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/BoddenTRBBM13网址
埃里克·博登,塔西斯·托利多,马西奥·里贝罗,克劳斯·布拉布兰德,保罗·博尔巴,米拉·梅齐尼:
SPL公司^电梯：静态分析软件产品线只需几分钟，而不是几年。 355-364
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/张NY13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ShangNY13
张欣（Xin Zhang）,马约尔·奈克,杨红seok:
在参数数据流分析中寻找最佳抽象。 365-376
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ApinisSV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ApinisSV13
Kalmer Apinis公司,赫尔穆特·塞德尔,维萨尔·沃达尼:
如何结合非单调方程组的加宽和缩小。 377-386

单车和FRP

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SwamyWSCL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SwamyWSCL13
尼基尔·斯瓦米,乔尔·温伯格,科尔·施莱辛格,胡安·陈,本杰明·利夫希茨:
使用dijkstra monad验证高阶程序。 387-398
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/谢尔盖DMMDCP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SergeyDMMDCP13
伊利亚·谢尔盖,多米尼克·德弗里斯,马修·米特,扬·米德加德,大卫·达赖,戴夫·克拉克,弗兰克·皮森斯:
一元抽象翻译。 399-410
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/CzaplickiC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/CzaplickiC13
埃文·查普利基,斯蒂芬·庄（Stephen Chong）:
GUI的异步功能反应式编程。 411-422

别名分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/KastrinisS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/KastrinisS13网址
乔治·卡斯特里尼斯,亚尼斯·斯马拉格达基斯:
针对点分析的混合上下文敏感性。 423-434
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/张LYS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ShangLYS13
张启润,迈克尔·R·吕,郝媛,苏振东:
Dyck-CFL可访问性的快速算法及其在别名分析中的应用。 435-446
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SankaranarayananCG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SankaranarayananCG13
斯里拉姆·桑卡拉纳拉亚南,阿列克桑达尔·查卡洛夫,苏米特·古尔瓦尼:
概率程序的静态分析：从有限多条路径推断整个程序的属性。 447-458

验证2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LiangF13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/良F13
梁洪进,新余峰:
利用非固定线性化点进行线性化的模块化验证。 459-470
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SewellMK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SewellMK13
托马斯·阿瑟·莱克·苏厄尔,马格努斯·奥·米林,格温·克莱因:
已验证操作系统内核的翻译验证。 471-482
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GuhaRF13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GuhaRF13
阿琼·古哈,马克·雷特布拉特,内特·福斯特:
机器验证的网络控制器。 483-494

并发2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/NowatzkiSCSER13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/NowatzkiSCSER13
托尼·诺瓦茨基,迈克尔·萨廷（Michael Sartin）——手臂,洛伦佐·德·卡利,Karthikeyan Sankarlingam公司,克里斯蒂安·埃斯坦,贝纳姆·罗巴特米利:
一种通用的以约束为中心的空间体系结构调度框架。 495-506
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LiflanderKK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LiflanderKK13
乔纳森·利夫兰德,斯里拉姆·克里希纳穆尔蒂,拉克西坎特·V·卡莱:
窃取树：低开销跟踪窃取工作的调度程序。 507-518
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Ragan-Kelley公司BAPDA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Ragan-KelleyBAPDA13
乔纳森·拉根-凯利,康奈利·巴恩斯,安德鲁·亚当斯,Sylvain巴黎,杜兰德神父,萨曼·阿马拉辛赫:
Halide：一种语言和编译器，用于优化图像处理管道中的并行性、局部性和重新计算。 519-530

服务

管理网站设置

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