A New Approach to Color Adjustment for Mobile Application Displays with a Skin Protection Algorithm on a CIE1931 Diagram. - Jooyoung Ha; Sungmok Lee; Taeeung Kim; Wontae Choi; Bongsoon Kang (IEEE Trans. Consumer Electron., 2007)

Abstract parsing for two-staged languages with concatenation. - Soonho Kong; Wontae Choi; Kwangkeun Yi (GPCE, 2009)

Improvement of Ringing Artifact Reduction Using a K-Means Method for Color Moving Pictures. - Wonwoo Jang; Hagyong Han; Wontae Choi; Gidong Lee; Bongsoon Kang (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010)

New video enhancement preprocessor using the region-of-interest for the videoconferencing. - Homin Kwon; Hagyong Han; Sungmok Lee; Wontae Choi; Bongsoon Kang (IEEE Trans. Consumer Electron., 2010)

Static analysis of multi-staged programs via unstaging translation. - Wontae Choi; Baris Aktemur; Kwangkeun Yi; Makoto Tatsuta (POPL, 2011)

The implicit calculus: a new foundation for generic programming. - Bruno C. d. S. Oliveira; Tom Schrijvers; Wontae Choi; Wonchan Lee; Kwangkeun Yi (PLDI, 2012)

Extended Report: The Implicit Calculus - Bruno C. d. S. Oliveira; Tom Schrijvers; Wontae Choi; Wonchan Lee; Kwangkeun Yi (CoRR, 2012)

Guided GUI testing of android apps with minimal restart and approximate learning. - Wontae Choi; George C. Necula; Koushik Sen (OOPSLA, 2013)

SJS: A Type System for JavaScript with Fixed Object Layout. - Wontae Choi; Satish Chandra 001; George C. Necula; Koushik Sen (SAS, 2015)

MultiSE: multi-path symbolic execution using value summaries. - Koushik Sen; George C. Necula; Liang Gong; Wontae Choi (ESEC/SIGSOFT FSE, 2015)

Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning. - Wontae Choi (2017)

DetReduce: minimizing Android GUI test suites for regression testing. - Wontae Choi; Koushik Sen; George C. Necula; Wenyu Wang (ICSE, 2018)

A scalable, flow-and-context-sensitive taint analysis of android applications. - Wontae Choi; Jayanthkumar Kannan; Domagoj Babic (J. Comput. Lang., 2019)

Guide Me to Exploit: Assisted ROP Exploit Generation for ActionScript Virtual Machine. - Fadi Yilmaz; Meera Sridhar; Wontae Choi (ACSAC, 2020)

Unifying Structure and Language Semantic for Efficient Contrastive Knowledge Graph Completion with Structured Entity Anchors. - Sang-Hyun Je; Wontae Choi; Kwangjin Oh (CoRR, 2023)

Design and Verification of Parallelogram Mechanism With Geared Unit Rolling Joints for Reliable Wiring. - Jungwook Suh; Wontae Choi (IEEE Robotics Autom. Lett., 2023)