Design Mining for Minecraft Architecture. - Euisun Yoon; Erik Andersen 001; Bharath Hariharan; Ross A. Knepper (AIIDE, 2018)

Geometry types for graphics programming. - Dietrich Geisler; Irene Yoon 001; Aditi Kabra; Horace He; Yinnon Sanders; Adrian Sampson (Proc. ACM Program. Lang., 2020)

Modular, compositional, and executable formal semantics for LLVM IR. - Yannick Zakowski; Calvin Beck; Irene Yoon 001; Ilia Zaichuk; Vadim Zaliva; Steve Zdancewic (Proc. ACM Program. Lang., 2021)

Formal reasoning about layered monadic interpreters. - Irene Yoon 001; Yannick Zakowski; Steve Zdancewic (Proc. ACM Program. Lang., 2022)

A Two-Phase Infinite/Finite Low-Level Memory Model. - Calvin Beck; Irene Yoon 001; Hanxi Chen; Yannick Zakowski; Steve Zdancewic (CoRR, 2024)

A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer-Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction. - Calvin Beck; Irene Yoon 001; Hanxi Chen; Yannick Zakowski; Steve Zdancewic (Proc. ACM Program. Lang., 2024)