Haining Meng -

Registered user since Sun 13 Apr 2025

Name:Haining Meng

Country:China

Affiliation:Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences

Contributions

2025

ESEC/FSE

Author of VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-Object Typestate Analysis within the Research Papers-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