程式語言原理國際會議（POPL）是程式語言領域歷史最久、水平最高的國際會議，它是國際公認的討論程式語言和編程系統最新突破的最主要論壇，論文錄用率平均不到20%。 基本介紹 中文名：程式語言原理國際會議實質：國際會議領域：程式語言領域時間：2011年10月 程式語言原理國際會議（POPL）是程式語言領域歷史最久、水平最高的國際會議，它是國際公認的討論程式語言和編程系統最新突破的最主要論壇，論文錄用率平均不到20%。2011年10月，第一作者為中國科學技術大學博士生的論文《A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations》被第39屆程式語言原理國際會議錄用。這也是中國大陸高校和科研機構以第一作者單位名義被POPL錄用的首篇學術論文。
