Shidong Shen (申世东)'s Homepage
Contact
- Office: Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email:
shensd###ios**ac*cn - Homepage
About me
I am currently a Master student in the group. My main research interests are:
- Hardware Verification
- Hardware Fuzzing
Education
- Sept. 2023 – present: Master Student in Computer Science and Technology at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
Publications
- Weizhi Feng, Shidong Shen, Jiaxiang Liu, Taolue Chen, Fu Song, Zhilin Wu. Can LLM Aid in Solving Constraints with Inductive Definitions?. 27th Symposium on Formal Methods (FM), 2026. DOI
- Shidong Shen, Shijie Chen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu. χRVFormal: Formal Verification of RISC-V Processor Chisel Designs. Journal of Systems Architecture, 2026. DOI
- Shidong Shen, Jinyu Liu, Weizhi Feng, Fu Song, Zhilin Wu. BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing. 2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2025. DOI
- Shidong Shen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu. Formal Verification of RISC-V Processor Chisel Designs. Dependable Software Engineering. Theories, Tools, and Applications (SETTA), 2024. DOI