Registered user since Tue 11 Apr 2023
Name:Yongho Yoon
Bio:
- PhD. Candidate Student @ ROPAS, SNU
- Senior Research Engineer @ Sparrow. Co., Ltd., responsible for developing the core engine of SAST/QT
Country:South Korea
Affiliation:Seoul National University
GitHub:https://github.com/yhyoon
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