Wontae Choi

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 5

Top Topics

Highly Structured

Graphical User Interface

Semantic Constraints

Top Venues

IEEE Robotics Autom. Lett.

J. Comput. Lang.

Publications

Sang-Hyun Je, Wontae Choi, Kwangjin Oh
Unifying Structure and Language Semantic for Efficient Contrastive Knowledge Graph Completion with Structured Entity Anchors. CoRR (2023)
Jungwook Suh, Wontae Choi
Design and Verification of Parallelogram Mechanism With Geared Unit Rolling Joints for Reliable Wiring. IEEE Robotics Autom. Lett. 8 (6) (2023)
Fadi Yilmaz, Meera Sridhar, Wontae Choi
Guide Me to Exploit: Assisted ROP Exploit Generation for ActionScript Virtual Machine. ACSAC (2020)
Wontae Choi, Jayanthkumar Kannan, Domagoj Babic
A scalable, flow-and-context-sensitive taint analysis of android applications. J. Comput. Lang. 51 (2019)
Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang
DetReduce: minimizing Android GUI test suites for regression testing. ICSE (2018)
Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen
SJS: A Type System for JavaScript with Fixed Object Layout. SAS (2015)
Koushik Sen, George C. Necula, Liang Gong, Wontae Choi
MultiSE: multi-path symbolic execution using value summaries. ESEC/SIGSOFT FSE (2015)
Wontae Choi, George C. Necula, Koushik Sen
Guided GUI testing of android apps with minimal restart and approximate learning. OOPSLA (2013)
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
The implicit calculus: a new foundation for generic programming. PLDI (2012)
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
Extended Report: The Implicit Calculus CoRR (2012)
Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta
Static analysis of multi-staged programs via unstaging translation. POPL (2011)
Homin Kwon, Hagyong Han, Sungmok Lee, Wontae Choi, Bongsoon Kang
New video enhancement preprocessor using the region-of-interest for the videoconferencing. IEEE Trans. Consumer Electron. 56 (4) (2010)
Wonwoo Jang, Hagyong Han, Wontae Choi, Gidong Lee, Bongsoon Kang
-Means Method for Color Moving Pictures. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2010)
Soonho Kong, Wontae Choi, Kwangkeun Yi
Abstract parsing for two-staged languages with concatenation. GPCE (2009)
Jooyoung Ha, Sungmok Lee, Taeeung Kim, Wontae Choi, Bongsoon Kang
A New Approach to Color Adjustment for Mobile Application Displays with a Skin Protection Algorithm on a CIE1931 Diagram. IEEE Trans. Consumer Electron. 53 (1) (2007)