Ralf Jung

According to our database, Ralf Jung authored at least 22 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Rustlantis: Randomized Differential Testing of the Rust Compiler.

Qian Wang, Ralf Jung

Proc. ACM Program. Lang., 2024

RefinedRust: A Type System for High-Assurance Verification of Rust Programs.

Lennard Gäher, Michael Sammler, Ralf Jung, Robbert Krebbers, Derek Dreyer

Proc. ACM Program. Lang., 2024

2023

Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version).

Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich

CoRR, 2023

Grove: a Separation-Logic Library for Verifying Distributed Systems.

Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

Verifying vMVCC, a high-performance transaction library using multi-version concurrency control.

Yun-Sheng Chang, Ralf Jung, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

2022

Later credits: resourceful reasoning for the later modality.

Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer

Proc. ACM Program. Lang., 2022

Simuliris: a separation logic framework for verifying concurrent program optimizations.

Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, Derek Dreyer

Proc. ACM Program. Lang., 2022

2021

GhostCell: separating permissions from data in Rust.

Joshua Yanovski, Hoang-Hai Dang, Ralf Jung, Derek Dreyer

Proc. ACM Program. Lang., 2021

Safe systems programming in Rust.

Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer

Commun. ACM, 2021

GoJournal: a verified, concurrent, crash-safe journaling system.

Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

2020

Verständnis und Weiterentwicklung der Programmiersprache Rust.

Ralf Jung

Proceedings of the Ausgezeichnete Informatikdissertationen 2020., 2020

Understanding and evolving the Rust programming language.

Ralf Jung

PhD thesis, 2020

The future is ours: prophecy variables in separation logic.

Ralf Jung, Rodolphe Lepigre, Gaurav Parthasarathy, Marianna Rapoport, Amin Timany, Derek Dreyer, Bart Jacobs

Proc. ACM Program. Lang., 2020

Stacked borrows: an aliasing model for Rust.

Ralf Jung, Hoang-Hai Dang, Jeehoon Kang, Derek Dreyer

Proc. ACM Program. Lang., 2020

2018

Reconciling high-level optimizations and low-level code in LLVM.

Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes

Proc. ACM Program. Lang., 2018

MoSeL: a general, extensible modal framework for interactive proofs in separation logic.

Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer

Proc. ACM Program. Lang., 2018

RustBelt: securing the foundations of the rust programming language.

Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer

Proc. ACM Program. Lang., 2018

Iris from the ground up: A modular foundation for higher-order concurrent separation logic.

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Ales Bizjak, Lars Birkedal, Derek Dreyer

J. Funct. Program., 2018

2017

A Higher-Order Logic for Concurrent Termination-Preserving Refinement.

Joseph Tassarotti, Ralf Jung, Robert Harper

Proceedings of the Programming Languages and Systems, 2017

The Essence of Higher-Order Concurrent Separation Logic.

Robbert Krebbers, Ralf Jung, Ales Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal

Proceedings of the Programming Languages and Systems, 2017

2016

Higher-order ghost state.

Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning.

Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015