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

POPL 2023 Inductive Synthesis of Recursive Functional Programs with Trace-based Pruning
Show activities from other conferences

Using general profile