Haining Meng -

Registered user since Sun 13 Apr 2025

Name:Haining Meng

Country:China

Affiliation:SKLP, Institute of Computing Technology, CAS, China; University of Chinese Academy of Sciences, China

Contributions

2025

ESEC/FSE

Author of VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-Object Typestate Analysis within the Research Papers-track

Internetware

Author of SLVHound: Static Detection of Session Lingering Vulnerabilities in Modern Java Web Applications within the Research Track-track

2024

CGO

Author of Boosting the Performance of Multi-solver IFDS Algorithms with Flow-Sensitivity Optimizations within the Main Conference-track

2022

ESEC/FSE

Author of Generic Sensitivity: Customizing Context-Sensitive Pointer Analysis for Generics within the Research Papers-track

2021

CGO

Author of Scaling up the IFDS Algorithm with Efficient Disk-based Computing within the Main Conference-track

2019

ASE

Author of Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis within the Research Papers-track