新葡萄88805-www.88805.com|官方网站

当前位置：网站首页 > 学院动态 > 正文

冯新宇教授来新葡萄做对于并发程序保终止性精化的组合验证学术报告

【来源： | 发布日期：2015-04-20 | 点击数：】

2015年4月17日（周五）下午2:00冯新宇教授冯新宇教授在新葡萄会议室做了对于并发程序保终止性精化的组合验证的学术报告。
冯新宇，男，1978年生；教授，博士生导师。分别于1999年和2002年在南京大学获学士和硕士学位；2007年于耶鲁大学获博士学位。2001年7月至2002年1月于香港理工大学担任研究助理。2007年9月至2010年5月于Toyota Technological Institute at Chicago (TTIC)任研究助理教授（Research Assistant Professor）。2010年5月加入中国科学技术大学计算机科学与技术学院任教授。主要从事程序验证、并发理论、程序设计语言理论方面的研究，在POPL、PLDI、ESOP、ICFP和CONCUR等知名国际会议和期刊上发表论文10余篇。曾担任APLAS’08和TASE’09的程序委员会成员。
会议讨论的了程序分析与验证，并发模型概览，无锁并发算法验证，操作系统内核验证等内容。针对以前研究精化中没有很好的保终止性，提出了一个令牌机制，以确保精化代码的保终止性。