Liangjun Deng

According to our database, Liangjun Deng authored at least 3 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

GPT-Based Automated Induction: Vulnerability Detection in Medical Software.

Liangjun Deng, Hang Lei, Fazlullah Khan, Gautam Srivastava, Jingxue Chen, Mainul Haque

IEEE J. Biomed. Health Informatics, May, 2026

2025

LLM-based program analysis for source codes, abstract syntax trees and webassembly instructions.

Liangjun Deng, Qi Zhong, Yao Qiu, Jingxue Chen, Hang Lei, Shunkun Yang, Liming Zhou, Hongyuan Cheng

Clust. Comput., November, 2025

2023

Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application.

Liangjun Deng, Hang Lei, Zheng Yang, Weizhong Qian, Xiaoyu Li, Hao Wu, Sihao Deng, Ruchao Sha, Weidong Deng

Comput. Syst. Sci. Eng., 2023