publications

Up-to-date list of publications can be found in my Google scholar

2024

  1. Virtual Personas for Language Models via an Anthology of Backstories
    Suhong Moon* ,  Marwa Abdulhai* ,  Minwoo Kang* ,  Joseph Suh ,  Widyadewi Soedarmadji , and 3 more authors
    In 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP) , 2024
    PDF
  2. Rediscovering the Latent Dimensions of Personality with Large Language Models as Trait Descriptors
    Joseph Suh* ,  Suhong Moon* ,  Minwoo Kang* ,  David M Chan ,  and  John Canny
    In 2024 NeurIPS Workshop on Behavioral ML , 2024
    PDF
  3. FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware
    Minwoo Kang ,  Mingjie Liu ,  Ghaith Bany Hamad ,  Syed Suhaib ,  and  Haoxing Ren
    arXiv preprint arXiv:2410.23299, 2024
    PDF Code
  4. Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification
    Mingjie Liu* ,  Minwoo Kang* ,  Ghaith Bany Hamad ,  Syed Suhaib ,  and  Haoxing Ren
    In 2024 IEEE 42nd VLSI Test Symposium (VTS) , 2024
    PDF
  5. Late Breaking Results: Differential and Massively Parallel Sampling of SAT Formulas
    Arash Ardakani* ,  Minwoo Kang* ,  Kevin He ,  Vighnesh Iyer ,  Suhong Moon , and 1 more author
    In Proceedings of the 61st ACM/IEEE Design Automation Conference (DAC) , 2024
    PDF

2023

  1. Full Stack Optimization of Transformer Inference: A Survey
    Sehoon Kim ,  Coleman Hooper ,  Thanakul Wattanawong ,  Minwoo Kang ,  Ruohan Yan , and 7 more authors
    In 2023 ISCA Workshop ASSYST , 2023
    PDF
  2. Narrowing the Synthesis Gap: Academic FPGA Synthesis is Catching Up With the Industry
    Benjamin LC Barzen ,  Arya Reais-Parsi ,  Eddie Hung ,  Minwoo Kang ,  Alan Mishchenko , and 2 more authors
    In 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) , 2023
    PDF
  3. LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification
    Minwoo Kang ,  Azade Nova ,  Eshan Singh ,  Geetheeka Sharron Bathini ,  and  Yuriy Viktorov
    In 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) , 2023
    PDF

2021

  1. CoSA: Scheduling by Constrained Optimization for Spatial Accelerators
    Qijing Huang ,  Minwoo Kang ,  Grace Dinh ,  Thomas Norell ,  Aravind Kalaiah , and 3 more authors
    In 2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture (ISCA) , 2021
    PDF