热 烈 欢 迎 2017 级 新 同 学!
计算机科学与技术学院
 
师资队伍

院士


大师讲席


教授

冯新宇


副教授


讲师


博士后

更多>>学术活动
您现在的位置:首页>师资队伍>教授

冯新宇

 

电 话:(0512)87161319 
E- Mail:xyfeng@ustc.edu.cn
个人主页:http://staff.ustc.edu.cn/~xyfeng

 
主要研究方向
程序验证、并发理论、程序设计语言理论。

冯新宇,男,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的程序委员会成员。
 

主 要 论 著

   
1. Ming Fu, Yong Li, Xinyu Feng, Zhong Shao and Yu Zhang. “Reasoning about Optimistic Concurrency Using a Program Logic for History” In Proc. 21st International Conference on Concurrency Theory (CONCUR’10), to appear, 2010.
2. Rodrigo Ferreira, Xinyu Feng, Zhong Shao. “Parameterized Memory Models and Concurrent Separation Logic” In Proc. 19th European Symposium on Programming (ESOP 2010), pages 267-286, 2010.
3. Mike Dodds, Xinyu Feng, Matthew Parkinson and Viktor Vafeiadis. “Deny-Guarantee Reasoning” In Proc. 18th European Symposium on Programming (ESOP’09), pages 363-377, March 2009.
4. Xinyu Feng. “Local Rely-Guarantee Reasoning” In Proc. 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’09), pages 315-327, January, 2009.
5. Xinyu Feng, Zhong Shao, Yu Guo and Yuan Dong. “Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems” In Proc. Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE’08), pages 54-69, October 2008.
6. Xinyu Feng, Zhong Shao, Yuan Dong and Yu Guo. “Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads” In Proc. 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’08), pages 170-182, June 2008.
7. Xinyu Feng, Rodrigo Ferreira, and Zhong Shao. “On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning”, In Proc. 16th European Symposium on Programming (ESOP’07), pages 173-188, March 2007.
8. Xinyu Feng, Zhaozhong Ni, Zhong Shao, and Yu Guo “An Open Framework for Foundational Proof-Carrying Code”, In Proc. 2007 ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI’07), pages 67-78, January 2007.
9. Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang and Zhaozhong Ni. “Modular Verification of Assembly Code with Stack-Based Control Abstractions” In Proc. 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’06), pages 401-414, June 2006.
10. Xinyu Feng and Zhong Shao. “Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination” In Proc. 2005 ACM SIGPLAN International Conference on Functional Programming (ICFP’05), pages 254-267, September 2005.
 

CopyRight 2009-2014 中国科学技术大学计算机科学与技术学院 All Rights Reserved.
安徽省合肥市黄山路中国科学技术大学西区电三楼
通信地址:安徽省合肥市4号信箱 计算机科学与技术学院 邮政编码:230027