Weather China: A 5G RCS Solution for Meteorological Service. - Hanhua Qu; Wei Tang; Yanpeng Li; Siyuan Sun; Shibo Tang; Xiaoran Zhao (ACCC, 2022)

Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution. - Shibo Tang; Xingxin Wang; Yifei Gao; Wei Hu 008 (ISOCC, 2022)

Towards Automatic Property Generation for SoC Security Verification. - Xingxin Wang; Shibo Tang; Wei Hu 008 (ISOCC, 2022)

Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution. - Shibo Tang; Jiacheng Zhu; Yifei Gao; Jing Zhou; Dejun Mu; Wei Hu 008 (ATS, 2023)

HAPPIES: a History-Aware Efficient Cloud Resource Overcommitment System. - Ziwei Huang; Shibo Tang; Zihao Chang; Lin Tan; Qichao Lu; Jian Ouyang; Wenbin Lv; Zhicheng Yao; Yungang Bao; Sa Wang (CCGrid, 2024)

INS: Identifying and Mitigating Performance Interference in Clouds via Interference-Sensitive Paths. - Ziwei Huang; Mengyao Xie; Shibo Tang; Zihao Chang; Zhicheng Yao; Yungang Bao; Sa Wang (SoCC, 2024)

Improving the computational efficiency and flexibility of FPGA-based CNN accelerator through loop optimization. - Yuhao Liu; Yanhua Ma; Bowei Zhang; Lu Liu; Jie Wang; Shibo Tang (Microelectron. J., 2024)

An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification. - Xingxin Wang; Wei Hu 008; Shibo Tang; Xinxin Wang; Huisi Zhou (IEEE Trans. Circuits Syst. I Regul. Pap., 2025)