Woosuk Lee

Woosuk Lee

Hanyang University - Seoul / South Korea
Engineering & Technology / Computer Science
AD Scientific Index ID: 406746
한양대학교
person_outline Woosuk Lee's MOST POPULAR ARTICLES
1-) Effective program debloating via reinforcement learningK Heo, W Lee, P Pashakhanloo, M NaikProceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 20181302018
2-) Accelerating search-based program synthesis using learned probabilistic modelsW Lee, K Heo, R Alur, M NaikACM SIGPLAN Notices 53 (4), 436-449, 20181272018
3-) Design and implementation of sparse global analyses for C-like languagesH Oh, K Heo, W Lee, W Lee, K YiProceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 20121242012
4-) Syntax-guided synthesis of datalog programsX Si, W Lee, R Zhang, A Albarghouthi, P Koutris, M NaikProceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018802018
5-) Sound non-statistical clustering of static analysis alarmsW Lee, W Lee, K YiVerification, Model Checking, and Abstract Interpretation: 13th …, 2012592012