Mechanically Verifying Correctness of CPS Compilation. - Ye Henry Tian (CATS, 2006)

String Concatenation Optimization on Java Bytecode. - Ye Henry Tian (Software Engineering Research and Practice, 2006)

Accelerating Training using Tensor Decomposition. - Mostafa Elhoushi; Ye Henry Tian; Zihao Chen; Farhan Shafiq; Joey Yiwei Li (CoRR, 2019)

DeepShift: Towards Multiplication-Less Neural Networks. - Mostafa Elhoushi; Zihao Chen; Farhan Shafiq; Ye Henry Tian; Joey Yiwei Li (CVPR Workshops, 2021)