記者10月10日從中國科技大學獲悉，第一作者為中國科大博士生的論文《A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations》被第39屆編程語言原理國際會議(英文簡稱POPL)錄用。這也是中國大陸高校和科研機構以第一作者單位名義被POPL錄用的首篇學術論文。

　　日前，中國科大-耶魯聯(lián)合研究中心梁紅瑾、馮新宇和付明的學術論文被第39屆編程語言原理國際會議錄用。論文第一作者梁紅瑾是中國科大計算機科學與技術學院博士一年級學生，本科畢業(yè)于中國科大少年班。她與導師馮新宇教授等一起完成該項研究成果，提出了一種驗證并發(fā)程序變換的一般方法，首次將并發(fā)程序邏輯中的依賴-保證條件引入到傳統(tǒng)的程序模擬關系中，成功地解決了對驗證提供模塊化支持的難題，并將這種方法應用于編譯優(yōu)化、并發(fā)數(shù)據(jù)結構的實現(xiàn)和并發(fā)垃圾收集等算法的正確性驗證。

　　POPL審稿人認為，該項研究“提供了一種用于驗證并發(fā)程序變換的漂亮的統(tǒng)一理論”，在“并發(fā)系統(tǒng)的精化問題的研究領域邁出了很好的一步”。

　　POPL是編程語言領域歷史最久、水平最高的國際會議，它是國際公認的討論編程語言和編程系統(tǒng)最新突破的最主要論壇，論文錄用率平均不到20%。中國大陸高校和科研機構此前尚未有第一作者單位論文被錄用。