Ralf Jung - POPL 2020

Registered user since Fri 1 Jul 2016

Name: Ralf Jung

Country: Germany

Affiliation: MPI-SWS

Personal website: http://www.mpi-sws.org/~jung/

Contributions

POPL 2020	Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track Author of Stacked Borrows: An Aliasing Model for Rust within the Research Papers-track
Show activities from other conferences