Feng Xinyu
Professor
School of Computer Science and Technology
China University of Science and Technology
China
Biography
Feng Xinyu, male, born in 1978, currently works as a professor and doctoral supervisor at the School of Computer Science and Technology, University of Science and Technology of China (USTC). Feng obtained his B.S. and M.S. degrees from Nanjing University respectively in 1999 and 2002. In 2007, Feng received his Ph.D. from Yale University. From July 2001 to January 2002, Feng undertook research as a Research Assistant at the Hong Kong Polytechnic University. From September 2007 to May 2010, Feng undertook research as a Research Assistant Professor at the Toyota Technological Institute at Chicago (TTIC). Feng joined the faculty of USTC in May 2010. At present, Prof. Feng is mainly engaged in research on program verification, concurrency theory, and programming language theory. He has authored more than a dozen research papers published in or presented to such journals or famous international conferences as POPL, PLDI, ESOP, ICFP and CONCUR. Besides, Feng also serves on the program committees of APLAS'11, LOLA'11, TASE'09 and APLAS'08.
Research Interest
Research interests are in the area of programming languages and formal methods. In particular, I am interested in developing theories, programming languages and tools to build formally certified system software, with rigorous guarantees of safety and correctness.
Publications
-
Compositional Verification of Termination-Preserving Refinement of Concurrent Programs (TR, and Talk by Hongjin Liang) Hongjin Liang, Xinyu Feng and Zhong Shao. Proc. Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS'14), pages 65:1-65:10, Vienna, Austria, July 2014.
-
A Program Logic for Concurrent Objects under Fair Scheduling (TR, and POPL talk by Hongjin Liang) Hongjin Liang and Xinyu Feng. Proc. 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'16), pages 385-399, St. Petersburg, FL, USA, January 2016.
-
A Practical Verification Framework for Preemptive OS Kernels (TR, CAV Talk by Ming Fu, and project page) Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang and Zhaohui Li. Proc. 28th International Conference on Computer Aided Verification (CAV'16), part II, pages 59--79, Toronto, ON, Canada, July 17-23, 2016.
