Joongwon Ahn

Research Interests

• Programming Languages
• Static Analysis
• Formal Semantics
• Formal Verification

Education

• M.S. in Computer Science and Engineering, Seoul National University (Sep 2025 -)
• B.S. in Computer Science and Engineering, Seoul National University (Mar 2021 - Aug 2025)

Papers

• Retargeting an Abstract Interpreter to a New Language by Partial Evaluation, PEPM 2026. (paper, slides)
• React-tRace: A Semantics for Understanding React Hooks: An Operational Semantics and a Visualizer for Clarifying React Hooks, OOPSLA2 2025. (paper)
• ReDemon UI: Reactive Synthesis by Demonstration for Web UI, UIST 2025 Poster. (paper)

Contact

• jwahn@ropas.snu.ac.kr
• winterdawnlight@snu.ac.kr