记者10月10日从中国科技大学获悉，第一作者为中国科大博士生的论文《A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations》被第39届编程语言原理国际聚会(英文简称POPL)任命。这也是中国大陆高校和科研机构以第一作者单位名义被POPL任命的首篇学术论文。
日前，中国科大-耶鲁团结研究中心梁红瑾、冯新宇和付明的学术论文被第39届编程语言原理国际聚会任命。论文第一作者梁红瑾是中国科大盘算机科学与手艺学院博士一年级学生，本科结业于中国科大少年班。她与导师冯新宇教授等一起完成该项研究效果，提出了一种验证并发程序变换的一样平常要领，首次将并发程序逻辑中的依赖-包管条件引入到古板的程序模拟关系中，乐成地解决了对验证提供� ？榛С值哪烟�，并将这种要领应用于编译优化、并发数据结构的实现和并发垃圾网络等算法的准确性验证。
POPL审稿人以为，该项研究“提供了一种用于验证并发程序变换的漂亮的统一理论”，在“并发系统的精化问题的研究领域迈出了很好的一步”。
POPL是编程语言领域历史最久、水平最高的国际聚会，它是国际公认的讨论编程语言和编程系统最新突破的最主要论坛，论文任命率平均不到20%。中国大陆高校和科研机构此前尚未有第一作者单位论文被任命。