Minwoo Kang

According to our database, Minwoo Kang authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, Yakun Sophia Shao, Amir Gholami

CoRR, 2023

LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification.

Minwoo Kang, Azade Nova, Eshan Singh, Geetheeka Sharron Bathini, Yuriy Viktorov

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Improvement of Door Recognition Algorithm using Lidar and RGB-D camera for Mobile Manipulator.

Taehyeon Kim, Minwoo Kang, Sumin Kang, Donghan Kim

Proceedings of the IEEE Sensors Applications Symposium, 2022

2021

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

Proceedings of the 48th ACM/IEEE Annual International Symposium on Computer Architecture, 2021

Turning Around and Around: Motion Planning through Thick and Thin Turnstiles.

Aster Greenblatt, Oscar Hernandez, Robert A. Hearn, Yichao Hou, Hiro Ito, Minwoo Kang, Aaron Williams, Andrew Winslow

Proceedings of the 33rd Canadian Conference on Computational Geometry, 2021