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
4972013
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
1502015
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
402018
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
392011
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
332012
SJS: A type system for JavaScript with fixed object layout
W Choi, S Chandra, G Necula, K Sen
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015
25*2015
Guide me to exploit: Assisted ROP exploit generation for ActionScript virtual machine
F Yilmaz, M Sridhar, W Choi
Proceedings of the 36th Annual Computer Security Applications Conference …, 2020
62020
Abstract parsing for two-staged languages with concatenation
S Kong, W Choi, K Yi
ACM Sigplan Notices 45 (2), 109-116, 2009
42009
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
22019
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