Παρακολούθηση
Ralf Jung
Ralf Jung
Assistant Professor, ETH Zürich
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα inf.ethz.ch - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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, e20, 2018
5242018
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
5232017
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
4402015
The essence of higher-order concurrent separation logic
R Krebbers, R Jung, A Bizjak, JH Jourdan, D Dreyer, L Birkedal
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
1802017
Higher-order ghost state
R Jung, R Krebbers, L Birkedal, D Dreyer
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
1632016
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
1142018
Stacked Borrows: An Aliasing Model for Rust
R Jung, HH Dang, J Kang, D Dreyer
POPL, 2020
1052020
Safe systems programming in Rust
R Jung, JH Jourdan, R Krebbers, D Dreyer
Communications of the ACM 64 (4), 144-152, 2021
982021
The Future is Ours: Prophecy Variables in Separation Logic
R Jung, R Lepigre, G Parthasarathy, M Rapoport, A Timany, D Dreyer, ...
POPL, 2020
792020
A higher-order logic for concurrent termination-preserving refinement
J Tassarotti, R Jung, R Harper
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
732017
GoJournal: a verified, concurrent, crash-safe journaling system
T Chajed, J Tassarotti, M Theng, R Jung, MF Kaashoek, N Zeldovich
15th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2021
462021
Understanding and evolving the Rust programming language
R Jung
Saarländische Universitäts-und Landesbibliothek, 2020
462020
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
45*2018
GhostCell: separating permissions from data in Rust
J Yanovski, HH Dang, R Jung, D Dreyer
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021
362021
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations
L Gäher, M Sammler, S Spies, R Jung, HHAI DANG, J KANG, D DREYER
Proceedings of the ACM on Programming Languages 6 (POPL), 28: 1-28: 31, 2022
342022
Grove: a Separation-Logic Library for Verifying Distributed Systems
U Sharma, R Jung, J Tassarotti, F Kaashoek, N Zeldovich
Proceedings of the 29th Symposium on Operating Systems Principles, 113-129, 2023
202023
Later Credits: Resourceful Reasoning for the Later Modality
S SPIES, L GÄHER, J TASSAROTTI, R JUNG, L BIRKEDAL, D DREYER
182022
RefinedRust: A Type System for High-Assurance Verification of Rust Programs
L Gäher, M Sammler, R Jung, R Krebbers, D Dreyer
Proceedings of the ACM on Programming Languages 8 (PLDI), 1115-1139, 2024
122024
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
122019
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control
YS Chang, R Jung, U Sharma, J Tassarotti, MF Kaashoek, N Zeldovich
92023
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20