| 2026 | HPCA | FlashFuser: Expanding the Scale of Kernel Fusion for Compute-Intensive Operators via Inter-Core Connection. | Ziyu Huang, Yangjie Zhou, Zihan Liu, Xinhao Luo, Yijia Diao, Minyi Guo, Jidong Zhai, Yu Feng, Chen Zhang, Anbang Wu, Jingwen Leng |
| 2025 | CAV | The rIC3 Hardware Model Checker. | Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang |
| 2025 | CAV | Deeply Optimizing the SAT Solver for the IC3 Algorithm. | Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, Ziyu Huang |
| 2025 | DAC | Property-driven Parallel Symbolic Model Checking of LTL. | Yuheng Su, Yingcheng Li, Qiusong Yang, Yiwei Ci, Ziyu Huang |
| 2025 | ICASSP | Enhancing DETR Efficiency with Inter-Object Relationship and Semantic Spectral Decomposition-Based Distillation. | Ziyu Huang |
| 2025 | IJCNN | A Stereo-Wise Masking Strategy for Weakly Supervised Point Cloud Semantic Segmentation. | Ziyu Huang, Guoqing Jiang, Xiaorong Zhang, Yundong Wu, Jinhe Su |
| 2024 | ASPLOS | GMLake: Efficient and Transparent GPU Memory Defragmentation for Large-scale DNN Training with Virtual Memory Stitching. | Cong Guo, Rui Zhang, Jiale Xu, Jingwen Leng, Zihan Liu, Ziyu Huang, Minyi Guo, Hao Wu, Shouren Zhao, Junping Zhao, Ke Zhang |
| 2017 | ICVS | Calibration of a Structured Light Measurement System Using Binary Shape Coding. | Hai Zeng, Suming Tang, Zhan Song, Feifei Gu, Ziyu Huang |