| Effective program debloating via reinforcement learning K Heo, W Lee, P Pashakhanloo, M Naik Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 166 | 2018 |
| Accelerating search-based program synthesis using learned probabilistic models W Lee, K Heo, R Alur, M Naik ACM SIGPLAN Notices 53 (4), 436-449, 2018 | 149 | 2018 |
| Design and implementation of sparse global analyses for C-like languages H Oh, K Heo, W Lee, W Lee, K Yi Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012 | 135 | 2012 |
| Syntax-guided synthesis of datalog programs X Si, W Lee, R Zhang, A Albarghouthi, P Koutris, M Naik Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 79 | 2018 |
| Sound non-statistical clustering of static analysis alarms W Lee, W Lee, K Yi Verification, Model Checking, and Abstract Interpretation: 13th …, 2012 | 61 | 2012 |
| Optimizing homomorphic evaluation circuits by program synthesis and term rewriting DK Lee, W Lee, H Oh, K Yi Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 32 | 2020 |
| Global sparse analysis framework H Oh, K Heo, W Lee, W Lee, D Park, J Kang, K Yi ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (3), 1-44, 2014 | 29 | 2014 |
| Combining the top-down propagation and bottom-up enumeration for inductive program synthesis W Lee Proceedings of the ACM on Programming Languages 5 (54), 2021 | 28 | 2021 |
| Context-aware and data-driven feedback generation for programming assignments D Song, W Lee, H Oh Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 26 | 2021 |
| Sound Non-Statistical Clustering of Static Analysis Alarms W Lee, W Lee, D Kang, K Heo, H Oh, K Yi ACM Transactions on Programming Languages and Systems 39 (4), Article No. 16, 2017 | 19 | 2017 |
| Inductive synthesis of structurally recursive functional programs from non-recursive expressions W Lee, H Cho Proceedings of the ACM on Programming Languages 7 (POPL), 2048-2078, 2023 | 15 | 2023 |
| A progress bar for static analyzers W Lee, H Oh, K Yi Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014 | 13 | 2014 |
| Inductive program synthesis via iterative forward-backward abstract interpretation Y Yoon, W Lee, K Yi Proceedings of the ACM on Programming Languages 7 (PLDI), 1657-1681, 2023 | 12 | 2023 |
| Static analysis with set-closure in secrecy W Lee, H Hong, K Yi, JH Cheon Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015 | 6 | 2015 |
| The Sparrow static analyzer H Oh, K Heo, W Lee, W Lee, K Yi | 5 | 2012 |
| Sparrow H Oh, K Heo, W Lee, W Lee, K Yi | 4 | 2014 |
| Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting J Lee, W Lee Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 2 | 2023 |
| SHOVEL: A SAT-based Tool for Information Flow Alarm Classification JG Kim, W Lee, J Choi, CK Hur, K Yi | 2 | |
| Optimizing homomorphic evaluation circuits by program synthesis and time-bounded exhaustive search D Lee, W Lee, H Oh, K Yi ACM Transactions on Programming Languages and Systems 45 (3), 1-37, 2023 | 1 | 2023 |
| Madusa: mobile application demo generation based on usage scenarios J Lee, H Cho, W Lee Automated Software Engineering 30 (1), 8, 2023 | | 2023 |
Kwangkeun YiProfessor of Computer Science & Engineering, Seoul National UniversityVerified email at ropas.snu.ac.kr
