​
Login / Signup
Mike He
ORCID
Publication Activity (10 Years)
Years Active: 2011-2024
Publications (10 Years): 4
Top Topics
Hardware Designs
Gate Dielectrics
Runtime Environment
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)