编程语言原理国际会议（POPL）是编程语言领域历史最久、水平最高的国际会议，它是国际公认的讨论编程语言和编程系统最新突破的最主要论坛，论文录用率平均不到20%。

2011年10月，第一作者为中国科学技术大学博士生的论文《A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations》被第39届编程语言原理国际会议录用。这也是中国大陆高校和科研机构以第一作者单位名义被POPL录用的首篇学术论文。