Ralf Jung - POPL 2022

Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States

Registered user since Fri 1 Jul 2016

Name:Ralf Jung

Country:Germany

Affiliation:MPI-SWS

Personal website: https://www.ralfj.de/research/

GitHub: https://github.com/RalfJung

Contributions

2022

POPL

Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations

PLMW

CPP

Committee Member in Program Committee within the CPP 2022-track

Show activities from other conferences

POPL 2022-profile
View general profile