个人简介
教育背景
2002-09--2007-07 中国科学院研究生院 博士
1996-09--2001-07 中国科学技术大学 学士
工作简历
2018-10~现在, 中国科学院软件研究所, 研究员
2010-01~2018-09,中国科学院软件研究所, 副研究员
2009-04~2009-07,香港城市大学, 访问学者
2007-07~2009-12,中国科学院软件研究所, 助理研究员
教授课程
软件测试与分析
研究领域
程序分析
从程序代码（源代码、字节码、二进制码）出发，自动或者半自动地分析程序的性质，寻找程序可能的缺陷，改善软件的质量。目前正在进行中的研究工作包括面向C/C++代码的静态分析以及面向Android等新型应用软件的静态和动态分析。
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
Static Asynchronous Component Misuse Detection for Android Applications. FSE 2020
Multiple-Entry Testing of Android Applications by Constructing Activity Launching Contexts. ICSE 2020
Characterizing and Identifying Misexposed Activities in Android Applications. ASE 2018
Android Stack Machine. CAV 2018
LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps. ISSTA 2018
Lightweight energy consumption analysis and prediction for Android applications. Science of Computer Programming, 2018.
Comprehensive Static Analysis for Configurable Software via Combinatorial Instanstiation. Compsac 2017
Combinatorial Testing on Implementations of HTML5 Support. IWCT 2017.
Light-weight, Inter-procedural and Callback-aware Resource Leak Detection for Android Apps. IEEE Trans Software Engineering, 2016.
Generating combinatorial test suite using combinatorial optimization. Journal of Systems and Software, 2014.
学术兼职
2017-03-01-今,Frontiers of Computer Science, 青年编辑
京公网安备 11010802027423号