( en | de | ru )

 

Disambiguation of "Jung, Ralf"

Author of the publication

copydeleteadd this publication to your clipboard
Grove: a Separation-Logic Library for Verifying Distributed Systems.

, , , , and . SOSP, page 113-129. ACM, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ralf Jung

Ralf Jung

Ralf Jung

Ralf Jung

Ralf Jung

 

Other publications of authors with the same name

RustBelt: Securing the foundations of the Rust Programming language, , , and . Proceedings of the ACM on Programming Languages, 2 (POPL): 1--34 (Dec 27, 2017)Higher-order ghost state., , , and . ICFP, page 256-269. ACM, (2016)A Higher-Order Logic for Concurrent Termination-Preserving Refinement., , and . ESOP, volume 10201 of Lecture Notes in Computer Science, page 909-936. Springer, (2017)Ambiente Audionotifikation: ein System zur kontext-sensitiven Integration von nicht-instrusiven Notifikationssignalen in emotionsklassifizierten Soundscape.. Saarland University, Germany, (2009)Verifying vMVCC, a high-performance transaction library using multi-version concurrency control., , , , , and . OSDI, page 871-886. USENIX Association, (2023)Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning., , , , , , and . POPL, page 637-650. ACM, (2015)RefinedRust: A Type System for High-Assurance Verification of Rust Programs., , , , and . Proc. ACM Program. Lang., 8 (PLDI): 1115-1139 (2024)Understanding and evolving the Rust programming language.. Saarland University, Saarbrücken, Germany, (2020)Grove: a Separation-Logic Library for Verifying Distributed Systems., , , , and . SOSP, page 113-129. ACM, (2023)A Framework for Auditory Displays in Intelligent Environments.. Intelligent Environments, page 40-45. IEEE Computer Society, (2010)