Researcher profile

Yannick Zakowski

2 papers in the PaperMetrix corpus

Publications

Papers by this author

An equational theory for weak bisimulation via generalized parameterized coinduction

2020

Coinductive reasoning about infinitary structures such as streams is widely applicable. However, practical frameworks for developing coinductive proofs and finding reasoning principles that help structure such proofs remain a challenge, especially in the context of …
Modular, compositional, and executable formal semantics for LLVM IR

2021 · Proceedings of the ACM on Programming Languages

This paper presents a novel formal semantics, mechanized in Coq, for a large, sequential subset of the LLVM IR. In contrast to previous approaches, which use relationally-specified operational semantics, this new semantics is based on …