Minki Cho - RankMe

50 papers A* 3A 3Journal 18Unranked 26

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting. Proc. ACM Program. Lang. Yonghyun Kim, Minki Cho, Jaehyung Lee, Jinwoo Kim, TaeYoung Yoon, Youngju Song, Chung-Kil Hur
2025	J	`jnl`	CCR 2.0: High-level Reasoning for Conditional Refinements. CoRR Youngju Song, Minki Cho
2025	J	`jnl`	Computer audition for healthcare: A survey on speech analysis. AI Open Kun Qian, Zhonghao Zhao, Yang Tan, Weijia Zhang, Minki Cho, Cuiping Zhu, Fuze Tian, Bin Hu, Yoshiharu Yamamoto, Björn W. Schuller
2025	J	`jnl`	Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness. Proc. ACM Program. Lang. Dongjae Lee, Janggun Lee, TaeYoung Yoon, Minki Cho, Jeehoon Kang, Chung-Kil Hur
2024	—	`conf`	Adaptive Clock Gating for Improving Wear out induced Duty Cycle Shift in the Clock Network. IRPS Minki Cho, Balkaran Gill, Rahul Sharma, Shiv Gupta
2023	J	`jnl`	Conditional Contextual Refinement. Proc. ACM Program. Lang. Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Sammler, Derek Dreyer
2023	J	`jnl`	Fair Operational Semantics. Proc. ACM Program. Lang. Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, Chung-Kil Hur
2023	J	`jnl`	Putting Weak Memory in Order via a Promising Intermediate Representation. Proc. ACM Program. Lang. Sung-Hwan Lee, Minki Cho, Roy David Margalit, Chung-Kil Hur, Ori Lahav
2023	—	`conf`	Snore Sound Recognition via an Explainable Capsule Network. GCCE Minki Cho, Zhonghao Zhao, Zhihua Wang, Kun Qian, Bin Hu, Yoshiharu Yamamoto, Björn W. Schuller
2023	J	`jnl`	Stuttering for Free. Proc. ACM Program. Lang. Minki Cho, Youngju Song, Dongjae Lee, Lennard Gäher, Derek Dreyer
2022	J	`jnl`	Conditional Contextual Refinement (CCR). CoRR Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur
2022	—	`conf`	Measuring colorant fading within raster regions of printed scanned customer content using a novel unsupervised clustering method. Color Imaging: Displaying, Processing, Hardcopy, and Applications Runzhe Zhang, Yousun Bang, Minki Cho, Mark Q. Shaw, Jan P. Allebach
2022	—	`conf`	Q&R On-Chip (QROC): A Unified, Oven-less and Scalable Circuit Reliability Platform. IRPS Ketul B. Sutaria, Minki Cho, Anisur Rahman, Jihan Standfest, Rahul Sharma, Swaroop Kumar Namalapuri, Shiv Gupta, Bahar Ajdari, Ricardo Ascázubi, Balkaran Gill
2022	A*	`conf`	Sequential reasoning for optimizing compilers under weak memory concurrency. PLDI Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav
2021	J	`jnl`	A Back-Sampling Chain Technique for Accelerated Detection, Characterization, and Reconstruction of Radiation-Induced Transient Pulses. IEEE Trans. Very Large Scale Integr. Syst. Saurabh Kumar, Minki Cho, Luke R. Everson, Andres Malavasi, Dan Lake, Carlos Tokunaga, Muhammad M. Khellah, James W. Tschanz, Vivek De, Chris H. Kim
2021	J	`jnl`	Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic. CoRR Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur
2021	—	`conf`	Banding defect detection and image quality classification. Color Imaging: Displaying, Processing, Hardcopy, and Applications Yi Yang, Eric Maggard, Yousun Bang, Minki Cho, Jan P. Allebach
2021	—	`conf`	Color Text Fading Detection. Color Imaging: Displaying, Processing, Hardcopy, and Applications Runzhe Zhang, Eric Maggard, Yousun Bang, Minki Cho, Mark Q. Shaw, Jan P. Allebach
2021	A*	`conf`	Modular data-race-freedom guarantees in the promising semantics. PLDI Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav
2021	—	`conf`	Streak Detection in Color Printed Customer Content. Color Imaging: Displaying, Processing, Hardcopy, and Applications Runzhe Zhang, Eric Maggard, Yousun Bang, Minki Cho, Mark Q. Shaw, Jan P. Allebach
2020	—	`conf`	A comprehensive system for analyzing the presence of print quality defects. IQSP Runzhe Zhang, Yi Yang, Eric Maggard, Yousun Bang, Minki Cho, Jan P. Allebach
2020	J	`jnl`	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. IEEE J. Solid State Circuits Suyoung Bang, Minki Cho, Pascal Andreas Meinerzhagen, Andres Malavasi, Muhammad M. Khellah, James W. Tschanz, Vivek De
2020	J	`jnl`	CompCertM: CompCert with C-assembly linking and lightweight modular verification. Proc. ACM Program. Lang. Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur
2020	A*	`conf`	Promising 2.0: global optimizations in relaxed memory concurrency. PLDI Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis
2020	—	`conf`	Region of interest extraction for image quality assessment. IQSP Runzhe Zhang, Eric Maggard, Yousun Bang, Minki Cho, Jan P. Allebach
2019	—	`conf`	An All-Digital, VMAX-Compliant, and Stable Distributed Charge Injection Scheme for Fast Mitigation of Voltage Droop. ESSCIRC Suyoung Bang, Minki Cho, Pascal Meinerzhagen, Andres Malavasi, Muhammad M. Khellah, James W. Tschanz, Vivek De
2019	J	`jnl`	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. IEEE J. Solid State Circuits Pascal Andreas Meinerzhagen, Carlos Tokunaga, Andres Malavasi, Vaibhav A. Vaidya, Ashwin Mendon, Deepak Mathaikutty, Jaydeep P. Kulkarni, Charles Augustine, Minki Cho, Stephen T. Kim, George E. Matthew, Rinkle Jain, Joseph F. Ryan, Chung-Ching Peng, Somnath Paul, Sriram R. Vangal, Brando Perez Esparza, Luis Cuellar, Michael Woodman, Bala Iyer, Subramaniam Maiyuran, Gautham N. Chinya, Xiang Zou, Yuyun Liao, Krishnan Ravichandran, Hong Wang, Muhammad M. Khellah, James W. Tschanz, Vivek De
2019	—	`conf`	Block window method with logistic regression algorithm for streak detection. IQSP Runzhe Zhang, Eric Maggard, Renee Jessome, Yousun Bang, Minki Cho, Jan P. Allebach
2019	—	`conf`	Blockwise Based Detection of Local Defects. IQSP Xiaoyu Xiang, Renee Jessome, Eric Maggard, Yousun Bang, Minki Cho, Jan P. Allebach
2019	J	`jnl`	Blockwise Based Detection of Local Defects. CoRR Xiaoyu Xiang, Renee Jessome, Eric Maggard, Yousun Bang, Minki Cho, Jan P. Allebach
2019	—	`conf`	Cost-function-based repetitive interval estimation method with synthetic missing bands for periodic bands in electrophotographic printer. IQSP Wan-Eih Huang, Eric Maggard, Renee Jessome, Yousun Bang, Minki Cho, Jan P. Allebach
2018	—	`conf`	An energy-efficient graphics processor featuring fine-grain DVFS with integrated voltage regulators, execution-unit turbo, and retentive sleep in 14nm tri-gate CMOS. ISSCC Pascal Meinerzhagen, Carlos Tokunaga, Andres Malavasi, Vaibhav A. Vaidya, Ashwin Mendon, Deepak Mathaikutty, Jaydeep P. Kulkarni, Charles Augustine, Minki Cho, Stephen T. Kim, George E. Matthew, Rinkle Jain, Joseph F. Ryan, Chung-Ching Peng, Somnath Paul, Sriram R. Vangal, Brando Perez Esparza, Luis Cuellar, Michael Woodman, Bala Iyer, Subramaniam Maiyuran, Gautham N. Chinya, Chris Zou, Yuyun Liao, Krishnan Ravichandran, Hong Wang, Muhammad M. Khellah, James W. Tschanz, Vivek De
2017	J	`jnl`	Postsilicon Voltage Guard-Band Reduction in a 22 nm Graphics Execution Core Using Adaptive Voltage Scaling and Dynamic Power Gating. IEEE J. Solid State Circuits Minki Cho, Stephen T. Kim, Carlos Tokunaga, Charles Augustine, Jaydeep P. Kulkarni, Krishnan Ravichandran, James W. Tschanz, Muhammad M. Khellah, Vivek De
2016	—	`conf`	8.4 Post-silicon voltage-guard-band reduction in a 22nm graphics execution core using adaptive voltage scaling and dynamic power gating. ISSCC Minki Cho, Stephen T. Kim, Carlos Tokunaga, Charles Augustine, Jaydeep P. Kulkarni, Krishnan Ravichandran, James W. Tschanz, Muhammad M. Khellah, Vivek De
2016	—	`conf`	Adaptive clocking with dynamic power gating for mitigating energy efficiency & performance impacts of fast voltage droop in a 22nm graphics execution core. VLSI Circuits Minki Cho, Carlos Tokunaga, Stephen T. Kim, James W. Tschanz, Muhammad M. Khellah, Vivek De
2015	—	`conf`	Aging-aware Adaptive Voltage Scaling in 22nm high-K/metal-gate tri-gate CMOS. CICC Minki Cho, Carlos Tokunaga, Muhammad M. Khellah, James W. Tschanz, Vivek De
2014	—	`conf`	Characterization of radiation-induced SRAM and logic soft errors from 0.33V to 1.0V in 65nm CMOS. CICC Robert Pawlowski, Joseph Crop, Minki Cho, James W. Tschanz, Vivek De, Thomas Fairbanks, Heather Quinn, Shekhar Borkar, Patrick Yin Chiang
2013	A	`conf`	Perceptual quality preserving SRAM architecture for color motion pictures. DATE Wen Yueh, Minki Cho, Saibal Mukhopadhyay
2012	—	`conf`	Characterization of Inverse Temperature Dependence in logic circuits. CICC Minki Cho, Muhammad M. Khellah, Kwanyeob Chae, Khondker Zakir Ahmed, James W. Tschanz, Saibal Mukhopadhyay
2012	—	`conf`	Low-power design under variation using error prevention and error tolerance (invited paper). LATW Kwanyeob Chae, Minki Cho, Saibal Mukhopadhyay
2011	J	`jnl`	Reconfigurable SRAM Architecture With Spatial Voltage Scaling for Low Power Mobile Multimedia Applications. IEEE Trans. Very Large Scale Integr. Syst. Minki Cho, Jason Schlessman, Marilyn Wolf, Saibal Mukhopadhyay
2010	A	`conf`	Design method and test structure to characterize and repair TSV defect induced signal degradation in 3D system. ICCAD Minki Cho, Chang Liu, Dae Hyun Kim, Sung Kyu Lim, Saibal Mukhopadhyay
2010	A	`conf`	Optimization of burn-in test for many-core processors through adaptive spatiotemporal power migration. ITC Minki Cho, Nikhil Sathe, Arijit Raychowdhury, Saibal Mukhopadhyay
2010	J	`jnl`	Postsilicon Adaptation for Low-Power SRAM under Process Variation. IEEE Des. Test Comput. Minki Cho, Jason Schlessman, Hamid Mahmoodi, Marilyn Wolf, Saibal Mukhopadhyay
2010	—	`conf`	Signal processing methods and hardware-structure for on-line characterization of thermal gradients in many-core processors. ISQED Minki Cho, Saibal Mukhopadhyay
2009	—	`conf`	Accuracy-aware SRAM: a reconfigurable low power SRAM architecture for mobile multimedia applications. ASP-DAC Minki Cho, Jason Schlessman, Wayne H. Wolf, Saibal Mukhopadhyay
2008	—	`conf`	Analysis of the impact of interfacial oxide thickness variation on metal-gate high-K circuits. CICC Minki Cho, Kingsuk Maitra, Saibal Mukhopadhyay
2007	—	`conf`	Gamut mapping method for ICC saturated intent. Color Imaging: Processing, Hardcopy, and Applications Minki Cho, Heui-Keun Choh, Se-Eun Kim, Yun-Tae Kim, Yousun Bang
2006	—	`conf`	Black extraction method using gamut boundary descriptors. Color Imaging: Processing, Hardcopy, and Applications Minki Cho, Byoung-Ho Kang, Heui-Keun Choh
2006	—	`conf`	Perceptual gamut mapping on the basis of image quality and preference factors. Color Imaging: Processing, Hardcopy, and Applications Byoung-Ho Kang, Minki Cho, Heui-Keun Choh, Chang-Yeong Kim