Black extraction method using gamut boundary descriptors. - Minki Cho; Byoung-Ho Kang; Heui-Keun Choh (Color Imaging: Processing, Hardcopy, and Applications, 2006)

Perceptual gamut mapping on the basis of image quality and preference factors. - Byoung-Ho Kang; Minki Cho; Heui-Keun Choh; Chang-Yeong Kim (Color Imaging: Processing, Hardcopy, and Applications, 2006)

Gamut mapping method for ICC saturated intent. - Minki Cho; Heui-Keun Choh; Se-Eun Kim; Yun-Tae Kim; Yousun Bang (Color Imaging: Processing, Hardcopy, and Applications, 2007)

Analysis of the impact of interfacial oxide thickness variation on metal-gate high-K circuits. - Minki Cho; Kingsuk Maitra; Saibal Mukhopadhyay (CICC, 2008)

Accuracy-aware SRAM: a reconfigurable low power SRAM architecture for mobile multimedia applications. - Minki Cho; Jason Schlessman; Wayne H. Wolf; Saibal Mukhopadhyay (ASP-DAC, 2009)

Design method and test structure to characterize and repair TSV defect induced signal degradation in 3D system. - Minki Cho; Chang Liu 034; Dae Hyun Kim 004; Sung Kyu Lim; Saibal Mukhopadhyay (ICCAD, 2010)

Signal processing methods and hardware-structure for on-line characterization of thermal gradients in many-core processors. - Minki Cho; Saibal Mukhopadhyay (ISQED, 2010)

Optimization of burn-in test for many-core processors through adaptive spatiotemporal power migration. - Minki Cho; Nikhil Sathe; Arijit Raychowdhury; Saibal Mukhopadhyay (ITC, 2010)

Postsilicon Adaptation for Low-Power SRAM under Process Variation. - Minki Cho; Jason Schlessman; Hamid Mahmoodi; Marilyn Wolf; Saibal Mukhopadhyay (IEEE Des. Test Comput., 2010)

Reconfigurable SRAM Architecture With Spatial Voltage Scaling for Low Power Mobile Multimedia Applications. - Minki Cho; Jason Schlessman; Marilyn Wolf; Saibal Mukhopadhyay (IEEE Trans. Very Large Scale Integr. Syst., 2011)

Characterization of Inverse Temperature Dependence in logic circuits. - Minki Cho; Muhammad M. Khellah; Kwanyeob Chae; Khondker Zakir Ahmed 001; James W. Tschanz; Saibal Mukhopadhyay (CICC, 2012)

Low-power design under variation using error prevention and error tolerance (invited paper). - Kwanyeob Chae; Minki Cho; Saibal Mukhopadhyay (LATW, 2012)

Perceptual quality preserving SRAM architecture for color motion pictures. - Wen Yueh; Minki Cho; Saibal Mukhopadhyay (DATE, 2013)

Characterization of radiation-induced SRAM and logic soft errors from 0.33V to 1.0V in 65nm CMOS. - Robert Pawlowski; Joseph Crop; Minki Cho; James W. Tschanz; Vivek De; Thomas Fairbanks; Heather Quinn; Shekhar Borkar; Patrick Yin Chiang (CICC, 2014)

Aging-aware Adaptive Voltage Scaling in 22nm high-K/metal-gate tri-gate CMOS. - Minki Cho; Carlos Tokunaga; Muhammad M. Khellah; James W. Tschanz; Vivek De (CICC, 2015)

8.4 Post-silicon voltage-guard-band reduction in a 22nm graphics execution core using adaptive voltage scaling and dynamic power gating. - Minki Cho; Stephen T. Kim; Carlos Tokunaga; Charles Augustine; Jaydeep P. Kulkarni; Krishnan Ravichandran; James W. Tschanz; Muhammad M. Khellah; Vivek De (ISSCC, 2016)

Adaptive clocking with dynamic power gating for mitigating energy efficiency & performance impacts of fast voltage droop in a 22nm graphics execution core. - Minki Cho; Carlos Tokunaga; Stephen T. Kim; James W. Tschanz; Muhammad M. Khellah; Vivek De (VLSI Circuits, 2016)

