Irene Yoon -

Registered user since Tue 17 Dec 2019

Name:Irene Yoon

Affiliation:University of Pennsylvania

Personal website:https://seas.upenn.edu/~euisuny

Contributions

ICFP 2022	Author of Formal Reasoning About Layered Monadic Interpreters within the ICFP Papers and Events-track
PLDI 2022	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICFP 2021	Author of Modular, Compositional, and Executable Formal Semantics for LLVM IR within the Research Papers-track
PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2020	Author of Geometry Types for Graphics Programming within the Posters-track Author of Geometry Types for Graphics Programming within the OOPSLA Artifacts-track Author of Geometry Types for Graphics Programming within the OOPSLA-track
POPL 2020	Author of Through the Interaction Forest: Modeling Concurrency in Coq with Interaction Trees within the Student Research Competition-track