Registered user since Tue 11 Apr 2023

Name:Yongho Yoon
Bio:
Country:South Korea
Affiliation:Seoul National University
Research interests:Static Analysis, Abstract Interpretation, Program Synthesis

Contributions

PLDI 2023 Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
Show activities from other conferences

Using general profile