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
ICFP/SPLASH 2025 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
Personal website:
https://www.ireneyoon.com/
Contributions
2025
ICFP
Committee Member in ICFP Programme Committee within the ICFP Papers-track
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
Tue 24 Jun 15:53
