Ralf Jung

Cited by

	All	Since 2018
Citations	1930	1765
h-index	15	15
i10-index	15	15

480

240

120

360

20152016201720182019202020212022202311 29 111 125 174 228 376 393 465

Public access

View all

16 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
Amin TimanyAarhus UniversityVerified email at cs.au.dk
Jeehoon KangAssistant Professor of KAIST School of ComputingVerified email at kaist.ac.kr
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
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	399	2018
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	386	2017
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	372	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	151	2017
Higher-order ghost state R Jung, R Krebbers, L Birkedal, D Dreyer Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	140	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	89	2018
Safe systems programming in Rust R Jung, JH Jourdan, R Krebbers, D Dreyer Communications of the ACM 64 (4), 144-152, 2021	66	2021
Stacked Borrows: An Aliasing Model for Rust R Jung, HH Dang, J Kang, D Dreyer POPL, 2020	59	2020
The Future is Ours: Prophecy Variables in Separation Logic R Jung, R Lepigre, G Parthasarathy, M Rapoport, A Timany, D Dreyer, ... POPL, 2020	58	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	57	2017
Understanding and evolving the Rust programming language R Jung Saarländische Universitäts-und Landesbibliothek, 2020	35	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	32*	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	24	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	22	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	18	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	9	2019
Later Credits: Resourceful Reasoning for the Later Modality S SPIES, L GÄHER, J TASSAROTTI, R JUNG, L BIRKEDAL, D DREYER	5	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	3	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	2	2023
Semantics of Type Systems Lecture Notes D Dreyer, R Jung, JO Kaiser, HH Dang, D Swasey, J Menz, L Gäher, ...	2	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