Minwoo Kang

27 papers A* 4A 5B 1Misc 1Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Identity, Cooperation and Framing Effects within Groups of Real and Simulated Humans.
CoRR
Suhong Moon, Minwoo Kang, Joseph Suh, Mustafa Safdari, John Canny
2026 J jnl
Vertical auto-scaling mechanism for elastic memory management of containerized applications in Kubernetes.
Future Gener. Comput. Syst.
Taeshin Kang, Minwoo Kang, HeonChang Yu
2025 — conf
DEMOTIC: A Differentiable Sampler for Multi-Level Digital Circuits.
ASP-DAC
Arash Ardakani, Minwoo Kang, Kevin He, Qijing Huang, Vighnesh M. Iyer, Suhong Moon, John Wawrzynek
2025 J jnl
DEMOTIC: A Differentiable Sampler for Multi-Level Digital Circuits.
CoRR
Arash Ardakani, Minwoo Kang, Kevin He, Qijing Huang, Vighnesh M. Iyer, Suhong Moon, John Wawrzynek
2025 A conf
FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware.
DATE
Minwoo Kang, Mingjie Liu, Ghaith Bany Hamad, Syed M. Suhaib, Haoxing Ren
2025 J jnl
Hard-Negative Prototype-Based Regularization for Few-Shot Class-Incremental Learning.
Trans. Mach. Learn. Res.
Seongbeom Park, Hyunju Yun, Daewon Chae, Sungyoon Kim, Suhong Moon, Minwoo Kang, Seunghyun Park, Jinkyu Kim
2025 A conf
High-Throughput SAT Sampling.
DATE
Arash Ardakani, Minwoo Kang, Kevin He, Qijing Huang, John Wawrzynek
2025 J jnl
High-Throughput SAT Sampling.
CoRR
Arash Ardakani, Minwoo Kang, Kevin He, Qijing Huang, John Wawrzynek
2025 J jnl
Higher-Order Binding of Language Model Virtual Personas: a Study on Approximating Political Partisan Misperceptions.
CoRR
Minwoo Kang, Suhong Moon, Seungyong Lee, Ayush Raj, Joseph Suh, David M. Chan
2025 — conf
Language Model Fine-Tuning on Scaled Survey Data for Predicting Distributions of Public Opinions.
ACL (1)
Joseph Suh, Erfan Jahanparast, Suhong Moon, Minwoo Kang, Serina Chang
2025 J jnl
Language Model Fine-Tuning on Scaled Survey Data for Predicting Distributions of Public Opinions.
CoRR
Joseph Suh, Erfan Jahanparast, Suhong Moon, Minwoo Kang, Serina Chang
2025 A* conf
Puzzled by Puzzles: When Vision-Language Models Can't Take a Hint.
EMNLP
Heekyung Lee, Jiaxin Ge, Tsung-Han Wu, Minwoo Kang, Trevor Darrell, David M. Chan
2025 J jnl
Puzzled by Puzzles: When Vision-Language Models Can't Take a Hint.
CoRR
Heekyung Lee, Jiaxin Ge, Tsung-Han Wu, Minwoo Kang, Trevor Darrell, David M. Chan
2024 A conf
Dataset Generation for Korean Urban Parks Analysis with Large Language Models.
CIKM
Honggu Kim, Minwoo Kang, Hyeyoung Choi, Yun-Gyung Cheong
2024 Misc conf
Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification.
VTS
Mingjie Liu, Minwoo Kang, Ghaith Bany Hamad, Syed Suhaib, Haoxing Ren
2024 J jnl
FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware.
CoRR
Minwoo Kang, Mingjie Liu, Ghaith Bany Hamad, Syed Suhaib, Haoxing Ren
2024 A* conf
Late Breaking Results: Differential and Massively Parallel Sampling of SAT Formulas.
DAC
Arash Ardakani, Minwoo Kang, Kevin He, Vighnesh M. Iyer, Suhong Moon, John Wawrzynek
2024 J jnl
Rediscovering the Latent Dimensions of Personality with Large Language Models as Trait Descriptors.
CoRR
Joseph Suh, Suhong Moon, Minwoo Kang, David M. Chan
2024 A* conf
Virtual Personas for Language Models via an Anthology of Backstories.
EMNLP
Suhong Moon, Marwa Abdulhai, Minwoo Kang, Joseph Suh, Widyadewi Soedarmadji, Eran Kohen Behar, David M. Chan
2024 J jnl
Virtual Personas for Language Models via an Anthology of Backstories.
CoRR
Suhong Moon, Marwa Abdulhai, Minwoo Kang, Joseph Suh, Widyadewi Soedarmadji, Eran Kohen Behar, David M. Chan
2023 J jnl
Full Stack Optimization of Transformer Inference: a Survey.
CoRR
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
2023 A conf
LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification.
ICCAD
Minwoo Kang, Azade Nova, Eshan Singh, Geetheeka Sharron Bathini, Yuriy Viktorov
2023 A conf
Narrowing the Synthesis Gap: Academic FPGA Synthesis is Catching Up With the Industry.
DATE
Benjamin Lukas Cajus Barzen, Arya Reais-Parsi, Eddie Hung, Minwoo Kang, Alan Mishchenko, Jonathan W. Greene, John Wawrzynek
2022 B conf
Improvement of Door Recognition Algorithm using Lidar and RGB-D camera for Mobile Manipulator.
SAS
Taehyeon Kim, Minwoo Kang, Sumin Kang, Donghan Kim
2021 A* conf
CoSA: Scheduling by Constrained Optimization for Spatial Accelerators.
ISCA
Qijing Huang, Aravind Kalaiah, Minwoo Kang, James Demmel, Grace Dinh, John Wawrzynek, Thomas Norell, Yakun Sophia Shao
2021 J jnl
CoSA: Scheduling by Constrained Optimization for Spatial Accelerators.
CoRR
Qijing Huang, Minwoo Kang, Grace Dinh, Thomas Norell, Aravind Kalaiah, James Demmel, John Wawrzynek, Yakun Sophia Shao
2021 — conf
Turning Around and Around: Motion Planning through Thick and Thin Turnstiles.
CCCG
Aster Greenblatt, Oscar I. Hernandez, Robert A. Hearn, Yichao Hou, Hiro Ito, Minwoo Kang, Aaron Williams, Andrew Winslow