Skip to main content

Jinyu Liu (刘锦宇)'s Homepage

Contact

  • Office: Room 339, Building 5
  • Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
  • email: LChooaa###outlook*com

About me

I am currently a master student in the group. My main research interests are:

  • Hardware Verification
  • Hardware Fuzzing

Education

Publications

  1. 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