Archive for June, 2011

CFP: IWTC 2011

June 19th, 2011 No comments
第一届关于 Trace Compilation(TC) 的 workshop, 跟PPPJ一起举办。估计TC方向慢慢的
August 24, 2011, Kongens Lyngby, Denmark


Colocated with PPPJ 2011

=== SCOPE ===

The first International Workshop on Trace Compilation (IWTC) aims to
bring together researchers and practitioners who study trace compilation
and optimization techniques within statically and dynamically typed
programming languages. The workshop will be co-located with PPPJ 2011,
August 24-26, at the Technical University of Denmark, Kongens Lyngby,

We invite papers on all topics related to trace compilation, including
but not limited to:

Trace recording and compilation
Trace compilation for static and dynamic languages
VM integration of trace compilers
Novel optimizations for trace based compilers
Novel intermediate representations for trace based compilers
Formal aspects of traces
Integration of trace compilers and method compilers
Traces in binary translation systems
Trace collection and analysis
Testing of trace based compilers
Industry / experience papers
Tool demonstration


June 20, 2011 Paper Submission
July 15, 2011 Author Notification
August 1, 2011 Camera Ready Submissions


All papers must represent original and unpublished work that is not
currently under review. Papers will be evaluated according to their
significance, originality, technical content, style, clarity, and
relevance to the conference.

At least one author of each accepted paper is required to attend the
conference and present the paper.

Papers should range between 4 and 6 pages. Please number the pages.
The workshop proceedings will be published as part of the ACM
International Proceedings Series and will be disseminated through the
ACM Digital Library. The required format for the submission is the
ACM SIGPLAN Proceedings Style, using 9-point font size. The author
information containing the Latex and Word templates can be found at Please apply the ACM
Computing Classification categories and terms. The submission website
is at


– Michael Bebenita, University of California, Irvine (USA), chair
– Borys J. Bradel, Altera Corporation (Canada)
– Michael Franz, University of California, Irvine (USA)
– Carl Friedrich Bolz, Heinrich-Heine-University Düsseldorf (Germany)
– Andreas Gal, Mozilla Corporation (USA)
– Ian Rogers, Azul Systems (USA)
– Nikolai Tillman, Microsoft Corporation (USA)
– Christian Wimmer, Oracle Corporation (USA)
Peng Wu, IBM T.J.Watson Research Center (USA)
– Mathew Zaleski, University of Toronto (Canada)



June 15th, 2011 No comments


PLDI会议全称是“ACM SIGPLAN conference on Programming Language Design and Implementation”,是程序语言和编译技术领域顶级的会议。PLDI自1979年创办,今年(PLDI’11)是第32届。每年录用的论文在四十篇左右,平均录取率为21%。


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。