6 papers
Unleashing the Power of Equality Saturation for Tensor Program Superoptimization
Qi Zhan, Xing Hu, Xin Xia +1
Efficient GPU implementations of tensor programs often require joint optimization of high-level algebraic formulations and low-level execution strategies. However, the resulting se…
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…
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…
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…
Possible Value Analysis based on Symbolic Lattice
Qi Zhan
We propose a new static program analysis called program behavior analysis. The analysis aims to calculate possible symbolic expressions for every variable at each program point. We…
PS: Precise Patch Presence Test based on Semantic Symbolic Signature
Qi Zhan, Xing Hu, Zhiyang Li +3
During software development, vulnerabilities have posed a significant threat to users. Patches are the most effective way to combat vulnerabilities. In a large-scale software syste…