Woosuk Lee - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

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

2023

POPL

Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions

Show activities from other conferences

POPL 2023-profile
View general profile