Wontae Choi
I am a Senior Software Engineer at Google, working on a static security analysis tool
for Android applications (internally known as DeepDive). Previously, I have worked on various programming
system research projects.
Aug 2010, M.S., EECS, Seoul National University (adviser: Kwangkeun Yi)
Mar 2008, B.S., CS, Seoul National University
Research Interest
Static and Dynamic Program Analysis
Test Automation
Types and Semantics
Compilers
Peer-Reviewed Papers
Test Automation
Guide Me to Exploit: Assisted ROP Exploit Generation for Language Virtual Machine Fadi Yilmaz, Meera Sridhar, Wontae Choi
ACSAC'20
Experimental Analysis & Refinement of a Guided Exploit Generation Technique for Language Virtual Machines Fadi Yilmaz, Meera Sridhar, Wontae Choi
LASER Workshop'20
DetReduce: Minimizing Android GUI Test Suites for Regression Testing
[pdf / slide]
Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang
ICSE'18
MultiSE: multi-path symbolic execution using value summaries
[pdf]
Koushik Sen, George C. Necula, Liang Gong, Wontae Choi
FSE'15 (best paper)
Guided GUI Testing of Android Applications with Minimal Restart and Approximate Learning
[pdf / slide / git]
Wontae Choi, George Necula, Koushik Sen
OOPSLA'13
Programming Language and Compilers
A Scalable, Flow-and-Context-Sensitive Taint Analysis of Android Applications
[journal / pdf]
Wontae Choi, Jayanthkumar Kannan, Domagoj Babic
Journal of Computer Languages, Volume 51, April 2019
SJS: A Type System for JavaScript with Fixed Object Layout
[pdf / tech memo / slide]
Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen
SAS'15
The Implicit Calculus: A New Foundation for Generic Programming
[pdf]
Bruno C.d.S Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
PLDI'12
Static Analysis for Multi-Staged Programs via Unstaging Translation
[pdf / tech memo / slide]
Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta
POPL'11
Abstract Parsing for Two-staged Languages with Concatenation
[pdf]
Soonho Kong, Wontae Choi, Kwangkeun Yi
GPCE'09
PCC Framework for Program Generators
[pdf]
Soonho Kong, Wontae Choi, Kwangkeun Yi
PCC Workshop'09
Working Experiences
Research Internship @ Google (2015 Summer)
Research Internship @ Samsung Research America (2013 Summer, 2014 Summer)
Research Associate @ ROSAEC SNU (2010-2011)
Professional Activities
Undergraduate Research Mentor:
Yun Park (2013 Fall),
Wenyu Wang (2016 Summer)