PLDI 2013年:美国华盛顿州西雅图
汉斯·尤根·博姆 , 科马克·弗拉纳根 :
ACM SIGPLAN编程语言设计与实现会议,PLDI’13,西雅图,华盛顿州,美国,2013年6月16-19日。 ACM公司 2013 ,国际标准图书编号 978-1-4503-2014-6
主题演讲
詹姆斯·拉鲁斯 :
仰望!: 你的未来在云端。 1-2
合成
张爱文(Alvin Cheung) , 阿曼多·索拉勒扎马 , 塞缪尔·马登 :
使用查询合成优化数据库支持的应用程序。 3-14 里沙布·辛格 , 苏米特·古尔瓦尼 , 阿曼多·索拉勒扎马 :
介绍性编程任务的自动反馈生成。 15-26 蒂霍米尔·格维罗 , 维克托·昆卡 , 伊万·库拉吉 , Ruzica皮斯卡 :
使用类型和权重完成。 27-38
低级问题
尼克·约翰逊 , Taewook哦 , 阿亚尔·扎克斯 , 戴维·奥古斯特 :
程序相关性图的快速浓缩。 39-50 哈立德·埃尔瓦泽尔 , 卡皮尔·阿南德 , 阿帕娜·科塔 , 马修·史密森 , 拉杰夫·巴鲁阿 :
二进制重写器中的可伸缩变量和数据类型检测。 51-60 巴哈瓦·拉贾拉姆 , 维杰·纳加拉扬 , 苏斯米特·萨卡尔 , 马可·埃尔弗 :
TSO的快速RMW:语义和实现。 61-72
类型
科林·S·戈登 , 迈克尔·D·恩斯特 , 丹·格罗斯曼 :
可靠地保证对别名可变数据的细化类型的引用。 73-84 本·L·蒂泽 :
协调virgilⅢ中的类、函数、元组和类型参数。 85-94 塞巴斯蒂安·伯克哈特 , 曼努埃尔·法恩德里奇 , 佩利·德哈勒克斯 , 肖恩·麦克迪米德 , 米查尔·莫斯卡尔 , 尼古拉·蒂尔曼 , 资深投资经理加藤俊 :
它还活着! UI编程中的持续反馈。 95-104
高性能计算
扎卡里·德维托 , 詹姆斯·赫加蒂 , 亚历克斯·艾肯 , 帕特·汉拉罕 , 扬·维泰克 :
Terra:一种用于高性能计算的多阶段语言。 105-116 李佳佳 , 谭光明 , 陈明宇 , 孙宁辉 :
SMAT:用于稀疏矩阵-向量乘法的输入自适应自动调谐器。 117-126 马丁·孔 , 理查德·维拉斯 , 凯文·斯达克 , 弗兰兹·弗朗切蒂 , 路易斯·诺埃尔·普切特 , P.萨达亚潘 :
多面体转换满足SIMD代码生成时。 127-138
主题演讲2
弗雷德·施耐德 :
安全编程语言:主题。 139-140
动态分析
黄立成 , 查尔斯·张 , 朱利安·杜比 :
CLAP:记录本地执行以重现并发故障。 141-152 泰富·埃尔马斯 , 雅各布·伯尼姆 , 乔治·C·内库拉 , 库什克森 :
CONCURRIT:一种特定于域的语言,用于重现并发错误。 153-164 Max Schäfer公司 , 马努·斯里德哈兰 , 朱利安·杜比 , 弗兰克·蒂普 :
动态确定性分析。 165-174
编译器验证
赵建洲 , Santosh Nagarakatte公司 , 米洛·M·K·马丁 , 史蒂夫·兹丹塞维奇 :
LLVM基于SSA的优化的形式化验证。 175-186 罗宾·莫里塞特 , 潘卡杰·巴万 , 弗朗西斯科·扎帕·纳德利 :
通过C11/C++11内存模型中的声音优化理论进行编译器测试。 187-196 杨晨 , 亚历克斯·格罗斯 , 张超强 , 王瓮记 , 小李Z.蕨类 , 埃里克·艾德 , 约翰·雷格尔 :
驯服编译器模糊器。 197-208
验证1
萨姆·布莱克希尔 , Shuvendu K.Lahiri公司 :
几乎正确的规范:为警告分配置信度的模块化语义框架。 209-218 拜伦·库克 , 埃里克·科斯基宁 :
推理程序中的不确定性。 219-230 邱晓康 , 普拉纳夫·加格 , 安德烈·斯特凡内斯库 , 帕塔萨拉提·马杜苏丹 :
结构、数据和分离的自然证明。 231-242
并发1
余洪涛 , 侯仁高 , 李志远 :
多线程的通用数据结构扩展。 243-252 魏伦鸿 , 维杰·K·加格 :
自动同步:基于谓词标记的自动信号监视器。 253-262 盖·戈兰·格塔 , G.拉马林加姆 , 穆利·萨吉夫 , 埃兰·雅哈 :
具有前瞻性的并发库。 263-274
象征性执行
萨姆·布莱克希尔 , Bor-Yuh Evan Chang先生 , 马努·斯里德哈兰 :
阈值:对堆可达性的精确反驳。 275-286 Abhishek Udupa公司 , 阿伦·拉加万 , 乔蒂莫伊·德什穆克 , 塞拉·马多尔·海姆 , 米洛·M·K·马丁 , 拉杰夫·阿鲁尔 :
TRANSIT:使用concolic片段指定协议。 287-296
内存管理
高铁军 , 卡琳·施特劳斯 , 斯蒂芬·M·布莱克本 , 凯瑟琳·S·麦金利 , 道格汉堡 , 詹姆斯·拉鲁斯 :
使用托管运行时系统来容忍可穿戴内存中的漏洞。 297-308 纳克肖恩·科恩 , 埃雷斯·彼得兰克 :
部分压缩的局限性:接近实际边界。 309-320
语言设计
Ankush Desai公司 , 魏维克·古普塔 , 伊桑·K·杰克逊 , 沙兹·卡迪尔 , 斯里拉姆·拉贾马尼 , 达米安·祖弗里 :
P: 安全的异步事件驱动编程。 321-332 亚历山大·格林 , 彼得·勒法努·卢姆斯代恩 , 尼尔·J·罗斯 , 彼得·塞林格 , 贝诺?t缬氨酸 :
Quipper:一种可扩展的量子编程语言。 333-342 Chinawat Isradisaikul公司 , 安德鲁·迈尔斯 :
协调与对象的详尽模式匹配。 343-354
分析
埃里克·博登 , 塔西斯·托利多 , 马西奥·里贝罗 , 克劳斯·布拉布兰德 , 保罗·博尔巴 , 米拉·梅齐尼 :
斑点 电梯 :静态分析软件产品线只需几分钟,而不是几年。 355-364 张欣(Xin Zhang) , 马约尔·奈克 , 杨红seok :
在参数数据流分析中寻找最佳抽象。 365-376 卡尔默·阿皮尼斯 , 赫尔穆特·塞德尔 , 维萨尔·沃达尼 :
如何结合非单调方程组的加宽和缩小。 377-386
单车和FRP
尼基尔·斯瓦米 , 乔尔·温伯格 , 科尔·施莱辛格 , 胡安·陈 , 本杰明·利夫希茨 :
使用dijkstra monad验证高阶程序。 387-398 伊利亚·谢尔盖 , 多米尼克·德弗里斯 , 马修·米特 , Jan Midtgaard公司 , 大卫·达赖 , 戴夫·克拉克 , 弗兰克·皮森斯 :
一元抽象翻译。 399-410 埃文·查普利基 , 斯蒂芬·庄(Stephen Chong) :
GUI的异步功能反应式编程。 411-422
别名分析
乔治·卡斯特里尼斯 , 亚尼斯·斯马拉格达基斯 :
针对点分析的混合上下文敏感性。 423-434 张启润 , 迈克尔·R·吕 , 郝元 , 苏振东 :
Dyck-CFL可访问性的快速算法及其在别名分析中的应用。 435-446 斯里拉姆·桑卡拉纳拉亚南 , 阿列克桑达尔·查卡洛夫 , 苏米特·古尔瓦尼 :
概率程序的静态分析:从有限多条路径推断整个程序的属性。 447-458
验证2
梁洪进 , 新余峰 :
用非固定线性化点对线性化能力进行模块化验证。 459-470 托马斯·阿瑟·莱克·苏厄尔 , 马格努斯·奥·米林 , 格温·克莱因 :
已验证操作系统内核的翻译验证。 471-482 阿琼·古哈 , 马克·雷特布拉特 , 内特·福斯特 :
机器验证的网络控制器。 483-494
并发2
托尼·诺瓦茨基 , 迈克尔·萨廷(Michael Sartin)——手臂 , 洛伦佐·德·卡利 , Karthikeyan Sankarlingam公司 , 克里斯蒂安·埃斯坦 , 贝纳姆·罗巴特米利 :
空间架构的通用约束中心调度框架。 495-506 乔纳森·利夫兰德 , 斯里拉姆·克里希纳莫奥斯蒂 , 拉克西坎特·V·卡莱 :
窃取树:低开销跟踪窃取工作的调度程序。 507-518 乔纳森·拉根-凯利 , 康奈利·巴恩斯 , 安德鲁·亚当斯 , Sylvain巴黎 , 杜兰德神父 , 萨曼·阿马拉辛格 :
Halide:一种语言和编译器,用于优化图像处理管道中的并行性、局部性和重新计算。 519-530