Ralf Jung -

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

POPL 2023	Committee Member in Program Committee within the POPL-track
ICFP 2022	Author of Later Credits: Resourceful Reasoning for the Later Modality within the ICFP Papers and Events-track
PLDI 2022	Committee Member in PLDI within the PLDI-track Session Chair of Verification I (part of PLDI)
PLMW 2022	Panelist of Panel (live only, no recording) within the PLMW 2022-track Panelist in Panelists within the PLMW 2022-track
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 2022	Author of Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations within the POPL-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
SPLASH 2022	Committee Member in Review Committee within the OOPSLA-track
ICFP 2021	Committee Member in Program Committee within the Research Papers-track Speaker of Ask Me Anything on Rust with Ralf Jung within the Social Events-track Author of GhostCell: Separating Permissions from Data in Rust 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