Woosuk Lee
Woosuk Lee
Verified email at hanyang.ac.kr - Homepage
Title
Cited by
Cited by
Year
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
972012
Sound non-statistical clustering of static analysis alarms
W Lee, W Lee, K Yi
International Workshop on Verification, Model Checking, and Abstract …, 2012
422012
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
382018
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
382018
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
232014
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
202018
A progress bar for static analyzers
W Lee, H Oh, K Yi
International Static Analysis Symposium, 184-200, 2014
92014
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
52017
Sparrow
H Oh, K Heo, W Lee, W Lee, K Yi
52014
Static analysis with set-closure in secrecy
W Lee, H Hong, K Yi, JH Cheon
International Static Analysis Symposium, 18-35, 2015
42015
Difflog: Learning Datalog Programs by Continuous Optimization
M Raghothaman, X Si, K Heo, M Naik
22019
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 term rewriting.
DK Lee, W Lee, H Oh, K Yi
PLDI, 503-518, 2020
2020
DIFFLOG: Beyond Deductive Methods in Program Analysis
M Raghothaman, S Kulkarni, R Zhang, X Si, K Heo, W Lee, M Naik
Sound Non-Statistical Clustering of Static Analysis Alarms (Technical memo (DRAFT))
W Lee, W Lee, K Yi
The system can't perform the operation now. Try again later.
Articles 1–15