Ralf Jung

Registered user since Fri 1 Jul 2016

Name:Ralf Jung
Country:Germany
Affiliation:MPI-SWS

Contributions

IWACO 2021 Committee Member in Organizing Committee within the IWACO [Cancelled]-track
CPP 2022 Committee Member in Program Committee within the CPP 2022-track
POPL 2021 Author of [T4] Iris – A Modular Foundation for Higher-Order Concurrent Separation Logic within the TutorialFest-track
IWACO 2020 Committee Member in Program Committee within the IWACO-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
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
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
Session Chair of Verified Compilation (part of Research Papers)
SPLASH 2018 Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the Posters-track
Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the OOPSLA-track
Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the Artifacts-track
ICFP 2018 Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track
HOPE 2017 Author of RustBelt: Securing the Foundations of the Rust Programming Language within the HOPE 2017-track
POPL 2018 Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Research Papers-track
Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Artifact Evaluation-track
POPL 2017 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2016 Author of Higher-Order Ghost State within the Research Papers-track