Registered user since Sun 3 Oct 2021

Name:Lennard Gäher
Country:Germany
Affiliation:MPI-SWS & Saarland University

Contributions

POPL 2022 Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations
Show activities from other conferences

Using general profile