关注
Irene Yoon
Irene Yoon
Inria
在 cornell.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Modular, compositional, and executable formal semantics for LLVM IR
Y Zakowski, C Beck, I Yoon, I Zaichuk, V Zaliva, S Zdancewic
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021
482021
Formal reasoning about layered monadic interpreters
I Yoon, Y Zakowski, S Zdancewic
Proceedings of the ACM on Programming Languages 6 (ICFP), 254-282, 2022
192022
Geometry types for graphics programming
D Geisler, I Yoon, A Kabra, H He, Y Sanders, A Sampson
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-25, 2020
102020
A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction
C Beck, I Yoon, H Chen, Y Zakowski, S Zdancewic
Proceedings of the ACM on Programming Languages 8 (ICFP), 789-817, 2024
7*2024
Design mining for minecraft architecture
E Yoon, E Andersen, B Hariharan, R Knepper
Proceedings of the AAAI Conference on Artificial Intelligence and …, 2018
72018
Modular semantics and metatheory for LLVM IR
E Yoon
University of Pennsylvania, 2023
22023
Equational Proofs of Optimizations with Interaction Trees
L SILVER, I YOON, Y ZAKOWSKI, S ZDANCEWIC
系统目前无法执行此操作，请稍后再试。
文章 1–7