Yicheng Liu (刘易铖)'s Homepage
Contact
- Office: No. 617, Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email:
liuyic00@gmail.com
About me
I am currently a Ph.D. student in the group. My main research interests are:
- Hardware Verification
Education
-
Sept. 2025 – present: Ph.D. Student in Computer Science and Technology at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
-
Sept. 2022 – Jun. 2025: Computer Science and Technology (Master's degree) at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
-
Sept. 2018 – Jun. 2022: Computer Science and Technology (Bachelor’s degree) at Dalian University of Technology
Awards
- The 2020 ICPC Asia-East Continent Final Silver Medal
- The 45th ICPC Asia Regional Contest (Kunming Site) Gold Medal
Publications
- 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
- Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu. Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once. Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024. 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