Minwoo Kang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
11
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAC | Automatic Fault Tolerance Management based on Task Criticality for Real-Time Systems. | Minwoo Kang, Hunkyu Maeng, Hyeonsoo Jeon, Junyong Park, Jiwoo Shin, Jinman Jung |
| 2025 | ACL | Language Model Fine-Tuning on Scaled Survey Data for Predicting Distributions of Public Opinions. | Joseph Suh, Erfan Jahanparast, Suhong Moon, Minwoo Kang, Serina Chang |
| 2025 | ASPDAC | DEMOTIC: A Differentiable Sampler for Multi-Level Digital Circuits. | Arash Ardakani, Minwoo Kang, Kevin He, Qijing Huang, Vighnesh M. Iyer, Suhong Moon, John Wawrzynek |
| 2025 | CCGRID | SUPLEC:Microservice Scheduling Under Unexpected Peak Load in the Edge-Cloud Continuum. | Minwoo Kang, Taeshin Kang, Joon-Min Gil, Heonchang Yu |
| 2025 | DATE | High-Throughput SAT Sampling. | Arash Ardakani, Minwoo Kang, Kevin He, Qijing Huang, John Wawrzynek |
| 2025 | DATE | FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware. | Minwoo Kang, Mingjie Liu, Ghaith Bany Hamad, Syed M. Suhaib, Haoxing Ren |
| 2025 | EMNLP | 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 |
| 2024 | CIKM | Dataset Generation for Korean Urban Parks Analysis with Large Language Models. | Honggu Kim, Minwoo Kang, Hyeyoung Choi, Yun-Gyung Cheong |
| 2024 | DAC | Late Breaking Results: Differential and Massively Parallel Sampling of SAT Formulas. | Arash Ardakani, Minwoo Kang, Kevin He, Vighnesh M. Iyer, Suhong Moon, John Wawrzynek |
| 2024 | EMNLP | 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 |
| 2024 | VTS | 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 |
| 2023 | DATE | 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 |
| 2023 | ICCAD | LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification. | Minwoo Kang, Azade Nova, Eshan Singh, Geetheeka Sharron Bathini, Yuriy Viktorov |
| 2021 | ISCA | CoSA: Scheduling by Constrained Optimization for Spatial Accelerators. | Qijing Huang, Aravind Kalaiah, Minwoo Kang, James Demmel, Grace Dinh, John Wawrzynek, Thomas Norell, Yakun Sophia Shao |