Shidong Shen

According to our database, Shidong Shen authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

χ RVFormal: Formal verification of RISC-V processor Chisel designs.

Shidong Shen, Shijie Chen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu

J. Syst. Archit., 2026

Can LLM Aid in Solving Constraints with Inductive Definitions?

Weizhi Feng, Shidong Shen, Jiaxiang Liu, Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing.

Shidong Shen, Jinyu Liu, Weizhi Feng, Fu Song, Zhilin Wu

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2025

2024

Formal Verification of RISC-V Processor Chisel Designs.

Shidong Shen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024