ACM SIGSOFT Distinguished Paper Award列表

今天觉得每次在浏览器收藏夹里找这个很不方便，还不如记载到博客中便于查找：

http://www.sigsoft.org/awards/disPapAwd-rec.htm

这个URL统计了ACM SIGSOFT每年在各大软件工程会议中评选的优秀论文，目前的页面列举的是02年-10年的评选结果，相信11年的部分优秀论文也会选出来。特别值得一提的是，ICSE 2010年的优秀论文中出现了中科院软件所杨秋松和李明树老师的论文：

Qiusong Yang, Mingshu Li A Cut-off Approach for Bounded Verification of Parameterized Systems

奢望我们能在12年也出现在这个列表中。