Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Ralf Jung
Ralf Jung

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 The Future is Ours: Prophecy Variables in Separation Logic
Stacked Borrows: An Aliasing Model for Rust
Show activities from other conferences

POPL 2020-profile
View general profile