Follow
Woosuk Lee
Woosuk Lee
Verified email at hanyang.ac.kr - Homepage
Title
Cited by
Cited by
Year
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
1432018
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
1352018
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
1312012
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
702018
Sound non-statistical clustering of static analysis alarms
W Lee, W Lee, K Yi
Verification, Model Checking, and Abstract Interpretation: 13th …, 2012
582012
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
292014
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
242021
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
242020
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
222021
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
182017
A progress bar for static analyzers
W Lee, H Oh, K Yi
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014
112014
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
82023
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
62015
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
52023
Sparrow
H Oh, K Heo, W Lee, W Lee, K Yi
42014
The Sparrow static analyzer
H Oh, K Heo, W Lee, W Lee, K Yi
42012
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
12023
Madusa: mobile application demo generation based on usage scenarios
J Lee, H Cho, W Lee
Automated Software Engineering 30 (1), 8, 2023
2023
Datalog Static Analysis in Secrecy
M Kouhounestani, W Lee
IEEE Access 10, 56179-56192, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20