C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Minwoo Kang
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 7
Top Topics
Penalty Functions
Unconstrained Optimization
Formal Proof
Rgb D Camera
Top Venues
CoRR
DATE
ISCA
ICCAD
</>
Publications
</>
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
Full Stack Optimization of Transformer Inference: a Survey.
CoRR
(2023)
Benjamin Lukas Cajus Barzen
,
Arya Reais-Parsi
,
Eddie Hung
,
Minwoo Kang
,
Alan Mishchenko
,
Jonathan W. Greene
,
John Wawrzynek
Narrowing the Synthesis Gap: Academic FPGA Synthesis is Catching Up With the Industry.
DATE
(2023)
Minwoo Kang
,
Azade Nova
,
Eshan Singh
,
Geetheeka Sharron Bathini
,
Yuriy Viktorov
LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification.
ICCAD
(2023)
Taehyeon Kim
,
Minwoo Kang
,
Sumin Kang
,
Donghan Kim
Improvement of Door Recognition Algorithm using Lidar and RGB-D camera for Mobile Manipulator.
SAS
(2022)
Qijing Huang
,
Minwoo Kang
,
Grace Dinh
,
Thomas Norell
,
Aravind Kalaiah
,
James Demmel
,
John Wawrzynek
,
Yakun Sophia Shao
CoSA: Scheduling by Constrained Optimization for Spatial Accelerators.
CoRR
(2021)
Qijing Huang
,
Aravind Kalaiah
,
Minwoo Kang
,
James Demmel
,
Grace Dinh
,
John Wawrzynek
,
Thomas Norell
,
Yakun Sophia Shao
CoSA: Scheduling by Constrained Optimization for Spatial Accelerators.
ISCA
(2021)
Aster Greenblatt
,
Oscar Hernandez
,
Robert A. Hearn
,
Yichao Hou
,
Hiro Ito
,
Minwoo Kang
,
Aaron Williams
,
Andrew Winslow
Turning Around and Around: Motion Planning through Thick and Thin Turnstiles.
CCCG
(2021)