Lennard Gäher

According to our database, Lennard Gäher authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq.

Simon Spies, Lennard Gäher, Michael Sammler, Derek Dreyer

Proc. ACM Program. Lang., 2024

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

Lennard Gäher, Michael Sammler, Ralf Jung, Robbert Krebbers, Derek Dreyer

Proc. ACM Program. Lang., 2024

2023

Stuttering for Free.

Minki Cho, Youngju Song, Dongjae Lee, Lennard Gäher, Derek Dreyer

Proc. ACM Program. Lang., October, 2023

2022

Later credits: resourceful reasoning for the later modality.

Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer

Proc. ACM Program. Lang., 2022

Simuliris: a separation logic framework for verifying concurrent program optimizations.

Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, Derek Dreyer

Proc. ACM Program. Lang., 2022

2021

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

Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, Lars Birkedal

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Mechanising Complexity Theory: The Cook-Levin Theorem in Coq.

Lennard Gäher, Fabian Kunze

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021