Zhiwu Xu

I am a doctoral student at the State Key Laboratory of Computer Science and the Laboratoire Preuves, Programmes et Systemes, jointly supervised by Institute of Software, Chinese Academy of Sciences and University Paris Diderot - Paris 7.
I graduated in Computer Science at Sun Yat-sen University in 2007.


Research Interests

Programming Language, Type Systems, XML Processing, Program Analysis, Program Verification, and Automata Theory and Logic.


Contact Info

Email:

zhiwu at ios.ac.cn

Addr.:

State Key Laboratory of Conputer Science

4# South Fourth Street, Zhong Guan Cun, Beijing 100190


Projects


Publications
  • G. Castagna, K. Nguyen, Z. Xu, S. Lenglet. Polymorphic functions with Set-Theoretic Types. July, 2012 (Draft) --- (Detailed Appendix)
  • G. Castagna and Z. Xu. Set-theoretic Foundation of Parametric Polymorphism and Subtyping. In ICFP'11: 16th ACM-SIGPLAN International Conference on Functional Programming, September, 2011.
  • Zhiwu Xu, Lixiao Zheng, Haiming Chen. A Toolkit for Generating Sentences from Context-Free Grammars. International Journal of Software and Informatics, 5(4):659-676. 2011.
  • Lixiao Zheng, Zhiwu Xu and Haiming Chen. Generating Short Sentences from Grammars Based on Branch Coverage Criterion. Journal of Software, 22(11):2564-2576. 2011.(in Chinese with English abstract)
  • Z. Xu, L. Zheng and H. Chen. A toolkit for generating sentences from context-free grammars. In Proc of Software Engineering and Formal Methods (SEFM 2010), pages 118-122, 2010.


Softwares