Follow
Wontae Choi
Wontae Choi
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Guided gui testing of android apps with minimal restart and approximate learning
W Choi, G Necula, K Sen
Acm Sigplan Notices 48 (10), 623-640, 2013
4492013
Multise: Multi-path symbolic execution using value summaries
K Sen, G Necula, L Gong, W Choi
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
1312015
Static analysis of multi-staged programs via unstaging translation
W Choi, B Aktemur, K Yi, M Tatsuta
ACM SIGPLAN Notices 46 (1), 81-92, 2011
382011
The implicit calculus: a new foundation for generic programming
BCS Oliveira, T Schrijvers, W Choi, W Lee, K Yi
ACM SIGPLAN Notices 47 (6), 35-44, 2012
322012
DetReduce: minimizing Android GUI test suites for regression testing
W Choi, K Sen, G Necula, W Wang
Proceedings of the 40th International Conference on Software Engineering …, 2018
272018
SJS: A type system for JavaScript with fixed object layout
W Choi, S Chandra, G Necula, K Sen
International Static Analysis Symposium, 181-198, 2015
24*2015
Abstract parsing for two-staged languages with concatenation
S Kong, W Choi, K Yi
ACM Sigplan Notices 45 (2), 109-116, 2009
42009
Guide me to exploit: Assisted ROP exploit generation for ActionScript virtual machine
F Yilmaz, M Sridhar, W Choi
Annual Computer Security Applications Conference, 386-400, 2020
22020
A scalable, flow-and-context-sensitive taint analysis of android applications
W Choi, J Kannan, D Babic
Journal of Computer Languages 51, 1-14, 2019
12019
Experimental Analysis & Refinement of a Guided Exploit Generation Technique for Language Virtual Machines
F Yilmaz, M Sridhar, W Choi
2020
PCC Framework for Program-Generators
S Kong, W Choi, K Yi
Proceedings of the Third International Workshop on Proof-Carrying Code and …, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–11