( en | de | ru )

 

Disambiguierung von "Jung, Ralf"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Grove: a Separation-Logic Library for Verifying Distributed Systems.

, , , , und . SOSP, Seite 113-129. ACM, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ralf Jung

Ralf Jung

Ralf Jung

Ralf Jung

Ralf Jung

 

Weitere Publikationen von Autoren mit dem selben Namen

RustBelt: Securing the foundations of the Rust Programming language, , , und . Proceedings of the ACM on Programming Languages, 2 (POPL): 1--34 (27.12.2017)A Higher-Order Logic for Concurrent Termination-Preserving Refinement., , und . ESOP, Volume 10201 von Lecture Notes in Computer Science, Seite 909-936. Springer, (2017)Higher-order ghost state., , , und . ICFP, Seite 256-269. ACM, (2016)Verifying vMVCC, a high-performance transaction library using multi-version concurrency control., , , , , und . OSDI, Seite 871-886. USENIX Association, (2023)Ambiente Audionotifikation: ein System zur kontext-sensitiven Integration von nicht-instrusiven Notifikationssignalen in emotionsklassifizierten Soundscape.. Saarland University, Germany, (2009)Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning., , , , , , und . POPL, Seite 637-650. ACM, (2015)RefinedRust: A Type System for High-Assurance Verification of Rust Programs., , , , und . 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., , , , und . SOSP, Seite 113-129. ACM, (2023)A Framework for Auditory Displays in Intelligent Environments.. Intelligent Environments, Seite 40-45. IEEE Computer Society, (2010)