This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Ralf Jung
A grouping.
Ralf Jung: higher-order concurrent separation logic - Iris, RustBelt's soundness proof for Rust including unsafe code, and completeness of Iris-based logics.
4 references
Completeness of Iris-Based Program Logics
Johannes Hostert and others (2026) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery (ACM)
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Ralf Jung and others (2018) · Journal of Functional Programming · Cambridge University Press
RustBelt: Securing the foundations of the Rust programming language
Ralf Jung and others (2018) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning
Ralf Jung and others (2015) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)