Ralf Jung

Cited by

	All	Since 2019
Citations	2066	1789
h-index	15	15
i10-index	16	16

500

250

125

375

201520162017201820192020202120222023202410 28 111 121 174 239 368 385 487 135

Public access

View all

17 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at normalesup.org
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Joseph TassarottiAssistant Professor, New York UniversityVerified email at nyu.edu
Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerified email at alesb.com
David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Hai DangBedRock Systems. IncVerified email at mpi-sws.org
Filip SieczkowskiHeriot-Watt UniversityVerified email at hw.ac.uk
Aaron TuronMPI-SWSVerified email at mpi-sws.org
Kasper SvendsenDepartment of Computer Science, Aarhus UniversityVerified email at itu.dk
Jeehoon KangAssistant Professor of KAIST School of ComputingVerified email at kaist.ac.kr
Amin TimanyAarhus UniversityVerified email at cs.au.dk
Nickolai ZeldovichVerified email at csail.mit.edu
Frans KaashoekMassuchesetts Institute of Technology (MIT)Verified email at mit.edu
Simon SpiesMPI-SWSVerified email at mpi-sws.org
Arthur CharguéraudInriaVerified email at inria.fr
John RegehrProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Zhengyang LiuUniversity of UtahVerified email at cs.utah.edu
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr

Ralf Jung

Assistant Professor, ETH Zürich

Verified email at inf.ethz.ch - Homepage

programming languages verification concurrency operational semantics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	423	2017
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	420	2018
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	379	2015
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	157	2017
Higher-order ghost state R Jung, R Krebbers, L Birkedal, D Dreyer Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	141	2016
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	94	2018
Stacked Borrows: An Aliasing Model for Rust R Jung, HH Dang, J Kang, D Dreyer POPL, 2020	71	2020
Safe systems programming in Rust R Jung, JH Jourdan, R Krebbers, D Dreyer Communications of the ACM 64 (4), 144-152, 2021	70	2021
The Future is Ours: Prophecy Variables in Separation Logic R Jung, R Lepigre, G Parthasarathy, M Rapoport, A Timany, D Dreyer, ... POPL, 2020	68	2020
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	62	2017
Understanding and evolving the Rust programming language R Jung Saarländische Universitäts-und Landesbibliothek, 2020	38	2020
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	35*	2018
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	29	2021
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	26	2021
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	23	2022
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	10	2019
Later Credits: Resourceful Reasoning for the Later Modality S SPIES, L GÄHER, J TASSAROTTI, R JUNG, L BIRKEDAL, D DREYER	8	2022
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	4	2023
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control YS Chang, R Jung, U Sharma, J Tassarotti, MF Kaashoek, N Zeldovich	4	2023
Semantics of Type Systems Lecture Notes D Dreyer, S Spies, L Gäher, R Jung, JO Kaiser, HH Dang, D Swasey, ... July, 2022	3	2022

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors