Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Ralf Jung
Observed names:
Jung, R.,
Jung, Ralf,
RALF JUNG
Institution:
ETH Zurich
Observed institutions:
Max Planck Society,
ETH Zurich,
Max Planck Institute for Software Systems,
MIT Computer Science and Artificial Intelligence Laboratory,
Massachusetts Institute of Technology,
Saarland University
show all 6
ORCID:
0000-0001-7669-6348
Observed ORCID:
0000-0001-7669-6348
OpenAlex ID:
A5025527323
RustBelt: securing the foundations of the Rust programming language
2017
·
Ralf Jung
, Jacques-Henri Jourdan
, et al.
·
Proceedings of the ACM on Programming Languages
·
379
PDF
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
2018
·
RALF JUNG
, ROBBERT KREBBERS
, et al.
·
Journal of Functional Programming
·
374
PDF
Iris
2014
·
Ralf Jung
, David Swasey
, et al.
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
276
The Essence of Higher-Order Concurrent Separation Logic
2017
·
Robbert Krebbers
, Ralf Jung
, et al.
·
Lecture notes in computer science
·
127
PDF
Higher-order ghost state
2016
·
Ralf Jung
, Robbert Krebbers
, et al.
·
ACM SIGPLAN International Conference on Functional Programming (ICFP)
·
115
PDF
MoSeL: a general, extensible modal framework for interactive proofs in separation logic
2018
·
Robbert Krebbers
, Jacques-Henri Jourdan
, et al.
·
Proceedings of the ACM on Programming Languages
·
93
PDF
Stacked borrows: an aliasing model for Rust
2019
·
Ralf Jung
, Hoang-Hai Dang
, et al.
·
Proceedings of the ACM on Programming Languages
·
69
PDF
Safe systems programming in Rust
2021
·
Ralf Jung
, Jacques-Henri Jourdan
, et al.
·
Communications of the ACM
·
65
PDF
The future is ours: prophecy variables in separation logic
2019
·
Ralf Jung
, Rodolphe Lepigre
, et al.
·
Proceedings of the ACM on Programming Languages
·
65
PDF
Iris
2015
·
Ralf Jung
, David Swasey
, et al.
·
ACM SIGPLAN Notices
·
56
A Higher-Order Logic for Concurrent Termination-Preserving Refinement
2017
·
Joseph Tassarotti
, Ralf Jung
, et al.
·
Lecture notes in computer science
·
43
Simuliris: a separation logic framework for verifying concurrent program optimizations
2022
·
Lennard Gäher
, Michael Sammler
, et al.
·
Proceedings of the ACM on Programming Languages
·
33
PDF
RefinedRust: A Type System for High-Assurance Verification of Rust Programs
2024
·
Lennard Gäher
, Michael Sammler
, et al.
·
Proceedings of the ACM on Programming Languages
·
31
Reconciling high-level optimizations and low-level code in LLVM
2018
·
Juneyoung Lee
, Chung-Kil Hur
, et al.
·
Proceedings of the ACM on Programming Languages
·
26
PDF
Grove: a Separation-Logic Library for Verifying Distributed Systems
2023
·
Upamanyu Sharma
, Ralf Jung
, et al.
·
ACM SIGOPS Symposium on Operating Systems Principles (SOSP)
·
22
PDF
GhostCell: separating permissions from data in Rust
2021
·
Joshua Yanovski
, Hoang-Hai Dang
, et al.
·
Proceedings of the ACM on Programming Languages
·
22
PDF
Later credits: resourceful reasoning for the later modality
2022
·
Simon Spies
, Lennard Gäher
, et al.
·
Proceedings of the ACM on Programming Languages
·
21
PDF
Higher-order ghost state
2016
·
Ralf Jung
, Robbert Krebbers
, et al.
·
ACM SIGPLAN Notices
·
16
Rustlantis: Randomized Differential Testing of the Rust Compiler
2024
·
Qian Wang
, Ralf Jung
·
Proceedings of the ACM on Programming Languages
·
14
Understanding and evolving the Rust programming language
2020
·
Jung, Ralf
·
Publications of the UdS (Saarland University)
·
13
Safe Systems Programming in Rust: The Promise and the Challenge
2020
·
Ralf Jung
, Jacques-Henri Jourdan
, et al.
·
HAL
·
10
Miri: Practical Undefined Behavior Detection for Rust
2026
·
Ralf Jung
, Benjamin Kimock
, et al.
·
Proceedings of the ACM on Programming Languages
·
9
Tree Borrows
2025
·
Neven Villani
, Johannes Hostert
, et al.
·
Proceedings of the ACM on Programming Languages
·
8
PDF
Program Logics à la Carte
2025
·
Max Vistrup
, Michael Sammler
, et al.
·
Proceedings of the ACM on Programming Languages
·
4
A Higher-Order Logic for Concurrent Termination-Preserving Refinement
2017
·
Tassarotti, Joseph
, Jung, Ralf
, et al.
·
arXiv (Cornell University)
·
2
PDF
Show more works
View as search
Works count:
54
Citation count:
1,922
H-index:
17
I10-index:
22
Year
Topic
Type
