Doctor Candidate,
- Automated analysis and verification of Android programs
-
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.
-
Doctor degree: 2017 - now
- State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
- Supervisor: Professor Zhilin Wu
-
Bachelor degree: 2013 - 2017
-
Mail: hejl@ios.ac.cn
-
Phone: +86 15640422198