Wontae Choi

17 papers A* 3A 2B 2Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
MoTDiff: High-resolution Motion Trajectory estimation from a single blurred image using Diffusion models.
CoRR
Wontae Choi, Jaelin Lee, Hyung Sup Yun, Byeungwoo Jeon, Il Yong Chun
2023 J jnl
Design and Verification of Parallelogram Mechanism With Geared Unit Rolling Joints for Reliable Wiring.
IEEE Robotics Autom. Lett.
Jungwook Suh, Wontae Choi
2023 J jnl
Unifying Structure and Language Semantic for Efficient Contrastive Knowledge Graph Completion with Structured Entity Anchors.
CoRR
Sang-Hyun Je, Wontae Choi, Kwangjin Oh
2020 A conf
Guide Me to Exploit: Assisted ROP Exploit Generation for ActionScript Virtual Machine.
ACSAC
Fadi Yilmaz, Meera Sridhar, Wontae Choi
2019 J jnl
A scalable, flow-and-context-sensitive taint analysis of android applications.
J. Comput. Lang.
Wontae Choi, Jayanthkumar Kannan, Domagoj Babic
2018 A* conf
DetReduce: minimizing Android GUI test suites for regression testing.
ICSE
Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang
2017 — —
Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning.
Wontae Choi
2015 — conf
MultiSE: multi-path symbolic execution using value summaries.
ESEC/SIGSOFT FSE
Koushik Sen, George C. Necula, Liang Gong, Wontae Choi
2015 B conf
SJS: A Type System for JavaScript with Fixed Object Layout.
SAS
Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen
2013 A conf
Guided GUI testing of android apps with minimal restart and approximate learning.
OOPSLA
Wontae Choi, George C. Necula, Koushik Sen
2012 J jnl
Extended Report: The Implicit Calculus
CoRR
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
2012 A* conf
The implicit calculus: a new foundation for generic programming.
PLDI
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
2011 A* conf
Static analysis of multi-staged programs via unstaging translation.
POPL
Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta
2010 J jnl
Improvement of Ringing Artifact Reduction Using a
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Wonwoo Jang, Hagyong Han, Wontae Choi, Gidong Lee, Bongsoon Kang
2010 J jnl
New video enhancement preprocessor using the region-of-interest for the videoconferencing.
IEEE Trans. Consumer Electron.
Homin Kwon, Hagyong Han, Sungmok Lee, Wontae Choi, Bongsoon Kang
2009 B conf
Abstract parsing for two-staged languages with concatenation.
GPCE
Soonho Kong, Wontae Choi, Kwangkeun Yi
2007 J jnl
A New Approach to Color Adjustment for Mobile Application Displays with a Skin Protection Algorithm on a CIE1931 Diagram.
IEEE Trans. Consumer Electron.
Jooyoung Ha, Sungmok Lee, Taeeung Kim, Wontae Choi, Bongsoon Kang