看到上海交大 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工作方式.