Irene Yoon

Publications

Citations

H-Index

2021

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Irene Yoon is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, engineering, and semantics.

ORCID

Top concepts

SemanticsEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification

Publications per year

2021–2022

Publications

Modular, compositional, and executable formal semantics for LLVM IR

Yannick Zakowski, Calvin Beck, Irene Yoon et al. · Proceedings of the ACM on Programming Languages · 2021 · 46 citations · Full text

Novel Formal Semantics, Programming Language Theory, Declarative Programming +15

Formal reasoning about layered monadic interpreters

Irene Yoon, Yannick Zakowski, Steve Zdancewic · Proceedings of the ACM on Programming Languages · 2022 · 11 citations · Full text

Rows per page

1–2 of 2