Publications

Featured Conference Publications

• ATC 2022 “Faith: An Efficient Framework for Transformer Verification on GPUs”.
  Boyuan Feng, Tianqi Tang, Yuke Wang, Zhaodong Chen, Zheng Wang, Shu Yang, Yuan Xie, Yufei Ding.
  USENIX Annual Technical Conference, 2022. Webpage Paper Slides

• HPCA 2021 “NeuroMeter: An Integrated Power, Area, and Timing Modeling Framework for Machine Learning Accelerators”.
  Tianqi Tang, Sheng Li, Lifeng Nai, Norman P. Jouppi, Yuan Xie.
  Proceedings of the 27th IEEE International Symposium on High-Performance Computer Architecture (HPCA), 2021. Paper Slides

• ASPDAC 2018 “Training Low Bitwidth Convolutional Neural Network on RRAM”.
  Yi Cai, Tianqi Tang, Lixue Xia, Ming Cheng, Zhenhua Zhu, Yu Wang, Huazhong Yang.
  Proceedings of the 23rd Asia & South Pacific Design Automation Conference (ASPDAC), 2018. Paper

• ASPDAC 2017 “Binary Convolutional Neural Network on RRAM”.
  Tianqi Tang, Lixue Xia, Boxun Li, Yu Wang, Huazhong Yang.
  Proceedings of the 23rd Asia & South Pacific Design Automation Conference (ASPDAC), 2017. Paper

• DATE 2015 “Spiking Neural Network with RRAM: Can We Use it for Real-World Application?”.
  Tianqi Tang, Lixue Xia, Boxun Li, Rong Luo, Yiran Chen, Yu Wang, Huazhong Yang.
  Proceedings of the 19th Design Automation and Test in Europe (DATE), 2016. Paper