PLDI 1996年:宾夕法尼亚州费城
查尔斯·菲舍尔 :
1996年5月21日至24日,美国宾夕法尼亚州费城,ACM SIGPLAN’96编程语言设计与实现(PLDI)会议记录。 ACM公司 1996 ,国际标准图书编号 0-89791-795-2
指令调度
约翰·鲁滕贝格 , 高广瑞 , 伍迪·利希滕斯坦 , 阿图尔·斯托奇宁 :
软件流水线决战:生产编译器中的优化与启发式方法。 1-11 亚历山大·艾森伯格 , 爱德华·S·戴维森 :
保留调度约束的简化多管道机器描述。 12-22
调试
科马克·弗拉纳根 , 马修·弗拉特 , 克里希纳穆西神社 , 斯蒂芬妮·韦里奇 , 马提亚斯·费莱森 :
静态调试:浏览程序不变量的Web。 23-32 Ali-Reza Adl-Tabatabai公司 , 托马斯·R·格罗斯 :
标量优化代码的源代码级调试。 33-43 大卫·E·埃文斯 :
动态内存错误的静态检测。 44-53
并行化编译器
马丁·里纳德 , 佩德罗·迪尼兹 :
交换性分析:一种新的并行编译器分析框架。 54-67 苏丹查克拉巴蒂 , 马尼什·古普塔 , Jong-Deok Choi先生 :
全球通信分析与优化。 68-78 菲利普·W·特林德 , 凯文·哈蒙德 , 詹姆斯·马特森(James S.Mattson Jr.)。 , 安德鲁·S·帕特里奇 , 西蒙·佩顿·琼斯 :
GUM:Haskell的可移植并行实现。 79-88
实施技术
汉斯·尤根·博姆 :
简易垃圾收集器-安全。 89-98 卡尔·布鲁格曼 , 奥斯卡·沃德尔 , R.Kent Dybvig公司 :
在一拍连续体中代表控制权。 99-107 罗伯特·G·伯格 , R.Kent Dybvig公司 :
快速准确地打印浮点数字。 108-116
新方向
史蒂文·道森 , C.R.Ramakrishnan(罗马克里希南) , 大卫·斯科特·沃伦 :
使用通用逻辑编程系统的实用程序分析-案例研究。 117-126 Ali-Reza Adl-Tabatabai公司 , 杰夫·兰代尔 , 史蒂文·卢科 , 罗伯特·瓦赫布 :
高效且独立于语言的移动程序。 127-136
运行时代码生成
李忠琛 , 马克·利昂 :
使用运行时代码生成优化ML。 137-148 乔尔·奥斯兰德 , 马泰·菲利普斯 , 克雷格·钱伯斯 , 苏珊·J·艾格斯 , 布莱恩·贝尔沙德 :
快速、有效的动态编译。 149-159 道森·R·恩格尔 :
VCODE:一个可重定向、可扩展、非常快速的动态代码生成系统。 160-170
函数语言实现
约翰·雷皮 , 乔恩·里克 :
标准ML的简单对象。 171-180 大卫·塔迪蒂 , J.格雷戈里·莫里塞特 , 程伊兵 , 克里斯托弗·斯通 , 罗伯·哈波 , 李忠琛 :
TIL:一个面向ML的类型定向优化编译器。 181-192 苏雷什·贾甘纳森 , 安德鲁·赖特 :
流向内联。 193-205
当前/部分评估
迈克尔·斯珀伯 , 彼得·蒂曼 :
通过部分评估进行现实编译。 206-214 Todd B.Knoblock公司 , 埃里克·鲁夫 :
数据专业化。 215-225 诺曼·拉姆齐 :
通过Currying重新定位机器指令。 226-236
测试和验证
萨蒂什·钱德拉 , 布拉德理查兹 , 詹姆斯·拉鲁斯 :
茶壶:书写内存一致性协议的语言支持。 237-248 马克·W·贝利 , 杰克·W·戴维森 :
用于过程调用序列生成器的诊断程序的目标敏感构造。 249-257 马克·拉希诺维奇 , 布莱斯·考格斯威尔 :
并发非确定共享内存应用程序的重播。 258-266
项目分析
G.拉马林加姆 :
数据流频率分析。 267-277 Vugramam C.Sreedhar公司 , 高广瑞 , 李永丰 :
使用DJ图进行穷举和增量数据流分析的新框架。 278-290 吉安弗兰科·比拉尔迪 , 凯沙夫·平加里 :
广义支配和控制依赖。 291-300
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)