Woosuk Lee

Effective Program Debloating via Reinforcement Learning

Kihong Heo, Woosuk Lee, Pardis Pashakhanloo et al. · 2018 · 121 citations · Full text

Software Maintenance, Engineering, Software Engineering +21

Composition-tailored ZnMgO nanoparticles for electron transport layers of highly efficient and bright InP-based quantum dot light emitting diodes

Hyungsuk Moon, Woosuk Lee, Jungwoo Kim et al. · Chemical Communications · 2019 · 107 citations

Design and implementation of sparse global analyses for C-like languages

Hakjoo Oh, Kihong Heo, Wonchan Lee et al. · 2012 · 84 citations

Global Static Analyzer, Engineering, Compiler Technology +23

Accelerating search-based program synthesis using learned probabilistic models

Woosuk Lee, Kihong Heo, Rajeev Alur et al. · 2018 · 77 citations · Full text

Artificial Intelligence, Engineering, Sygus Benchmark Problems +16

Syntax-guided synthesis of Datalog programs

Xujie Si, Woosuk Lee, Richard Zhang et al. · 2018 · 51 citations · Full text

Engineering, Software Engineering, Datalog Programs +17