Concepedia

Lennard Gäher

LG

4

Publications

95

Citations

4

H-Index

2021

Active since

Affiliations

Radboud University Nijmegen(Current)

Max Planck Institute for Software Systems

Aarhus University

Lennard Gäher is an author at Radboud University Nijmegen specializing in automated reasoning, formal verification, and formal methods.

ORCID

Top concepts

Publications per year

2021–2024

4

Publications

4

Transfinite Iris: resolving an existential dilemma of step-indexed separation logic

Simon Spies, Lennard Gäher, Daniel Gratzer et al. · 2021 · 28 citations · Full text

Simuliris: a separation logic framework for verifying concurrent program optimizations

Lennard Gäher, Michael Sammler, Simon Spies et al. · Proceedings of the ACM on Programming Languages · 2022 · 26 citations · Full text

, , +20

RefinedRust: A Type System for High-Assurance Verification of Rust Programs

Lennard Gäher, Michael Sammler, Ralf Jung et al. · Proceedings of the ACM on Programming Languages · 2024 · 22 citations · Full text

Later credits: resourceful reasoning for the later modality

Simon Spies, Lennard Gäher, Joseph Tassarotti et al. · Proceedings of the ACM on Programming Languages · 2022 · 19 citations · Full text

, , +19

Rows per page

1–4 of 4