PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections. - Haojie Wang; Jidong Zhai; Mingyu Gao 001; Zixuan Ma; Shizhi Tang; Liyan Zheng 001; Yuanzhi Li; Kaiyuan Rong; Yuanyong Chen; Zhihao Jia (OSDI, 2021)

VisKoP: Visual Knowledge oriented Programming for Interactive Knowledge Base Question Answering. - Zijun Yao 002; Yuanyong Chen; Xin Lv; Shulin Cao; Amy Xin; Jifan Yu; Hailong Jin; Jianjun Xu; Peng Zhang 077; Lei Hou 001; Juanzi Li (ACL (demo), 2023)

Optimizing DNNs With Partially Equivalent Transformations and Automated Corrections. - Haojie Wang; Jidong Zhai; Mingyu Gao 001; Feng Zhang 007; Tuowei Wang; Zixuan Ma; Shizhi Tang; Liyan Zheng 001; Wen Wang; Kaiyuan Rong; Yuanyong Chen; Zhihao Jia (IEEE Trans. Computers, 2023)