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
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
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
Mon 16 Jun 21:23