本文部分内容编译自PLDI‘11官网,点击这里看英文。
PLDI会议全称是“ACM SIGPLAN conference on Programming Language Design and Implementation”,是程序语言和编译技术领域顶级的会议。PLDI自1979年创办,今年(PLDI’11)是第32届。每年录用的论文在四十篇左右,平均录取率为21%。
PLDI的建立初衷,是为研究人员、开发人员、教师、编译爱好者提供一个平台,交流程序语言设计和实现的最新工作进展。PLDI接受的论文范围包括程序语言的设计、实现、扩展,以及编译器编译时、运行时的优化技术等。
PLDI 2011接受的论文主要集中于以下几个方向:
- 语言的设计与扩展;
- 程序的静态分析/动态分析;
- 领域语言的设计与工具;
- 类型系统与程序逻辑;
- 程序变换和优化;
- 程序的安全性检查、正确性证明;
- 内存管理;
- 隐式/显式并行化;
- 程序性能分析、验证及工具;
- 新的程序设计模型;
- 调试技术与工具;
- 程序理解(Program Understanding)
- Interaction of compilers/runtimes with underlying systems
- Program synthesis
今年的PLDI,清华大学的周虎成(导师陈文光)中了一篇第一作者论文(An SSA-based Algorithm for Optimal Speculative Code Motion under an Execution Profile),可喜可贺。近几年清华大学、计算所、国防科技大学等国内高校在PLDI、CGO等高级别编译会议上都有优秀的论文入选,相信大陆的程序语言与编译技术的研究的成果会越来越多。
另外,PLDI’12将在北京举办,时间是六月11日至六月16日。计算所的冯晓兵老师和吴承勇老师、清华大学的陈文光老师入选了PLDI’12年的Program Committee。
参考链接:
PLDI‘11官方网址:http://pldi11.cs.utah.edu/
PLDI’12官方网址:http://pldi12.cs.purdue.edu/
微软学术搜索关于PLDI的页面:PLDI