Jinlong He (何锦龙)’s Homepage


  • Office: No. 601, Room 339, Building 5
  • 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


  • 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.