3 papers
cs.SE2026
Assessing the Cross-Version Applicability of Java Library Vulnerability Exploits
Zirui Chen, Qi Zhan, Jiayuan Zhou +3
Open-source software supply chain security relies heavily on assessing affected versions of library vulnerabilities. While prior studies have leveraged exploits for verifying vulne…
cs.SE2026
Verify Implementation Equivalence of Large Models
Qi Zhan, Xing Hu, Xin Xia +1
Verifying whether two implementations of the same large model are equivalent across frameworks is difficult in practice. Even when they realize the same computation, their graphs m…
cs.LG2024
Verified Lifting of Deep learning Operators
Qi Zhan, Xing Hu, Xin Xia +1
Deep learning operators are fundamental components of modern deep learning frameworks. With the growing demand for customized operators, it has become increasingly common for devel…