Ralf Jung
Ralf Jung
Post-doctoral researcher, MPI-SWS
Verified email at mpi-sws.org - Homepage
Title
Cited by
Cited by
Year
Iris: Monoids and invariants as an orthogonal basis for concurrent reasoning
R Jung, D Swasey, F Sieczkowski, K Svendsen, A Turon, L Birkedal, ...
ACM SIGPLAN Notices 50 (1), 637-650, 2015
2302015
RustBelt: Securing the foundations of the Rust programming language
R Jung, JH Jourdan, R Krebbers, D Dreyer
Proceedings of the ACM on Programming Languages 2 (POPL), 1-34, 2017
1782017
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
R Jung, R Krebbers, JH Jourdan, A Bizjak, L Birkedal, D Dreyer
Journal of Functional Programming 28, 2018
1492018
The essence of higher-order concurrent separation logic
R Krebbers, R Jung, A Bizjak, JH Jourdan, D Dreyer, L Birkedal
European Symposium on Programming, 696-723, 2017
1002017
Higher-order ghost state
R Jung, R Krebbers, L Birkedal, D Dreyer
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
892016
MoSeL: A general, extensible modal framework for interactive proofs in separation logic
R Krebbers, JH Jourdan, R Jung, J Tassarotti, JO Kaiser, A Timany, ...
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
402018
A higher-order logic for concurrent termination-preserving refinement
J Tassarotti, R Jung, R Harper
European Symposium on Programming, 909-936, 2017
292017
The Future is Ours: Prophecy Variables in Separation Logic
R Jung, R Lepigre, G Parthasarathy, M Rapoport, A Timany, D Dreyer, ...
17*
Reconciling high-level optimizations and low-level code in LLVM
J Lee, CK Hur, R Jung, Z Liu, J Regehr, NP Lopes
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018
15*2018
Safe systems programming in Rust
R Jung, JH Jourdan, R Krebbers, D Dreyer
Communications of the ACM 64 (4), 144-152, 2021
13*2021
Stacked Borrows: An Aliasing Model for Rust
R Jung, HH Dang, J Kang, D Dreyer
13*
Understanding and evolving the Rust programming language
R Jung
Saarländische Universitäts-und Landesbibliothek, 2020
72020
Logical atomicity in Iris: The good, the bad, and the ugly
R Jung
Iris Workshop. https://people. mpi-sws. org/~ jung/iris/logatom-talk-2019. pdf, 2019
22019
An Intermediate Language To Formally Justify Memory Access Reordering
R Jung
Bachelor’s Thesis. Saarland University, 2013 (cit. on p. 75), 2013
12013
GhostCell: Separating Permissions from Data in Rust
J YANOVSKI, HHAI DANG, R JUNG, D DREYER
The system can't perform the operation now. Try again later.
Articles 1–15