Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lennard Gäher
conf.researchr.org general profile
ICFP 2022 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2024 profile
PLDI 2025 profile
POPL 2022 profile
POPL 2026 profile
SPLASH 2023 profile
Registered user since Sun 3 Oct 2021
Name:
Lennard Gäher
Country:
Germany
Affiliation:
MPI-SWS
Personal website:
https://people.mpi-sws.org/~gaeher
Contributions
2026
CPP
Author of Building Blocks for Step-Indexed Program Logics within the CPP 2026-track
2025
PLDI
Author of RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers within the PLDI Research Papers-track
2024
PLDI
Author of Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq within the PLDI Research Papers-track
Author of RefinedRust: A Type System for High-Assurance Verification of Rust Programs within the PLDI Research Papers-track
2023
SPLASH
Author of Stuttering for Free within the OOPSLA-track
2022
ICFP
Author of Later Credits: Resourceful Reasoning for the Later Modality within the ICFP Papers and Events-track
PLDI
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Author of (PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic within the SIGPLAN Track-track
POPL
Author of Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations within the POPL-track
2021
PLDI
Author of Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic within the PLDI-track
Share
x
Thu 12 Feb 08:07