Turning Around and Around: Motion Planning through Thick and Thin Turnstiles. - Aster Greenblatt; Oscar I. Hernandez; Robert A. Hearn; Yichao Hou; Hiro Ito; Minwoo Kang; Aaron Williams 001; Andrew Winslow (CCCG, 2021)

CoSA: Scheduling by Constrained Optimization for Spatial Accelerators. - Qijing Huang 001; Aravind Kalaiah; Minwoo Kang; James Demmel; Grace Dinh; John Wawrzynek; Thomas Norell; Yakun Sophia Shao (ISCA, 2021)

Improvement of Door Recognition Algorithm using Lidar and RGB-D camera for Mobile Manipulator. - Taehyeon Kim; Minwoo Kang; Sumin Kang; Donghan Kim 001 (SAS, 2022)

Narrowing the Synthesis Gap: Academic FPGA Synthesis is Catching Up With the Industry. - Benjamin Lukas Cajus Barzen; Arya Reais-Parsi; Eddie Hung; Minwoo Kang; Alan Mishchenko; Jonathan W. Greene; John Wawrzynek (DATE, 2023)

LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification. - Minwoo Kang; Azade Nova; Eshan Singh; Geetheeka Sharron Bathini; Yuriy Viktorov (ICCAD, 2023)

Full Stack Optimization of Transformer Inference: a Survey. - Sehoon Kim 001; Coleman Hooper; Thanakul Wattanawong; Minwoo Kang; Ruohan Yan; Hasan Genc; Grace Dinh; Qijing Huang 001; Kurt Keutzer; Michael W. Mahoney; Yakun Sophia Shao; Amir Gholami (CoRR, 2023)

Dataset Generation for Korean Urban Parks Analysis with Large Language Models. - Honggu Kim; Minwoo Kang; Hyeyoung Choi; Yun-Gyung Cheong (CIKM, 2024)

Late Breaking Results: Differential and Massively Parallel Sampling of SAT Formulas. - Arash Ardakani; Minwoo Kang; Kevin He; Vighnesh M. Iyer; Suhong Moon; John Wawrzynek (DAC, 2024)

Virtual Personas for Language Models via an Anthology of Backstories. - Suhong Moon; Marwa Abdulhai; Minwoo Kang; Joseph Suh; Widyadewi Soedarmadji; Eran Kohen Behar; David M. Chan (EMNLP, 2024)

Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification. - Mingjie Liu; Minwoo Kang; Ghaith Bany Hamad; Syed Suhaib; Haoxing Ren (VTS, 2024)

Rediscovering the Latent Dimensions of Personality with Large Language Models as Trait Descriptors. - Joseph Suh; Suhong Moon; Minwoo Kang; David M. Chan (CoRR, 2024)

Language Model Fine-Tuning on Scaled Survey Data for Predicting Distributions of Public Opinions. - Joseph Suh; Erfan Jahanparast; Suhong Moon; Minwoo Kang; Serina Chang (ACL (1), 2025)

DEMOTIC: A Differentiable Sampler for Multi-Level Digital Circuits. - Arash Ardakani; Minwoo Kang; Kevin He; Qijing Huang 001; Vighnesh M. Iyer; Suhong Moon; John Wawrzynek (ASP-DAC, 2025)

High-Throughput SAT Sampling. - Arash Ardakani; Minwoo Kang; Kevin He; Qijing Huang 001; John Wawrzynek (DATE, 2025)

FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware. - Minwoo Kang; Mingjie Liu; Ghaith Bany Hamad; Syed M. Suhaib; Haoxing Ren (DATE, 2025)

Higher-Order Binding of Language Model Virtual Personas: a Study on Approximating Political Partisan Misperceptions. - Minwoo Kang; Suhong Moon; Seungyong Lee 001; Ayush Raj; Joseph Suh; David M. Chan (CoRR, 2025)

Puzzled by Puzzles: When Vision-Language Models Can't Take a Hint. - Heekyung Lee; Jiaxin Ge; Tsung-Han Wu; Minwoo Kang; Trevor Darrell; David M. Chan (CoRR, 2025)