Scholar
Yimin Gao
Google Scholar ID: _PeancYAAAAJ
University of Virginia
AI hardware
Processing-in-Memory
hardware/software codesign
VLSI
hardware security
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
26
H-index
4
i10-index
0
Publications
9
Co-authors
0
Contact
No contact links provided.
Publications
3 items
Guarded Equivalence Predicates for Scalable Formal Hardware Information-Flow Verification
2026
Cited
0
Membrane: Accelerating Database Analytics with Bank-Level DRAM-PIM Filtering
2025
Cited
0
EDA-Q: Electronic Design Automation for Superconducting Quantum Chip
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
