You Li (李游)

	Ph.D. Candidate Software Engineering Group State Key Laboratory for Novel Software and Technology Department of Computer Science and Technology Nanjing University Room 711, Building of Computer Science and Technology,  Nanjing University Xianlin Campus,  163 Xianlin Avenue, Nanjing, China (210046)  Email: leo86 AT seg.nju.edu.cn

Research Interests

• Software Testing
• Symbolic Execution
• Multi-core Programming Methods
• Model checking for hybrid automata

Education

• Ph.D. Candidate Department of Computer Science and Technology, Nanjing University, June 2015 (Expected). Supervisor: Prof. Xuandong Li.
• Visting Student Department of Computer Science, University of California, Davis, Sep, 2011 ~ Sep.2-12. Supervisor: Prof. Zhendong Su
• M.S. Department of Computer Science and Technology, Nanjing University, Upgraded to Ph.D. June 2010. Supervisor: Prof. Xuandong Li.
• B.S. Department of Computer Science and Technology, Nanjing University, June 2008
  

Publications

• You Li, Zhendong Su, Linzhang Wang, and Xuandong Li. "Steering symbolic execution to less traveled paths." In Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications (OOPSLA 2013), pp. 19-32. ACM, 2013. (Best paper Award) Talk slides
• Pan Minxue, Li You, Bu Lei, Li Xuandong. Loop Reduction Techniques for Reachability Analysis of Linear Hybrid Automata.  In  Science China Information Science 2012 , December 2012 Vol. 55 No. 12: 2663–2674
• 卜磊，李游，王林章，李宣东 BACH：线性混成自动机系统有界可达性验证工具 《软件学报》 Vol.22，No.5，2011，pp.640-658
• You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, and Xuandong Li. Extending Ada to Support Multi-core Based Monitoring and Fault Tolerance, Outstanding Student Paper, In Proceedings of the ACM’s Annual International Conference on Ada and Related Technologies Engineering Safe, Secure, and Reliable Software (SIGADA 2010), Fairfax, Virginia, USA, 2010.
• Lei Bu, You Li, Linzhang Wang, Xin Chen and Xuandong Li. BACH 2: Bounded ReachAbility CHecker for Compositional Linear Hybrid Systems, In Proceedings of the 13th Design Automation & Test in Europe Conference (DATE 2010), Dresden, Germany, pp. 1512-1517, 2010.
• Lei Bu, You Li, Linzhang Wang and Xuandong Li. BACH: A Toolset for Bounded Reachability Analysis of Linear Hybrid Systmes, accepted by Journal of Software (in Chinese), 2009.
• Lei Bu, You Li, Linzhang Wang and Xuandong Li. BACH : Bounded ReachAbility CHecker for Linear Hybrid Automata. In Proceedings of the 8th International Conference on Formal Methods in Computer Aided Design(FMCAD2008). Portland, OR, USA, IEEE Computer Society Press, 2008, pp.65-68.
  

Activities and Services

• Teach assistance for the discrete mathematics in Nanjing University in 2013.
• Teach assistance for the course Software Engineering in Nanjing University in 2008~2010.
  
• Teach assistance for the discrete mathematics in Nanjing University in 2011.

Tools

• BACH 1.0: Bounded Reachability Checker For Single LHA
• BACH 2.0: Bounded Reachability Checker For Compositional LHA Network

Awards

• Best Papaer Award in OOPSLA,2013
• Outstanding Student Paper Award in SIGAda, 2010
• Nanrui Scholarship, 2010
• Excellent graduate award, Nanjing University, 2008

Personal

• Some friends of mine
  Tian Zhang, Bin Lei, Lei Bu, LIU Xi,Zhanqi Cui,Minxue Pan , Xiaoyu Zhou, Qian Li, Wei Huang
  
• Hobbies
  • Basketball
  • Soccer
  • Various sports
  • Music
  • Movie

　　Visitors of my homepage:

　　Last update: