2 papers
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…
cs.SE2024
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…