Woosuk Lee -

Registered user since Fri 20 Nov 2015

Name:Woosuk Lee

Country:South Korea

Affiliation:Hanyang University

Personal website: https://psl.hanyang.ac.kr

Research interests:Program Analysis, Program Synthesis

Contributions

2025

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

PLDI

Workshops Co-Chair in Organizing Committee

POPL

Committee Member in Program Committee within the POPL-track

2024

APLAS

Committee Member in Selection Committee within the SRC & Posters-track

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2023

APLAS

PC Member in Program Committee within the APLAS 2023-track

PLDI

Author of Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation within the PLDI Research Papers-track

POPL

Author of Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions within the POPL-track

2022

ESEC/FSE

Author of Context-Aware and Data-Driven Feedback Generation for Programming Assignments within the ESEC/FSE 2021-track

PLDI

Author of (PLDI 2020) Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting within the SIGPLAN Track-track

POPL

2021

ICFP

Session Chair of Ask Me Anything (part of Social Events)

ESEC/FSE

Author of Context-Aware and Data-Driven Feedback Generation for Programming Assignments within the Research Papers-track

PLDI

Committee Member in Program Committee within the PLDI-track

POPL

Author of Combining the Top-down Propagation and Bottom-up Enumeration for Inductive Program Synthesis within the POPL-track

2020

TAPAS

Committee Member in Program Committee within the TAPAS-track

ICSE

Programme Committee in Program Committee within the Software Engineering in Practice-track

PLDI

Author of Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting within the PLDI Research Papers-track

2019

PLDI

Committee Member in Program Committee within the PLDI Research Papers-track