| 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 | 132 | 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 | 124 | 2012 |
| 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 | 121 | 2018 |
| 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 | 69 | 2018 |
| Sound non-statistical clustering of static analysis alarms W Lee, W Lee, K Yi Verification, Model Checking, and Abstract Interpretation: 13th …, 2012 | 57 | 2012 |
| 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 | 25 | 2014 |
| 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 | 24 | 2020 |
| 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 | 18 | 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 | 17 | 2017 |
| 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 | 16 | 2021 |
| A progress bar for static analyzers W Lee, H Oh, K Yi Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014 | 9 | 2014 |
| 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 | 5 | 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 | 4 | 2015 |
| Sparrow H Oh, K Heo, W Lee, W Lee, K Yi | 4 | 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 | 2 | 2023 |
| SHOVEL: A SAT-based Tool for Information Flow Alarm Classification JG Kim, W Lee, J Choi, CK Hur, K Yi | 1 | |
| Madusa: mobile application demo generation based on usage scenarios J Lee, H Cho, W Lee Automated Software Engineering 30 (1), 8, 2023 | | 2023 |
| Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-Bounded Exhaustive Search D LEE, W LEE, H OH, K YI | | 2023 |
| Datalog Static Analysis in Secrecy M Kouhounestani, W Lee IEEE Access 10, 56179-56192, 2022 | | 2022 |
| DIFFLOG: Beyond Deductive Methods in Program Analysis M Raghothaman, S Kulkarni, R Zhang, X Si, K Heo, W Lee, M Naik | | |
Kwangkeun YiProfessor of Computer Science & Engineering, Seoul National UniversityVerified email at ropas.snu.ac.kr
