Zhiming Li -

Registered user since Thu 15 Apr 2021

Name:Zhiming Li

Country:China

Affiliation:Nanyang Technological University, Singapore

Research interests:Machine Learning, Symbolic AI

Contributions

2025

ISSTA

Author of Enhancing Vulnerability Detection via Inter-procedural Semantic Completion within the Research Papers-track

2024

LLM4Code

Author of LLMs for Relational Reasoning: How Far are We? within the LLM4Code 2024-track

2023

ESEC/FSE

Author of Learning Program Semantics for Vulnerability Detection via Vulnerability-specific Inter-procedural Slicing within the Research Papers-track

2022

ISSTA

Author of Cross-Lingual Transfer Learning for Statistical Type Inference within the Technical Papers-track

2021

ASE

Author of Cross-Lingual Transfer Learning Framework for Program Analysis within the Doctoral Symposium-track