Xinyu Feng

Professor
School of Computer Science and Technology
University of Science and Technology of China


Contact:
188 Ren Ai Road
Suzhou Institute for Advanced Study
University of Science and Technology of China
Suzhou, Jiangsu 215123, China
       
Phone:
Fax:
Email:
 
+86-512-87161319
+86-512-87161319
xyfeng AT ustc DOT edu DOT cn



News and Events

  1. Faculty and post-doc positions at USTC-Yale Joint Research Center for High-Confidence Software.

Research

My 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.

Here is my CV and Research Statement.

Teaching

  1. Spring, 2014. 011167, Foundations of Programming Languages
  2. Fall, 2013. CS05115, Theories of Programming Languages
  3. Spring, 2013. 011167, Foundations of Programming Languages
  4. Fall, 2012. CS05115, Theories of Programming Languages
  5. Summer, 2012. 011M0701, Frontier of Research on High-Confidence Software
  6. Fall, 2011. CS05115, Theories of Programming Languages

Professional Activities
PC Member:    LOLA'13,     POPL'13,     CPP'12,     ICTAC'12,     TASE'12,     2012 Open64 Workshop,     APLAS'11,     LOLA'11,     TASE'09,     APLAS'08

Selected Publications
  1. Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
    Hongjin Liang, Xinyu Feng and Ming Fu. (Journal version of POPL'12)
    ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 36, No. 1, Article 3, March 2014 (to appear).

  2. Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
    Hongjin Liang, Jan Hoffmann, Xinyu Feng and Zhong Shao.
    Proc. 24th International Conference on Concurrency Theory (CONCUR'13), Buenos Aires, Argentina, 227--241, August 2013.

  3. Modular Verification of Linearizability with Non-Fixed Linearization Points
    Hongjin Liang and Xinyu Feng.
    Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'13), Seattle, WA, USA, pages 459-470, June, 2013.

  4. A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
    Hongjin Liang, Xinyu Feng, and Ming Fu.
    Proc. 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'12), Philadelphia, Pennsylvania, USA, pages 455-468, January, 2012.

  5. Weak Updates and Separation Logic
    Gang Tan, Zhong Shao, Xinyu Feng, and Hongxu Cai.
    New Generation Comput. 29(1): 3-29, 2011 © 2011 Springer-Verlag.

  6. Reasoning about Optimistic Concurrency Using a Program Logic for History
    Ming Fu, Yong Li, Xinyu Feng, Zhong Shao and Yu Zhang.
    Proc. 21st International Conference on Concurrency Theory (CONCUR'10), Paris, France, pages 388-402, August 2010.

  7. Parameterized Memory Models and Concurrent Separation Logic
    Rodrigo Ferreira, Xinyu Feng and Zhong Shao.
    Proc. 19th European Symposium on Programming (ESOP'10), Paphos, Cyprus, pages 267-286, March 2010.

  8. Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.
    Xinyu Feng, Zhong Shao, Yu Guo, and Yuan Dong.
    Journal of Automated Reasoning (Special Issue on Operating System Verification), 42 (2-4): 301-347, April 2009. © Springer Science + Business Media B.V.2009.

  9. Deny-Guarantee Reasoning.
    Mike Dodds, Xinyu Feng, Matthew Parkinson and Viktor Vafeiadis.
    Proc. 18th European Symposium on Programming (ESOP'09), York, UK, pages 363-377, March 2009.

  10. Local Rely-Guarantee Reasoning.
    Xinyu Feng.
    Proc. 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'09), Savannah, Georgia, USA, pages 315-327, January, 2009.

    Extended version: Technical Report TTIC-TR-2008-1, Toyota Technological Institute at Chicago, October 2008.

  11. more ...


Links

USTC-Yale Joint Research Center for High-Confidence Software

ACM Digital Library      IEEE Xplore      Merriam-Webster Online      Programming Language Theory Text Online

The Coq Proof Assistant

more...


Xinyu Feng
Last modified: Fri June 21, 2013