Login / Signup
Shibo Tang
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 5
Top Topics
Test Data Generation
Computational Efficiency
Symbolic Execution
Weather Prediction
Top Venues
ISOCC
ATS
Microelectron. J.
ACCC
</>
Publications
</>
Yuhao Liu
,
Yanhua Ma
,
Bowei Zhang
,
Lu Liu
,
Jie Wang
,
Shibo Tang
Improving the computational efficiency and flexibility of FPGA-based CNN accelerator through loop optimization.
Microelectron. J.
147 (2024)
Shibo Tang
,
Jiacheng Zhu
,
Yifei Gao
,
Jing Zhou
,
Dejun Mu
,
Wei Hu
Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution.
ATS
(2023)
Hanhua Qu
,
Wei Tang
,
Yanpeng Li
,
Siyuan Sun
,
Shibo Tang
,
Xiaoran Zhao
Weather China: A 5G RCS Solution for Meteorological Service.
ACCC
(2022)
Shibo Tang
,
Xingxin Wang
,
Yifei Gao
,
Wei Hu
Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution.
ISOCC
(2022)
Xingxin Wang
,
Shibo Tang
,
Wei Hu
Towards Automatic Property Generation for SoC Security Verification.
ISOCC
(2022)