Ruijie "Jerry" Gao
Electronic Design Automation
ruijieg@umich.eduGoogle ScholarORCIDWebsite
Computer Architecture Electronic Design Automation
Ruijie Gao is a PhD student specializing in Electronic Design Automation under the supervision of Nathan Bleier. His research focuses on computer architecture and electronic design automation, with particular emphasis on formal verification & logic synthesis, and agile hardware design.
Projects
Publications
Conference papers (5)
2026
- TensorLift: Automatic Extraction of Tensor-Level ISA Semantics from Accelerator RTL via MLIR Semantic LiftingRuijie Gao, Haoran Jin, Jirong Yang, Nathaniel BleierICCAD 2026
- æSIP: μArch-aware ASIP-ISA Co-Design via Program Synthesis, Equality Saturation, and External Don’t CaresHaoran Jin, Jirong Yang, Barry Lyu, Ruijie “Jerry” Gao, Nathan BleierISCA (2026)
- Precision As You Need: Stochastic Computing Is a Dense Adaptive QuantizerHaoran Jin, Kangqi Zhang, Jirong Yang, Barry Lyu, Qiuyi "Rachel" Ding, Ruijie Gao, Nathaniel BleierNeurIPS 2026
2025
- Assassyn: A Unified Abstraction for Architectural Simulation and ImplementationJian Weng, Boyang Han, Derui Gao, Ruijie Gao, Wanning Zhang, An Zhong, Ceyu Xu, Jihao Xin, Yangzhixin Luo, Lisa Wu Wills, Marco CaniniISCA 2025
2024
- EDGE-LLM: Enabling Efficient Large Language Model Adaptation on Edge Devices via Unified Compression and Adaptive Layer VotingZhongzhi Yu, Zheng Wang, Yuhan Li, Ruijie Gao, Xiaoya Zhou, Sreenidhi Reddy Bommu, Yang (Katie) Zhao, Yingyan (Celine) LinDAC 2024