Postsilicon Voltage Guard-Band Reduction in a 22 nm Graphics Execution Core Using Adaptive Voltage Scaling and Dynamic Power Gating. - Minki Cho; Stephen T. Kim; Carlos Tokunaga; Charles Augustine; Jaydeep P. Kulkarni; Krishnan Ravichandran; James W. Tschanz; Muhammad M. Khellah; Vivek De (IEEE J. Solid State Circuits, 2017)

An energy-efficient graphics processor featuring fine-grain DVFS with integrated voltage regulators, execution-unit turbo, and retentive sleep in 14nm tri-gate CMOS. - Pascal Meinerzhagen; Carlos Tokunaga; Andres Malavasi; Vaibhav A. Vaidya; Ashwin Mendon; Deepak Mathaikutty; Jaydeep Kulkarni; Charles Augustine; Minki Cho; Stephen T. Kim; George E. Matthew; Rinkle Jain; et al. (ISSCC, 2018)

An All-Digital, VMAX-Compliant, and Stable Distributed Charge Injection Scheme for Fast Mitigation of Voltage Droop. - Suyoung Bang; Minki Cho; Pascal Meinerzhagen; Andres Malavasi; Muhammad M. Khellah; James W. Tschanz; Vivek De (ESSCIRC, 2019)

Cost-function-based repetitive interval estimation method with synthetic missing bands for periodic bands in electrophotographic printer. - Wan-Eih Huang; Eric Maggard; Renee Jessome; Yousun Bang; Minki Cho; Jan P. Allebach (IQSP, 2019)

Blockwise Based Detection of Local Defects. - Xiaoyu Xiang; Renee Jessome; Eric Maggard; Yousun Bang; Minki Cho; Jan P. Allebach (IQSP, 2019)

Block window method with logistic regression algorithm for streak detection. - Runzhe Zhang; Eric Maggard; Renee Jessome; Yousun Bang; Minki Cho; Jan P. Allebach (IQSP, 2019)

An Energy-Efficient Graphics Processor in 14-nm Tri-Gate CMOS Featuring Integrated Voltage Regulators for Fine-Grain DVFS, Retentive Sleep, and ${V}_{ text{MIN}}$ Optimization. - Pascal Andreas Meinerzhagen; Carlos Tokunaga; Andres Malavasi; Vaibhav A. Vaidya; Ashwin Mendon; Deepak Mathaikutty; Jaydeep Kulkarni; Charles Augustine; Minki Cho; Stephen T. Kim; George E. Matthew; Rinkle Jain; et al. (IEEE J. Solid State Circuits, 2019)

Region of interest extraction for image quality assessment. - Runzhe Zhang; Eric Maggard; Yousun Bang; Minki Cho; Jan P. Allebach (IQSP, 2020)

A comprehensive system for analyzing the presence of print quality defects. - Runzhe Zhang; Yi Yang 050; Eric Maggard; Yousun Bang; Minki Cho; Jan P. Allebach (IQSP, 2020)

Promising 2.0: global optimizations in relaxed memory concurrency. - Sung-Hwan Lee 001; Minki Cho; Anton Podkopaev; Soham Chakraborty 001; Chung-Kil Hur; Ori Lahav 001; Viktor Vafeiadis (PLDI, 2020)

An All-Digital, $V_{ mathrm{MAX}}$ -Compliant, Stable, and Scalable Distributed Charge Injection Scheme in 10-nm CMOS for Fast and Local Mitigation of Voltage Droop. - Suyoung Bang; Minki Cho; Pascal Andreas Meinerzhagen; Andres Malavasi; Muhammad M. Khellah; James W. Tschanz; Vivek De (IEEE J. Solid State Circuits, 2020)

CompCertM: CompCert with C-assembly linking and lightweight modular verification. - Youngju Song; Minki Cho; Dongjoo Kim; Yonghyun Kim; Jeehoon Kang; Chung-Kil Hur (Proc. ACM Program. Lang., 2020)

Banding defect detection and image quality classification. - Yi Yang 050; Eric Maggard; Yousun Bang; Minki Cho; Jan P. Allebach (Color Imaging: Displaying, Processing, Hardcopy, and Applications, 2021)

