Jinlong He

Postdoctoral Fellow

Program Verification, Analysis and Testing

Publications

2 publications

2019

Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
APLAS 2019Jinlong HeTaolue ChenPing WangZhilin WuJun Yan

2018

Android Stack Machine
CAV 2018Taolue ChenJinlong HeFu SongGuozhen WangZhilin WuJun Yan