Scholar
Jun Yang
Google Scholar ID: tijr1HcAAAAJ
Professor, Electrical and Computer Engineering, University of Pittsburgh
Computer Architecture
Compiler Technology
Electronic Design Automation
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
9,444
H-index
49
i10-index
134
Publications
20
Co-authors
40
list available
Publications
2 items
ExVerus: Verus Proof Repair via Counterexample Reasoning
2026
Cited
0
ToMPC: Task-oriented Model Predictive Control via ADMM for Safe Robotic Manipulation
2026
Cited
0
Co-authors
9 total
Lei Jiang
Indiana University Bloomington
Rajiv Gupta
Distinguished Professor & Amrik Singh Poonian Professor, University of California, Riverside
Wei Wu
Intel
Xianwei Zhang
Sun Yat-sen U.; AMD Research/RTG
Sheldon X.-D. Tan
University of California at Riverside
Jason Xue
City University of Hong Kong
Liang Shi
East China Normal University
Onur Mutlu
ETH Zürich and Carnegie Mellon University
