Irene Yoon

2019202020212022202320241 4 4 17 24 8

Public access

4 articles

0 articles

available

not available

Based on funding mandates

Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Yannick ZakowskiInriaVerified email at inria.fr
Vadim ZalivaUniversity of CambridgeVerified email at crocodile.org
Aditi KabraCarnegie Mellon UniversityVerified email at cs.cmu.edu
Adrian SampsonComputer Science, Cornell UniversityVerified email at cornell.edu
Horace HeCornell UniversityVerified email at cornell.edu
bharath hariharanCornell UniversityVerified email at cs.cornell.edu
Ross A. KnepperSenior Applied Scientist, AmazonVerified email at amazon.com

Irene Yoon

Postdoctoral Researcher, Inria

Verified email at inria.fr - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	33	2021
Formal reasoning about layered monadic interpreters I Yoon, Y Zakowski, S Zdancewic Proceedings of the ACM on Programming Languages 6 (ICFP), 254-282, 2022	12	2022
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	8	2020
Design mining for minecraft architecture E Yoon, E Andersen, B Hariharan, R Knepper Proceedings of the AAAI Conference on Artificial Intelligence and …, 2018	7	2018
Modular semantics and metatheory for LLVM IR E Yoon University of Pennsylvania, 2023		2023
Equational Proofs of Optimizations with Interaction Trees L SILVER, I YOON, Y ZAKOWSKI, S ZDANCEWIC

The system can't perform the operation now. Try again later.

Articles 1–6

Citations per year