Woosuk Lee

Registered user since Fri 20 Nov 2015

Name:Woosuk Lee
Country:South Korea
Affiliation:Hanyang University
Research interests:Program Analysis, Program Synthesis

Contributions

PLDI 2023 Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
Show activities from other conferences

Using general profile