关注
Mike He
Mike He
其他姓名Deyuan He, Deyuan Mike He
在 princeton.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Dynamic tensor rematerialization
M Kirisame, S Lyubomirsky, A Haan, J Brennan, M He, J Roesch, T Chen, ...
arXiv preprint arXiv:2006.09616, 2020
832020
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
9*2024
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, ...
12021
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
系统目前无法执行此操作,请稍后再试。
文章 1–5