Irene Yoon

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Formal Semantics

Formal Specification

Logical Reasoning

Datalog Queries

Top Venues

Proc. ACM Program. Lang.

Publications

Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, Steve Zdancewic
A Two-Phase Infinite/Finite Low-Level Memory Model. CoRR (2024)
Irene Yoon, Yannick Zakowski, Steve Zdancewic
Formal reasoning about layered monadic interpreters. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic
Modular, compositional, and executable formal semantics for LLVM IR. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, Adrian Sampson
Geometry types for graphics programming. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)