Archive

Posts Tagged ‘PLDI’

PLDI 2016 Accepted Papers

January 25th, 2016 3 comments

看到上海交大 Yuting Chen 中了一篇, 恭喜恭喜 🙂

Coverage-Directed Differential Testing of JVM Implementations

PLDI’16 论文列表:

http://conf.researchr.org/track/pldi-2016/pldi-2016-papers#event-overview

大体上, 使用学习方法来死磕二进制级别的东西继续流行着, 还有很多坑可以挖; 形式化证明类和类型系统的论文继续占着稳定的比例; 测试/浮点/综合/调度/时序等方向都零零散散会有一两篇. 比较好玩的是 Google 发了一篇 GC 的文章, 介绍了在Chromium中的GC工作方式.

 

PLDI会议简介

June 15th, 2011 No comments

本文部分内容编译自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