conf.researchr.org / 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

SPLASH 2018Author of Reconciling High-level Optimizations and Low-level Code with Twin Memory Allocation within the OOPSLA-track
Author of Reconciling High-level Optimizations and Low-level Code with Twin Memory Allocation within the Artifact Evaluation-track
ICFP 2018Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track
HOPE 2017Author of RustBelt: Securing the Foundations of the Rust Programming Language within the HOPE 2017-track
POPL 2018Author 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 2017Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2016Author of Higher-Order Ghost State within the Research Papers-track