麒麟区三中中考情况:中科大研究论文被POPL录用 实现内地高校“零突破”

来源：百度文库 编辑：九乡新闻网 时间：2024/04/29 12:57:13

中科大研究论文被POPL录用 实现内地高校“零突破”

2011年10月11日 10:27
来源：中国广播网 作者：刘军

字号:T|T
2人参与0条评论打印转发

中广网合肥10月11日消息  记者从中国科大获悉，中国科大-耶鲁联合研究中心梁红瑾、冯新宇和付明的学术论文日前被第39届编程语言原理国际会议（英文简称POPL）录用。这是内地高校和科研机构以第一作者单位名义被POPL录用的首篇学术论文。

据了解，论文第一作者梁红瑾是中国科大计算机科学与技术学院博士一年级学生，本科毕业于中国科大少年班。她与导师冯新宇教授等一起完成该项研究成果，提出了一种验证并发程序变换的一般方法，首次将并发程序逻辑中的依赖-保证条件引入到传统的程序模拟关系中，成功地解决了对验证提供模块化支持的难题，并将这种方法应用于编译优化、并发数据结构的实现和并发垃圾收集等算法的正确性验证。POPL审稿人认为，该项研究“提供了一种用于验证并发程序变换的漂亮的统一理论”，在“并发系统的精化问题的研究领域迈出了很好的一步”。

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

中科大研究论文被POPL录用 实现内地高校“零突破” 高校辅导员角色研究-论文-考试吧 中国人将实现驾轻型飞机环球飞行零突破 中国航母实现零的突破 至少需3艘 上海综合保税区实现融资租赁业务“零突破” 高校辅导员角色研究第2页-论文-考试吧 解放军少将：中国航母实现零的突破 至少需3艘 解放军少将：中国航母实现零的突破 至少需3艘 解放军少将：中国航母实现零的突破 至少需3艘 “徐福”“鸟巢”标记太平洋底?实现我国海底地名提案零的突破 实现自我突破 零拷贝技术研究与实现 应用防错法 实现“零缺陷” 论文的研究方法-- 女性研究论文 内地高校在港校面前不堪一击 内地高校在港校面前不堪一击 内地高校在港校面前不堪一击 内地高校在港校面前不堪一击 港澳台大学教育特色PK内地高校 中国核研究上取得重大技术突破,实现核燃料的铀、钚(同“布”音)材料回收 做研究写论文教育 分类： 研究论文 蒙太奇 | 论文研究收集站 中医临床研究论文写法