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

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

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

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