| 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 | 134 | 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 | 97 | 2023 |
| 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 | 6 | 2024 |
| 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 | 6 | 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 | 3 | 2024 |
| 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 | 3 | 2021 |
| Late Breaking Results: Differential and Massively Parallel Sampling of SAT Formulas A Ardakani, M Kang, K He, V Iyer, S Moon, J Wawrzynek Proceedings of the 61st ACM/IEEE Design Automation Conference (DAC), 2024 | 2 | 2024 |
| Rediscovering the Latent Dimensions of Personality with Large Language Models as Trait Descriptors J Suh, S Moon, M Kang, DM Chan arXiv preprint arXiv:2409.09905, 2024 | 1 | 2024 |
| 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 |
| FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware M Kang, M Liu, GB Hamad, S Suhaib, H Ren arXiv preprint arXiv:2410.23299, 2024 | | 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 |
Qijing Jenny HuangUniversity of California, BerkeleyCorreu electrònic verificat a berkeley.edu