开云(中国)Kaiyun·官方网站

当前位置：网站首页 > 公司动态 > 正文

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

【来源： | 发布日期：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月加入中国科学技术大学开云Kaiyun任教授。主要从事程序验证、并发理论、程序设计语言理论方面的研究，在POPL、PLDI、ESOP、ICFP和CONCUR等知名国际会议和期刊上发表论文10余篇。曾担任APLAS’08和TASE’09的程序委员会成员。
会议讨论的了程序分析与验证，并发模型概览，无锁并发算法验证，操作系统内核验证等内容。针对以前研究精化中没有很好的保终止性，提出了一个令牌机制，以确保精化代码的保终止性。