Wontae Choi I am a Senior Software Engineer at Google, working on static program analysis tools for C++ programs. Before that, I worked on a static security analysis tool for Android applications (internally known as DeepDive). Before joining Google, I've worked on various programming system research projects as a graduate student.

Education

• Dec. 2017, Ph.D, EECS, UC Berkeley (advisors: Koushik Sen and George Necula)
• 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)
• Conference Sub-Reviewer: SAS'09, ESOP'11, FSE'12, POPL'12, OOPSLA'13, POPL'14, PLDI'14, CAV'14, POPL'15, PLDI'15, CAV'15, ASPLOS'15, ICSE'15, ISSTA'15, Mobisoft'15, ISSTA'16, PLDI'17, SAS'18

Teaching

• Spring 2016, Teaching Assistant, UC Berkeley CS164, Programming Languages and Compilers
• Spring 2014, Teaching Assistant, UC Berkeley CS164, Programming Languages and Compilers
• Spring 2009, Teaching Assistant, SNU 4541.664A, Program Analysis
• Fall 2008, Teaching Assistant, SNU 4190.210, Principles of Programming
• Fall 2008, Teaching Assistant, SNU 4190.310, Programming Languages

---

Email : wtchoi.kr(at)gmail.com
Address : 6363 Christie Ave #1126, Emeryville, CA 94608, United Stated