Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Irene Yoon
conf.researchr.org general profile
ICFP 2021 profile
ICFP 2022 profile
PLDI 2021 profile
PLDI 2022 profile
POPL 2020 profile
SPLASH 2020 profile
Registered user since Tue 17 Dec 2019
Name:
Irene Yoon
Affiliation:
University of Pennsylvania
Personal website:
https://seas.upenn.edu/~euisuny
Contributions
2022
ICFP
Author of Formal Reasoning About Layered Monadic Interpreters within the ICFP Papers and Events-track
PLDI
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
2021
ICFP
Author of Modular, Compositional, and Executable Formal Semantics for LLVM IR within the Research Papers-track
PLDI
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
2020
SPLASH
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
Author of Through the Interaction Forest: Modeling Concurrency in Coq with Interaction Trees within the Student Research Competition-track
Share
x
Tue 5 Dec 23:29