Author

Dengping Wei

h-index 7 View on Semantic Scholar

We have 2 of 30 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#small language model Book Open access Oct 2026

Fully Automating Template Polyhedral Analysis by Leveraging LLMs

Abstract interpretation provides a generic framework to design static analysis, and has been widely applied in analysis of real-world programs. The scalability and precision of these analyses depend largely on the chosen abstract domain. The template polyhedra domain is well-known for offering a compelling trade-off be...

Ren-Jie Huang, Li-Qian Chen, Hong-Fei Fu et al. · Proceedings of the 41st IEEE... · 0 citations

Conference Jul 2026

LLM-Based Invariant Generation for Multi-Loop Programs via Forward and Backward Iterative Refinement

Cloud computing infrastructure increasingly relies on cloud services where correctness is critical. Ensuring their correctness requires formal verification techniques grounded in rigorous mathematical reasoning. In practice, formal models of cloud services frequently exhibit multiple loop structures, and verifying such...

Wenyu Zhang, Guangsheng Fan, Dengping Wei et al. · Fall Joint Computer Conferen... · 0 citations