Liangjun Deng

According to our database, Liangjun Deng authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

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