Wontae Choi

According to our database, Wontae Choi authored at least 16 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Design and Verification of Parallelogram Mechanism With Geared Unit Rolling Joints for Reliable Wiring.

Jungwook Suh, Wontae Choi

IEEE Robotics Autom. Lett., June, 2023

Unifying Structure and Language Semantic for Efficient Contrastive Knowledge Graph Completion with Structured Entity Anchors.

Sang-Hyun Je, Wontae Choi, Kwangjin Oh

CoRR, 2023

2020

Guide Me to Exploit: Assisted ROP Exploit Generation for ActionScript Virtual Machine.

Fadi Yilmaz, Meera Sridhar, Wontae Choi

Proceedings of the ACSAC '20: Annual Computer Security Applications Conference, 2020

2019

A scalable, flow-and-context-sensitive taint analysis of android applications.

Wontae Choi, Jayanthkumar Kannan, Domagoj Babic

J. Comput. Lang., 2019

2018

DetReduce: minimizing Android GUI test suites for regression testing.

Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning.

Wontae Choi

PhD thesis, 2017

2015

MultiSE: multi-path symbolic execution using value summaries.

Koushik Sen, George C. Necula, Liang Gong, Wontae Choi

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

SJS: A Type System for JavaScript with Fixed Object Layout.

Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen

Proceedings of the Static Analysis - 22nd International Symposium, 2015

2013

Guided GUI testing of android apps with minimal restart and approximate learning.

Wontae Choi, George C. Necula, Koushik Sen

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012

Extended Report: The Implicit Calculus

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi

CoRR, 2012

The implicit calculus: a new foundation for generic programming.

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Static analysis of multi-staged programs via unstaging translation.

Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

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

Improvement of Ringing Artifact Reduction Using a <i>K</i>-Means Method for Color Moving Pictures.

Wonwoo Jang, Hagyong Han, Wontae Choi, Gidong Lee, Bongsoon Kang

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010

2009

Abstract parsing for two-staged languages with concatenation.

Soonho Kong, Wontae Choi, Kwangkeun Yi

Proceedings of the Generative Programming and Component Engineering, 2009

2007

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