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