- Office: No. 601, Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email: email@example.com
I am currently a Ph.D student in the group. My main research interests are:
- Static analysis and verification of Android programs
- 9/2017 – present: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- 9/2013 – 6/2017: School of Software Technology, Dalian University of Technology
- Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony W. Lin, Philipp Rümmer, Zhilin Wu, A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type , ATVA 2020.
- Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan, Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps, APLAS 2019.
- Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan, Android Stack Machine, CAV 2018.