Lennard Gäher

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Automated Reasoning

Complexity Theory

Top Venues

Proc. ACM Program. Lang.

Publications

Simon Spies, Lennard Gäher, Michael Sammler, Derek Dreyer
Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Lennard Gäher, Michael Sammler, Ralf Jung, Robbert Krebbers, Derek Dreyer
RefinedRust: A Type System for High-Assurance Verification of Rust Programs. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Minki Cho, Youngju Song, Dongjae Lee, Lennard Gäher, Derek Dreyer
Stuttering for Free. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer
Later credits: resourceful reasoning for the later modality. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, Derek Dreyer
Simuliris: a separation logic framework for verifying concurrent program optimizations. Proc. ACM Program. Lang. 6 (POPL) (2022)
Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, Lars Birkedal
Transfinite Iris: resolving an existential dilemma of step-indexed separation logic. PLDI (2021)
Lennard Gäher, Fabian Kunze
Mechanising Complexity Theory: The Cook-Levin Theorem in Coq. ITP (2021)