Follow
Mike He
Mike He
Other namesDeyuan He, Deyuan Mike He
Verified email at princeton.edu - Homepage
Title
Cited by
Cited by
Year
Dynamic tensor rematerialization
M Kirisame, S Lyubomirsky, A Haan, J Brennan, M He, J Roesch, T Chen, ...
arXiv preprint arXiv:2006.09616, 2020
722020
Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
BY Huang, S Lyubomirsky, Y Li, M He, GH Smith, T Tambe, A Gaonkar, ...
ACM Transactions on Design Automation of Electronic Systems 29 (2), 1-25, 2024
6*2024
CatsTail: Packet programs synthesis via Equality Saturation
DM HE, Y DAI
2023
Improving Term Extraction with Acyclic Constraints
M He, H Dong, S Malik, A Gupta
2023
From DSLs to Accelerator-Rich Platform Implementations: Addressing the Mapping Gap
BY Huang, S Lyubomirsky, T Tambe, Y Li, M He, G Smith, GY Wei, ...
2021
The system can't perform the operation now. Try again later.
Articles 1–5