明升手机版(中国)

 
作者:曾皓 吴兰 来源:明升中国手机版网 发布时间:2011-10-11 9:26:21
选择字号:
中科大学术论文被编程语言原理国际会议录用
明升中国大陆高校和科研机构以第一作者单位被POPL录用的首篇论文
 
记者10月10日从明升中国科技大学获悉,第一作者为明升中国科大博士生的论文《A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations》被(英文简称POPL)录用。这也是明升中国大陆高校和科研机构以第一作者单位名义被POPL录用的首篇学术论文。
 
日前,明升中国科大-耶鲁联合研究中心梁红瑾、冯新宇和付明的学术论文被第39届编程语言原理国际会议录用。论文第一作者梁红瑾是明升中国科大计算机app与技术学院博士一年级学生,本科毕业于明升中国科大少年班。她与导师冯新宇教授等一起完成该项研究成果,提出了一种验证并发程序变换的一般方法,首次将并发程序逻辑中的依赖-保证条件引入到传统的程序模拟关系中,成功地解决了对验证提供模块化支持的难题,并将这种方法应用于编译优化、并发数据结构的实现和并发垃圾收集等算法的正确性验证。
 
POPL审稿人认为,该项研究“提供了一种用于验证并发程序变换的漂亮的统一理论”,在“并发系统的精化问题的研究领域迈出了很好的一步”。
 
POPL是编程语言领域历史最久、水平最高的国际会议,它是国际公认的讨论编程语言和编程系统最新突破的最主要论坛,论文录用率平均不到20%。明升中国大陆高校和科研机构此前尚未有第一作者单位论文被录用。
 
 
 
 
特别声明:本文转载仅仅是出于传播信息的需要,并不意味着代表本网站观点或证实其内容的真实性;如其他媒体、网站或个人从本网站转载使用,须保留本网站注明的“来源”,并自负版权等法律责任;作者如果不希望被转载或者联系转载稿费等事宜,请与我们接洽。
 
 打印  发E-mail给: 
    
 
以下评论只代表网友个人观点,不代表明升手机版(明升中国)观点。 
���� SSI �ļ�ʱ����
相关手机版 相关论文

图片手机版
>>更多
 
一周手机版排行 一周手机版评论排行
 
编辑部推荐博文

 
论坛推荐