
Registered user since Fri 20 Nov 2015
Name:Woosuk Lee
Country:South Korea
Affiliation:Hanyang University
Personal website:http://ropas.snu.ac.kr/~wslee/
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