| 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 | 505 | 2013 |
| 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 | 155 | 2015 |
| 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 | 40 | 2018 |
| 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 | 39 | 2011 |
| 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 | 33 | 2012 |
| 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 | 6 | 2020 |
| Abstract parsing for two-staged languages with concatenation S Kong, W Choi, K Yi ACM Sigplan Notices 45 (2), 109-116, 2009 | 4 | 2009 |
| 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 | 2 | 2019 |
| 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 |
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