Color Text Fading Detection. - Runzhe Zhang; Eric Maggard; Yousun Bang; Minki Cho; Mark Q. Shaw; Jan P. Allebach (Color Imaging: Displaying, Processing, Hardcopy, and Applications, 2021)

Streak Detection in Color Printed Customer Content. - Runzhe Zhang; Eric Maggard; Yousun Bang; Minki Cho; Mark Q. Shaw; Jan P. Allebach (Color Imaging: Displaying, Processing, Hardcopy, and Applications, 2021)

Modular data-race-freedom guarantees in the promising semantics. - Minki Cho; Sung-Hwan Lee 001; Chung-Kil Hur; Ori Lahav 001 (PLDI, 2021)

Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic. - Youngju Song; Minki Cho; Dongjae Lee; Chung-Kil Hur (CoRR, 2021)

A Back-Sampling Chain Technique for Accelerated Detection, Characterization, and Reconstruction of Radiation-Induced Transient Pulses. - Saurabh Kumar 003; Minki Cho; Luke R. Everson; Andres Malavasi; Dan Lake; Carlos Tokunaga; Muhammad M. Khellah; James W. Tschanz; Vivek De; Chris H. Kim (IEEE Trans. Very Large Scale Integr. Syst., 2021)

Measuring colorant fading within raster regions of printed scanned customer content using a novel unsupervised clustering method. - Runzhe Zhang; Yousun Bang; Minki Cho; Mark Q. Shaw; Jan P. Allebach (Color Imaging: Displaying, Processing, Hardcopy, and Applications, 2022)

Q&R On-Chip (QROC): A Unified, Oven-less and Scalable Circuit Reliability Platform. - Ketul B. Sutaria; Minki Cho; Anisur Rahman; Jihan Standfest; Rahul Sharma; Swaroop Kumar Namalapuri; Shiv Gupta; Bahar Ajdari; Ricardo Ascázubi; Balkaran Gill (IRPS, 2022)

Sequential reasoning for optimizing compilers under weak memory concurrency. - Minki Cho; Sung-Hwan Lee 001; Dongjae Lee; Chung-Kil Hur; Ori Lahav 001 (PLDI, 2022)

Conditional Contextual Refinement (CCR). - Youngju Song; Minki Cho; Dongjae Lee; Chung-Kil Hur (CoRR, 2022)

Snore Sound Recognition via an Explainable Capsule Network. - Minki Cho; Zhonghao Zhao; Zhihua Wang; Kun Qian 003; Bin Hu 001; Yoshiharu Yamamoto; Björn W. Schuller (GCCE, 2023)

Putting Weak Memory in Order via a Promising Intermediate Representation. - Sung-Hwan Lee 001; Minki Cho; Roy David Margalit; Chung-Kil Hur; Ori Lahav 001 (Proc. ACM Program. Lang., 2023)

Fair Operational Semantics. - Dongjae Lee; Minki Cho; Jinwoo Kim; Soonwon Moon; Youngju Song; Chung-Kil Hur (Proc. ACM Program. Lang., 2023)

Conditional Contextual Refinement. - Youngju Song; Minki Cho; Dongjae Lee; Chung-Kil Hur; Michael Sammler; Derek Dreyer (Proc. ACM Program. Lang., 2023)

Stuttering for Free. - Minki Cho; Youngju Song; Dongjae Lee; Lennard Gäher; Derek Dreyer (Proc. ACM Program. Lang., 2023)

Adaptive Clock Gating for Improving Wear out induced Duty Cycle Shift in the Clock Network. - Minki Cho; Balkaran Gill; Rahul Sharma; Shiv Gupta (IRPS, 2024)

Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting. - Yonghyun Kim; Minki Cho; Jaehyung Lee; Jinwoo Kim; Taeyoung Yoon; Youngju Song; Chung-Kil Hur (Proc. ACM Program. Lang., 2025)

Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness. - Dongjae Lee; Janggun Lee; Taeyoung Yoon; Minki Cho; Jeehoon Kang; Chung-Kil Hur (Proc. ACM Program. Lang., 2025)

CCR 2.0: High-level Reasoning for Conditional Refinements. - Youngju Song; Minki Cho (CoRR, 2025)