Ralf Jung -

Registered user since Fri 1 Jul 2016

Name:Ralf Jung

Country:Switzerland

Affiliation:ETH Zurich

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

GitHub: https://github.com/RalfJung

Contributions

2026

POPL

Student Research Competition Co-Chair in Organizing Committee

2025

ICFP

Committee Member in ICFP Programme Committee within the ICFP Papers-track

PLDI

Author of Tree Borrows within the PLDI Research Papers-track

RPLS

Panelist of Panel: Mechanized Specifications for Real-World Programming Languages within the RPLS 2025: Real-World Programming Language Specification-track
Speaker of MiniRust: A Core Language for Specifying Rust within the RPLS 2025: Real-World Programming Language Specification-track

VIMPL

Committee Member in Program Committee within the VIMPL 2025-track

POPL

2024

SPLASH

Author of Rustlantis: Randomized Differential Testing of the Rust Compiler within the OOPSLA 2024-track

ICOOOLPS

Author of Miri: Practical Undefined Behavior Detection for Rust within the ICOOOLPS 2024-track

PLDI

Author of RefinedRust: A Type System for High-Assurance Verification of Rust Programs within the PLDI Research Papers-track

CoqPL

Committee Member in Program Committee within the CoqPL 2024-track

POPL

2023

APLAS

PC Member in Program Committee within the APLAS 2023-track

SPLASH

Committee Member in Reviewers within the Student Research Competition-track

POPL

2022

SPLASH

Committee Member in Review Committee within the OOPSLA-track

ICFP

Author of Later Credits: Resourceful Reasoning for the Later Modality within the ICFP Papers and Events-track

PLDI

POPL

Author of Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations within the POPL-track

PLMW

CPP

Committee Member in Program Committee within the CPP 2022-track

2021

ICFP

IWACO

Committee Member in Organizing Committee within the IWACO [Cancelled]-track

POPL

Author of [T4] Iris – A Modular Foundation for Higher-Order Concurrent Separation Logic within the TutorialFest-track

2020

IWACO

Committee Member in Program Committee within the IWACO-track

POPL

2019

ICFP

2018

SPLASH

ICFP

Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track

POPL

2017

HOPE

Author of RustBelt: Securing the Foundations of the Rust Programming Language within the HOPE 2017-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2016

ICFP

Author of Higher-Order Ghost State within the Research Papers-track