Lennard Gäher -

Registered user since Sun 3 Oct 2021

Name:Lennard Gäher

Country:Germany

Affiliation:MPI-SWS & Saarland University

Personal website: https://people.mpi-sws.org/~gaeher

Contributions

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