Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Irene Yoon
conf.researchr.org general profile
ICFP 2021 profile
ICFP 2022 profile
ICFP 2024 profile
PLDI 2021 profile
PLDI 2022 profile
POPL 2020 profile
POPL 2025 profile
SPLASH 2020 profile
Registered user since Tue 17 Dec 2019
Name:
Irene Yoon
Country:
France
Affiliation:
Inria
Personal website:
https://euisuny.github.io/
Contributions
2025
CoqPL
Committee Member in Program Committee within the CoqPL 2025-track
CPP
PC Member in Program Committee within the CPP 2025-track
2024
HOPE
Committee Member in Program Committee within the HOPE 2024-track
ICFP
Author of A Two-Phase Infinite/Finite Low-Level Memory Model within the Artifact Evaluation-track
Author of A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction within the ICFP Papers and Events-track
OCaml
Author of Flambda2 Validator within the OCaml Users and Developers Workshop 2024-track
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
Thu 31 Oct 05:46
