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 | 104 | 2021 |
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 | 52 | 2023 |
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 | 4 | 2023 |
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 | 2 | 2021 |
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 | 1 | 2023 |
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 |