Jinlong He (何锦龙)'s Homepage
Contact
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email:
hejl###ios**ac*cn
About me
I am currently a Ph.D student in the group.
My main research interests are:
- Static analysis and verification of Android programs
Education
- Sept. 2017 – Nov. 2024: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- Sept. 2013 – Jun. 2017: School of Software Technology, Dalian University of Technology
Publications
- Jinlong He, Zhilin Wu, Taolue Chen. Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps. Formal Aspects of Computing, 2025. DOI
- Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu. A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, 2020. DOI