大发快3官网

教工   |   学生   |   校友   |   访客

POPL录用中科大学术论文

作者:   来源:
  发布时间:2019-08-01 01:26:11   浏览次数:107
POPL录用中科大学术论文

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

日前,中国科大-耶鲁联合研究中心梁红瑾、冯新宇和付明的学术论文被第39届编程语言原理国际会议录用。论文第一作者梁红瑾是中国科大计算机科学与技术学院博士一年级学生,本科毕业于中国科大少年班。她与导师冯新宇教授等一起完成该项研究成果,提出了一种验证并发程序变换的一般方法,首次将并发程序逻辑中的依赖-保证条件引入到传统的程序模拟关系中,成功地解决了对验证提供模块化支持的难题,并将这种方法应用于编译优化、并发数据结构的实现和并发垃圾收集等算法的正确性验证。

POPL审稿人认为,该项研究“提供了一种用于验证并发程序变换的漂亮的统一理论”,在“并发系统的精化问题的研究领域迈出了很好的一步”。

POPL是编程语言领域历史最久、水平最高的国际会议,它是国际公认的讨论编程语言和编程系统最新突破的最主要论坛,论文录用率平均不到20%。中国大陆高校和科研机构此前尚未有第一作者单位论文被录用。

责任编辑: 最后编辑:2019-08-01 01:26:11
Connect

浙江工贸职业技术学院 版权所有 © 2000-2018    地址:中国·温州市府东路717号  联系电话:0577-88332966
电子信箱:zjets@mail.zjitc.net   书记信箱:sjxx@mail.zjitc.net   院长信箱:yzxx@mail.zjitc.net
学院大发快3官网 纪委监督电话/邮箱:0577-88105228 /



 

 

 


浙江工贸职业技术学院 版权所有 © 2000-2016
地址:中国·温州市府东路717号
联系电话:0577-88332966
浙ICP备12044836号