Minwoo Kang

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Formal Verification

Unconstrained Optimization

Augmented Lagrangian

Top Venues

Publications

Suhong Moon, Marwa Abdulhai, Minwoo Kang, Joseph Suh, Widyadewi Soedarmadji, Eran Kohen Behar, David M. Chan
Virtual Personas for Language Models via an Anthology of Backstories. CoRR (2024)
Mingjie Liu, Minwoo Kang, Ghaith Bany Hamad, Syed Suhaib, Haoxing Ren
Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification. VTS (2024)
Sehoon Kim, Coleman Hooper, Thanakul Wattanawong, Minwoo Kang, Ruohan Yan, Hasan Genc, Grace Dinh, Qijing Huang, Kurt Keutzer, Michael W. Mahoney, Yakun Sophia Shao, Amir Gholami
Full Stack Optimization of Transformer Inference: a Survey. CoRR (2023)
Benjamin Lukas Cajus Barzen, Arya Reais-Parsi, Eddie Hung, Minwoo Kang, Alan Mishchenko, Jonathan W. Greene, John Wawrzynek
Narrowing the Synthesis Gap: Academic FPGA Synthesis is Catching Up With the Industry. DATE (2023)
Minwoo Kang, Azade Nova, Eshan Singh, Geetheeka Sharron Bathini, Yuriy Viktorov
LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification. ICCAD (2023)
Taehyeon Kim, Minwoo Kang, Sumin Kang, Donghan Kim
Improvement of Door Recognition Algorithm using Lidar and RGB-D camera for Mobile Manipulator. SAS (2022)
Qijing Huang, Minwoo Kang, Grace Dinh, Thomas Norell, Aravind Kalaiah, James Demmel, John Wawrzynek, Yakun Sophia Shao
CoSA: Scheduling by Constrained Optimization for Spatial Accelerators. CoRR (2021)
Qijing Huang, Aravind Kalaiah, Minwoo Kang, James Demmel, Grace Dinh, John Wawrzynek, Thomas Norell, Yakun Sophia Shao
CoSA: Scheduling by Constrained Optimization for Spatial Accelerators. ISCA (2021)
Aster Greenblatt, Oscar Hernandez, Robert A. Hearn, Yichao Hou, Hiro Ito, Minwoo Kang, Aaron Williams, Andrew Winslow
Turning Around and Around: Motion Planning through Thick and Thin Turnstiles. CCCG (2021)