Ralf Jung -

Registered user since Fri 1 Jul 2016

Name:Ralf Jung

Country:Switzerland

Affiliation:ETH Zürich

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

GitHub: https://github.com/RalfJung

Contributions

2024

CoqPL

Committee Member in Program Committee within the CoqPL 2024-track

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