关注
Minwoo (Josh) Kang
标题
引用次数
引用次数
年份
Cosa: Scheduling by constrained optimization for spatial accelerators
Q Huang, M Kang, G Dinh, T Norell, A Kalaiah, J Demmel, J Wawrzynek, ...
2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture …, 2021
1042021
Full Stack Optimization of Transformer Inference: a Survey
S Kim, C Hooper, T Wattanawong, M Kang, R Yan, H Genc, G Dinh, ...
arXiv preprint arXiv:2302.14017, 2023
522023
Narrowing the Synthesis Gap: Academic FPGA Synthesis is Catching Up With the Industry
BLC Barzen, A Reais-Parsi, E Hung, M Kang, A Mishchenko, JW Greene, ...
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2023
42023
Turning Around and Around: Motion Planning through Thick and Thin Turnstiles.
A Greenblatt, O Hernandez, RA Hearn, Y Hou, H Ito, M Kang, A Williams, ...
CCCG, 377-387, 2021
22021
LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification
M Kang, A Nova, E Singh, GS Bathini, Y Viktorov
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-9, 2023
12023
Virtual Personas for Language Models via an Anthology of Backstories
S Moon, M Abdulhai, M Kang, J Suh, W Soedarmadji, EK Behar, ...
arXiv preprint arXiv:2407.06576, 2024
2024
Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification
M Liu, M Kang, GB Hamad, S Suhaib, H Ren
2024 IEEE 42nd VLSI Test Symposium (VTS), 1-4, 2024
2024
Late Breaking Results: Differential and Massively Parallel Sampling of SAT Formulas
A Ardakani, M Kang, K He, V Iyer, S Moon, J Wawrzynek
2024
Full Stack Optimization of Transformer Inference
S Kim, C Hooper, T Wattanawong, M Kang, R Yan, H Genc, G Dinh, ...
Architecture and System Support for Transformer Models (ASSYST@ ISCA 2023), 2023
2023
Adhesion-Based Measurements of Strain-Dependent Surface Stress in Soft Solids
J Thaller, M Kang, K Jensen
APS March Meeting Abstracts 2019, R58. 007, 2019
2019
系统目前无法执行此操作,请稍后再试。
文章 1–10