Woosuk Lee -

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

POPL 2023	Author of Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions within the POPL-track
ESEC/FSE 2022	Author of Context-Aware and Data-Driven Feedback Generation for Programming Assignments within the ESEC/FSE 2021-track
PLDI 2022	Author of (PLDI 2020) Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting within the SIGPLAN Track-track
POPL 2022	Committee Member in Selection Committee within the Student Research Competition-track Committee Member in Program Committee within the POPL-track
ICFP 2021	Session Chair of Ask Me Anything (part of Social Events)
ESEC/FSE 2021	Author of Context-Aware and Data-Driven Feedback Generation for Programming Assignments within the Research Papers-track
PLDI 2021	Committee Member in Program Committee within the PLDI-track
POPL 2021	Author of Combining the Top-down Propagation and Bottom-up Enumeration for Inductive Program Synthesis within the POPL-track
TAPAS 2020	Committee Member in Program Committee within the TAPAS-track
ICSE 2020	Programme Committee in Program Committee within the Software Engineering in Practice-track
PLDI 2020	Author of Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting within the PLDI Research Papers-track
PLDI 2019	Committee Member in Program Committee within the PLDI Research Papers-track