q**w
发帖数: 782 | 1 中科大－耶鲁联合中心论文被POPL国际会议录用真正实现内地“零的突破”
2011-10-08
日前，中科大－耶鲁高可信软件联合研究中心梁红瑾、冯新宇和付明的论文A Rely
-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
被第39届 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
（简称POPL）录用。这是联合研究中心的研究迈入国际一流水平的里程碑。此前，中国
大陆无任何单位以第一作者单位的身份在POPL上发表过论文。梁红瑾等的论文的发表，
将使得中国科学技术大学成为大陆第一个以第一单位在POPL上发表论文的高校和科研院
所，真正实现了“零的突破”。
POPL是编程语言领域历史最久、水平最高的国际会议，它是讨论编程语言和编程系
统最新突破的最主要论坛，内容涵盖编程语言的理论、编程语言的设计、编译器技术、
程序分析、程序验证、可信软件等众多研究领域。国际期刊和会议的各种分区方法都把
POPL放在该领域的最高区域中。
梁红瑾等的论文提出了一种验证并发程序变换的一般方法，首次将并发程序逻辑中
的依赖-保证条件（rely-guarantee conditions）引入到传统的程序模拟关系（
simulation）中，成功地解决了对验证提供模块化支持的难题，并且将这种方法应用于
编译优化、并发数据结构的实现和并发垃圾收集等算法的正确性验证。审稿人对论文的
贡献给予了充分肯定，他们分别指出“I found this to be a compelling paper.
Combining simulation techniques with rely-guarantee reasoning seems like a
good idea, and I haven’t seen this elsewhere … This work would provide a
nice unifying theory for concurrent program transformations”，“I like this
paper … Refinement in a concurrent setting is very challenging and this
paper makes a good step into that field”，“A logic that can support both
the runtime system verification and the compiler verification simultaneously
would be very useful. This paper presents such a logic, and it looks like a
very general and natural approach…”。
经历了以耶鲁为主合作发表、以我方为主合作发表和我方能够独自发表国际一流水
平论文这样的逐步提升，联合研究中心已经奠定了坚实的研究基础，形成了以海外引进
的冯新宇教授为学术带头人的研究团队。团队对建成领域内国际一流的研究中心充满信
心。 |
p**q
发帖数: 1130 | 2 这到底是怎么回事？清华的那篇不是第一作者？
——————————————————————————
清华教师论文被POPL国际会议接收 实现内地“零的突破”
【新闻中心讯】日前，清华大学计算机系计算机科学与人工智能研究部量子计算与
信息研究组的冯元、段润尧、应明生的合作论文Bisimulation for quantum processes
（量子进程的互模拟关系）被第38届ACM SIGACT-SIGPLAN Symposium on Principles
of Programming Languages（程序语言原理国际会议，简写为POPL）接收。这也是POPL
接收的第一篇作者来自中国内地的论文。
冯元、段润尧和应明生合作提出了一种刻画量子进程等价性的互模拟关系，并证明
了这一关系在各种进程构造符作用下的同余性。此项工作彻底解决了量子进程代数研究
的最关键问题，对设计复杂量子协议的验证方法以及建立量子通信并发理论具有重大意
义。
POPL是程序语言理论方面最好的国际会议，稿件录用率年平均不到20%。中国台湾
今年也有一篇第二作者的论文被接收，港澳地区目前尚无论文被会议接收。（供稿 计
算机系 编辑 襄桦）
（http://news.tsinghua.edu.cn）
[更新：2010-11-24]
[阅读：4405 人次]
Rely
Transformations
Languages
【在 q**w 的大作中提到】
: 中科大－耶鲁联合中心论文被POPL国际会议录用真正实现内地“零的突破”
: 2011-10-08
: 日前，中科大－耶鲁高可信软件联合研究中心梁红瑾、冯新宇和付明的论文A Rely
: -Guarantee-Based Simulation for Verifying Concurrent Program Transformations
: 被第39届 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
: （简称POPL）录用。这是联合研究中心的研究迈入国际一流水平的里程碑。此前，中国
: 大陆无任何单位以第一作者单位的身份在POPL上发表过论文。梁红瑾等的论文的发表，
: 将使得中国科学技术大学成为大陆第一个以第一单位在POPL上发表论文的高校和科研院
: 所，真正实现了“零的突破”。
: POPL是编程语言领域历史最久、水平最高的国际会议，它是讨论编程语言和编程系
|
c****n
发帖数: 21367 | 3 http://dl.acm.org/citation.cfm?id=1926446
Authors: Yuan Feng University of Technology Sydney, Australia,
Sydney, Australia
Runyao Duan University of Technology Sydney, Australia, Sydney,
Australia
Mingsheng Ying University of Technology Sydney, Australia, Sydney,
Australia
可能是和清华的合作实验室，但是作者都是悉尼科技大学的
processes
POPL
【在 p**q 的大作中提到】
: 这到底是怎么回事？清华的那篇不是第一作者？
: ——————————————————————————
: 清华教师论文被POPL国际会议接收 实现内地“零的突破”
: 【新闻中心讯】日前，清华大学计算机系计算机科学与人工智能研究部量子计算与
: 信息研究组的冯元、段润尧、应明生的合作论文Bisimulation for quantum processes
: （量子进程的互模拟关系）被第38届ACM SIGACT-SIGPLAN Symposium on Principles
: of Programming Languages（程序语言原理国际会议，简写为POPL）接收。这也是POPL
: 接收的第一篇作者来自中国内地的论文。
: 冯元、段润尧和应明生合作提出了一种刻画量子进程等价性的互模拟关系，并证明
: 了这一关系在各种进程构造符作用下的同余性。此项工作彻底解决了量子进程代数研究
|
q**w
发帖数: 782 | 4 mingsheng ying以前是清华的老师，好像早跳槽的悉尼科大去了，这篇文章没清华什么事
【在 c****n 的大作中提到】
: http://dl.acm.org/citation.cfm?id=1926446
: Authors: Yuan Feng University of Technology Sydney, Australia,
: Sydney, Australia
: Runyao Duan University of Technology Sydney, Australia, Sydney,
: Australia
: Mingsheng Ying University of Technology Sydney, Australia, Sydney,
: Australia
: 可能是和清华的合作实验室，但是作者都是悉尼科技大学的
:
: processes
|
o*****h
发帖数: 2082 | 5 扯，应明生的那篇怎么就和清华没关系了？冯元，段润尧都是应明生在清华的博士，毕
业后进入悉尼那家大学做发考题，应明生现在应邀在那里做sabbatical，那篇文章不过
是应的系列之一，他的学生好像还拿过STOC最佳论文之类的
据说悉尼那家大学开出了很高的价钱想留下应（说是该校教授工资top3的价钱，是应在
清华的工资的10来倍），现在还不知道结果
应没有博士学位，本科毕业于一个很不起眼的学校，但是他做得确实牛，他这些年带出
来的学生也很了得
说实在的，像应明生这样没什么显赫的学霸罩着，又不善于拉关系的学者，在国内学霸
林立的环境中也很不好混，还不如让人家远走高飞，落个清静 |
q**w
发帖数: 782 | 6 lol,别跟我急，你去问应明生去
http://www.cse.psu.edu/popl/11/Slides/fengyuan.pdf
Yuan Feng, Runyao Duan, Mingsheng Ying
Centre for Quantum Computation and Intelligent Systems, University of
Technology Sydney, Australia
【在 o*****h 的大作中提到】
: 扯，应明生的那篇怎么就和清华没关系了？冯元，段润尧都是应明生在清华的博士，毕
: 业后进入悉尼那家大学做发考题，应明生现在应邀在那里做sabbatical，那篇文章不过
: 是应的系列之一，他的学生好像还拿过STOC最佳论文之类的
: 据说悉尼那家大学开出了很高的价钱想留下应（说是该校教授工资top3的价钱，是应在
: 清华的工资的10来倍），现在还不知道结果
: 应没有博士学位，本科毕业于一个很不起眼的学校，但是他做得确实牛，他这些年带出
: 来的学生也很了得
: 说实在的，像应明生这样没什么显赫的学霸罩着，又不善于拉关系的学者，在国内学霸
: 林立的环境中也很不好混，还不如让人家远走高飞，落个清静
|
j****u
发帖数: 1413 | 7 应明生牛是谁也不能否认的。有一次在清华和姜涛（796，APS Fellow）教授走在路上
遇到应明生，姜老师介绍应明生教授充满尊敬。
但是一码归一码，你说得这些事，都只能说明文章和清华有渊源，但署名上清华大学作
为单位一个字都没出现。都是理工科的，白底黑字的。
【在 o*****h 的大作中提到】
: 扯，应明生的那篇怎么就和清华没关系了？冯元，段润尧都是应明生在清华的博士，毕
: 业后进入悉尼那家大学做发考题，应明生现在应邀在那里做sabbatical，那篇文章不过
: 是应的系列之一，他的学生好像还拿过STOC最佳论文之类的
: 据说悉尼那家大学开出了很高的价钱想留下应（说是该校教授工资top3的价钱，是应在
: 清华的工资的10来倍），现在还不知道结果
: 应没有博士学位，本科毕业于一个很不起眼的学校，但是他做得确实牛，他这些年带出
: 来的学生也很了得
: 说实在的，像应明生这样没什么显赫的学霸罩着，又不善于拉关系的学者，在国内学霸
: 林立的环境中也很不好混，还不如让人家远走高飞，落个清静
|
w********d
发帖数: 270 | 8 应只有专科学历，(师范专科). 也当过中学老师。
算是传奇。
【在 o*****h 的大作中提到】
: 扯，应明生的那篇怎么就和清华没关系了？冯元，段润尧都是应明生在清华的博士，毕
: 业后进入悉尼那家大学做发考题，应明生现在应邀在那里做sabbatical，那篇文章不过
: 是应的系列之一，他的学生好像还拿过STOC最佳论文之类的
: 据说悉尼那家大学开出了很高的价钱想留下应（说是该校教授工资top3的价钱，是应在
: 清华的工资的10来倍），现在还不知道结果
: 应没有博士学位，本科毕业于一个很不起眼的学校，但是他做得确实牛，他这些年带出
: 来的学生也很了得
: 说实在的，像应明生这样没什么显赫的学霸罩着，又不善于拉关系的学者，在国内学霸
: 林立的环境中也很不好混，还不如让人家远走高飞，落个清静
|
r**t
发帖数: 937 | 9 姜涛是ACM和AAAS的fellow吧。
【在 j****u 的大作中提到】
: 应明生牛是谁也不能否认的。有一次在清华和姜涛（796，APS Fellow）教授走在路上
: 遇到应明生，姜老师介绍应明生教授充满尊敬。
: 但是一码归一码，你说得这些事，都只能说明文章和清华有渊源，但署名上清华大学作
: 为单位一个字都没出现。都是理工科的，白底黑字的。
|
m*********s
发帖数: 64 | |
