Concepedia

Yannick Zakowski

YZ

4

Publications

200

Citations

4

H-Index

2019

Active since

Affiliations

California University of Pennsylvania(Current)

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

Yannick Zakowski is an author at California University of Pennsylvania specializing in formal methods, program analysis, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationSoftware AnalysisCompilersReasoningSemantics

Publications per year

2019–2023

4

Publications

4

Interaction trees: representing recursive and impure programs in Coq

Li-yao Xia, Yannick Zakowski, Paul He et al. · Proceedings of the ACM on Programming Languages · 2019 · 123 citations · Full text

Engineering, Verification, Software Analysis +16

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

Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq

Nicolas Chappe, Paul He, Ludovic Henrio et al. · Proceedings of the ACM on Programming Languages · 2023 · 20 citations · Full text

Engineering, Computational Model Theory, Computational Complexity +16

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–4 of 4