Qian Li (李倩)

	Ph.D. Candidate Software Engineering Group State Key Laboratory for Novel Software and Technology Department of Computer Science and Technology Nanjing University Room 508, Mengmingwei Building, 22 Hankou Road Nanjing, China 210093 Email: qianjie AT seg.nju.edu.cn

Biography

I am a Ph. D. candidate in the Department of Computer Science and Technology, Nanjing University. I received my B.S. degree in Software Engineering  in June 2005 from Nanjing University.  I  became a Ph.D. candidate in September 2005..

I joined the Software Engineering Group since Nov. 2004, under the supervision of Professor Jianhua Zhao.

Research Interests

• Program analysis
• Points-to analysis
• Program fault detection

Education

• Ph.D. Candidate Department of Computer Science and Technology, Nanjing University, Sept. 2011 (Expected). Working with Prof. Jianhua Zhao.
• B.S. Department of Computer Science and Technology, Nanjing University, June 2005
  

Projects

• A production line for analysis and evaluation of software dependability (863 High Tech Plan, 2007AA010302)
• Program analysis, testing and verification tool suite for software trustworthiness measure and evaluation, (863 High Technology Research Development Projects, 2007-2010)
• Software trustworthiness measure and evaluation based on program analysis, testing and verification, (National Natural Science Foundation of China, 2009-2012)

Publications

• 李倩，潘敏学，李宣东，内存泄漏检测工具与评估方法， 计算机科学与探索，2010年第1期.

• 潘敏学，李倩，李宣东，死锁检测工具的能力分析与综合应用， 计算机科学与探索，2010年第2期.
• Li Qian，Zhao Jianhua, Li Xuandong, Optimize Context-Sensitive Andersen-style Points-to Analysis by Method Summarization and Cycle-Elimination. Proceeding of ISoLa’10
• 李倩，汤恩义，戴雪峰，王林章，赵建华， Java指针指向分析优化, 软件学报，2011年第6期
• Li Qian，Zhao Jianhua，Li Xuandong，Utilize Side-Effect Information in Context-Sensitive Points-to analysis. SoTrust 2011

Presentations

• Optimize Context-Sensitive Andersen-style Points-to Analysis by Method Summarization and Cycle-Elimination. Crete, Greece, Oct. 2010. (Slides)
• Utilize Side-Effect Information in Context-Sensitive Points-to analysis, Pohang,Korea, June, 2011. (Slides)

Activities

Past:

• The 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008, Dec. 3-5, 2008, Nanjing, China)
• The 2nd IEEE Theoretical Aspects of Software Engineering Conference (TASE 2008, June 17-19, 2008, Nanjing University, Nanjing)
• ICTC Training School (September 10-21, 2007, East China Normal University, Shanghai)
  
• Artist2/UNU-IIST 2007 Summer School (August 1-10, 2007, Soochow University, Suzhou)

Upcoming:

Awards

• The Second People's scholarship, Nanjing University, 2004
• The Second People's scholarship Winner, Nanjing University, 2003
• The Third People's scholarship Winner, Nanjing University, 2002

Personal

• Some friends of mine
  Software Engineering Group: Tian Zhang, Bin Lei, Minxue Pan, Lei Bu, LIU Xi
  Nanjing University: Xiaofeng Yu