Joongwon Ahn
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Retargeting an Abstract Interpreter for a New Language by Partial Evaluation (Short Paper) | PEPM 2026 | 2026-01-11 |
Claims that partially evaluating a sound abstract interpreter for S with a definitional interpreter for T yields a sound abstract interpreter for T, and… | ||
| React-tRace: A Semantics for Understanding React Hooks | OOPSLA 2025 | 2025-10-16 |
A formal operational semantics called React-tRace models core Hook behavior (useState and useEffect) and ships a stepwise visualizer online that replays… | ||
| nothing matches | ||