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 Author of Inductive Synthesis of Recursive Functional Programs with Trace-based Pruning 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