Joongwon Ahn -

Registered user since Wed 18 Jun 2025

Name:Joongwon Ahn

Country:South Korea

Affiliation:Seoul National University

Personal website: https://ropas.snu.ac.kr/~jwahn

GitHub: https://github.com/joongwon

Research interests:Programming Language, Static Analysis, Formal Semantics, Formal Verification

Contributions

2026

PEPM

Author of Retargeting an Abstract Interpreter for a New Language by Partial Evaluation (Short Paper) within the PEPM 2026-track

2025

SPLASH

Author of React-tRace: A Semantics for Understanding React Hooks within the OOPSLA-track