팔로우
Woosuk Lee
Woosuk Lee
hanyang.ac.kr의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
1472018
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
1372018
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
1332012
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
752018
Sound non-statistical clustering of static analysis alarms
W Lee, W Lee, K Yi
Verification, Model Checking, and Abstract Interpretation: 13th …, 2012
592012
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
252021
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
252020
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
232021
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
192017
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
92023
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
72023
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
Context-Aware and Data-Driven Feedback Generation for Programming Assignments. Association for Computing Machinery, New York, NY, USA, 328–340
D Song, W Lee, H Oh
52021
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20