Minwoo (Josh) Kang


prof_pic.jpg
email: mkang at cs
dot berkeley dot edu

Hi, I’m a PhD student in CS at UC Berkeley, where I am part of Berkeley AI Research (BAIR) and the SLICE Lab.
My research is advised by Prof. John Canny and Prof. John Wawrzynek.

I am broadly interested in research topics within computational linguistics and digital hardware design:

  • Artifical language agents: improving LM-LM and Human-LM collaboration
  • Computational sociolinguistics: use of LLMs as viritual human subjects
  • LLMs as aids for automated formal reasoning: applications in hardware design and formal verification



Work

Education

  • 2020.08 - Present
    PhD
    University of California, Berkeley
    Computer Science
  • 2014.09 - 2020.06
    Bachelors
    Williams College
    Computer Science and Physics
For a summary of experiences, please refer to my short cv.


Publications

2024

  1. DiffSampler: Differential and Massively Parallel Sampling of SAT Formulas
    Arash Ardakani, Minwoo Kang, Kevin He, Vighnesh Iyer, Suhong Moon, and John Wawrzynek
    In Proceedings of the 61st ACM/IEEE Design Automation Conference (DAC), 2024

2023

  1. kang2023lfps.jpg
    LFPS: Learned Formal Proof Stengthening for Efficient Hardware Verification
    Minwoo Kang, Azade Nova, Eshan Singh, Geetheeka Sharron Bathini, and Yuriy Vikotorov
    In Proceedings of the 42nd IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2023
  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, Jonathan W Greene, and John Wawrzynek
    In 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023
  3. kim2023.png
    Full Stack Optimization of Transformer Inference: a Survey
    Sehoon Kim, Coleman Hooper, Thanakul Wattanawong, Minwoo Kang, Ruohan Yan, Hasan Genc, Grace Dinh, Qijing Huang, Kurt Keutzer, Michael W Mahoney, and  others
    arXiv preprint arXiv:2302.14017, 2023
    PDF

2021

  1. huang2021.png
    CoSA: Scheduling by Constrained Optimization for Spatial Accelerators
    Qijing Huang, Minwoo Kang, Grace Dinh, Thomas Norell, Aravind Kalaiah, James Demmel, John Wawrzynek, and Yakun Sophia Shao
    In 2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture (ISCA), 2021
    PDF
  2. greenblatt2021.png
    Turning Around and Around: Motion Planning through Thick and Thin Turnstiles
    Aster Greenblatt, Oscar Hernandez, Robert Hearn, Yichao Hou, Hiro Ito, Minwoo Kang, Aaron Williams, and Andrew Winslow
    In 33rd Canadian Conference on Computational Geometry (CCCG), 2021
    PDF