Login / Signup
Mike He
ORCID
Publication Activity (10 Years)
Years Active: 2011-2024
Publications (10 Years): 4
2025
2016
Top Topics
2025
2016
Hardware Designs
2025
2016
Gate Dielectrics
2025
2016
Runtime Environment
2025
2016
Root Mean Square
Top Venues
CoRR
ISSCC
ICLR
ACM Trans. Design Autom. Electr. Syst.
</>
Publications
</>
Bo-Yuan Huang
,
Steven Lyubomirsky
,
Yi Li
,
Mike He
,
Gus Henry Smith
,
Thierry Tambe
,
Akash Gaonkar
,
Vishal Canumalla
,
Andrew Cheung
,
Gu-Yeon Wei
,
Aarti Gupta
,
Zachary Tatlock
,
Sharad Malik
Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface.
ACM Trans. Design Autom. Electr. Syst.
29 (2) (2024)
Bo-Yuan Huang
,
Steven Lyubomirsky
,
Yi Li
,
Mike He
,
Thierry Tambe
,
Gus Henry Smith
,
Akash Gaonkar
,
Vishal Canumalla
,
Gu-Yeon Wei
,
Aarti Gupta
,
Zachary Tatlock
,
Sharad Malik
Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface.
CoRR
(2022)
Marisa Kirisame
,
Steven Lyubomirsky
,
Altan Haan
,
Jennifer Brennan
,
Mike He
,
Jared Roesch
,
Tianqi Chen
,
Zachary Tatlock
Dynamic Tensor Rematerialization.
ICLR
(2021)
Marisa Kirisame
,
Steven Lyubomirsky
,
Altan Haan
,
Jennifer Brennan
,
Mike He
,
Jared Roesch
,
Tianqi Chen
,
Zachary Tatlock
Dynamic Tensor Rematerialization.
CoRR
(2020)
Rajeev K. Dokania
,
Alexandra M. Kern
,
Mike He
,
Adam C. Faust
,
Richard Tseng
,
Skyler Weaver
,
Kai Yu
,
Christiaan Bil
,
Tao Liang
,
Frank O'Mahony
10.5 A 5.9pJ/b 10Gb/s serial link with unequalized MM-CDR in 14nm tri-gate CMOS.
ISSCC
(2015)
Randy H. Katz
,
David E. Culler
,
Seth Sanders
,
Sara Alspaugh
,
Yanpei Chen
,
Stephen Dawson-Haggerty
,
Prabal Dutta
,
Mike He
,
Xiaofan Jiang
,
Laura Keys
,
Andrew Krioukov
,
Ken Lutz
,
Jorge Ortiz
,
Prashanth Mohan
,
Evan Reutzel
,
Jay Taneja
,
Jeff Hsu
,
Sushant Shankar
An information-centric energy infrastructure: The Berkeley view.
Sustain. Comput. Informatics Syst.
1 (1) (2011)