“ACM编程语言设计与实现会议”（ACM SIGPLAN 2008 Conference on Programming Language Design Implementation，PLDI2008）于2008年6月7日到13日在美国亚利桑那州沙漠小镇图森召开，我系教师软件所董渊、高性能所博士生陈德颢、本科生许智磊参加了会议。

PLDI是编程语言和编译技术最重要的学术会议，具有很高的学术地位和影响力。2008年共收到投稿184篇，录取大会论文34篇，张贴论文12篇。此次 会议我系收获颇丰，创我系在该会议论文发表历史记录，共有2篇大会论文入选，分别是：

[1] Conditional Correlation Analysis for Safe Region-based Memory Management

Xi Wang (Tsinghua University), Zhilei Xu (Tsinghua University), Xuezheng Liu (Microsoft Research Asia), Zhenyu Guo (Microsoft Research Asia), Xiaoge Wang (Tsinghua University), Zheng Zhang (Microsoft Research Asia)

[2] Certifying Low-Level Programs with Hardware Interrupts Preemptive Threads

Xinyu Feng (TTI-C), Zhong Shao (Yale University), Yuan Dong (Tsinghua University), Yu Guo (University of Science Technology of China)

另有1篇张贴论文入选（陈德颢的张贴论文作为5篇最佳POSTER论文候选之一，进行了10分钟的大会发言）。