Verifying Recursions and Array Manipulating Programs by Solving Multivariate Recurrences
Under review, 2026
Chenglin Wang
Publications
Conference Papers
An Efficient Method to Find Implied Equalities in Linear Real Arithmetic and Linear Integer Arithmetic
Under review, 2026
Amir K. Goharshady, Pingjiang Li, Chenglin Wang (authors are ordered alphabetically)
On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches
International Conference on Computer Aided Verification (CAV), 2024
Chenglin Wang; Fangzhen Lin
Solving Conditional Linear Recurrences for Program Verification: The Periodic Case
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2023
Chenglin Wang; Fangzhen Lin
Query Answering with Guarded Existential Rules under Stable Model Semantics
Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 2020
Hai Wan; Guohui Xiao; Chenglin Wang; Xianqiao Liu; Junhong Chen; Zhe Wang