The theory of Equality with Uninterpreted Functions (EUF) is fundamental to constraint solving and program verification. Uninterpreted functions abstract concrete implementations, enabling generalization and simplification of theorems and proofs. However, standard EUF restricts function composition to fixed finite dept...
Yi-De Du, Zhen-Bang Chen, Weijiang Hong et al.· Proceedings of the ACM on Pr...· 0 citations
The Message Passing Interface (MPI) is the standard programming model for high-performance computing, yet nondeterministic scheduling in concurrent executions makes reliability assurance highly challenging. Beyond deadlocks, property-related bugs such as modifying a send buffer before a nonblocking send completes or ac...
Jia-Qiang Yao, Hao-Cheng Geng, Zhen-Bang Chen· Proceedings of the ACM on So...· 0 citations
This work introduces IncSFS, the first incremental full-sparse flow-sensitive pointer analysis algorithm for C/C++ programs that propagates increases and decreases in points-to sets in an interleaved manner, supporting code deletion and insertion within a single analysis pass.
Kunlin Liu, Zhen-Bang Chen, Piyi Zu et al.· 0 citations
CTForge is presented, an LLM-powered framework that automatically generates configuration-specific test suites and demonstrates that structured configuration-aware refinement is essential for LLM to produce effective test suites.
Yuanliang Zhang, Zhizheng Zheng, Shanshan Li et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
