Look no further for LOCAL PDF, ARTIFACT, and DOI links for my scientific publications.

International Conferences

1. A Two-Phase Infinite/Finite Low-Level Memory Model.
   Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, Steve Zdancewic.
   ICFP 2024. [arXiv preprint]


2. Formal Reasoning About Layered Monadic Interpreters.
   Irene Yoon, Yannick Zakowski, Steve Zdancewic
   ICFP 2022. [local pdf] [doi] [proof] [repo]


3. Modular, Compositional, and Executable Formal Semantics for LLVM IR.
   Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic.
   ICFP 2021. [local pdf] [doi] [repo]


4. Geometry Types for Graphics Programming.
   Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, Adrian Sampson.
   OOPSLA 2020. [local pdf] [doi] [repo]
   Project page: [url]


5. Design Mining for Minecraft Architecture.
   Euisun Yoon, Erik Andersen, Bharath Hariharan, Ross Knepper.
   AIIDE 2018. [local pdf] [doi]
   Article from Cornell CIS Department: [url]

Workshops and Presentations

1. Flambda2 Validator.
   Irene Yoon, Chris Casinghino.
   OCaml Workshop 2024. [local pdf]


2. Equational Proofs of Optimizations with Interaction Trees.
   Lucas Silver, Irene Yoon, Yannick Zakowski, Steve Zdancewic.
   PERR 2020 (co-located with CAV). Extended Abstract. [abstract]


3. Through the Interaction Forest: Modeling Concurrency in Coq.
   Irene Yoon.
   POPL 2020 Student Research Competition. 3rd Place, Graduate Category. [poster]

Technical Reports and Notes

1. Modular Semantics and Metatheory for LLVM IR.
   Euisun Yoon.
   Doctoral Thesis, University of Pennsylvania, Dec 2023. [pdf] [slides]
   [TeX style sheet]


2. Freedom for Proofs!
   Representation Independence is More than Parametricity.
   University of Pennsylvania WPE-II Manuscript. June 2021. [pdf] [slides]

Back