Autor der Publikation

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper).

, , , und . ECOOP, Volume 263 von LIPIcs, Seite 39:1-39:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Clarifying and compiling C/C++ concurrency: from C++11 to POWER., , , , und . POPL, Seite 509-520. ACM, (2012)Chronos vs. Chaos: Timing Weak Memory Executions in the Linux Kernel., und . IWSPA@CODASPY, Seite 68-77. ACM, (2022)Memory Consistency and Program Transformations., , und . CoRR, (2024)PrideMM: Second Order Model Checking for Memory Consistency Models., , , , und . FM Workshops (2), Volume 12233 von Lecture Notes in Computer Science, Seite 507-525. Springer, (2019)Synchronising C/C++ and POWER., , , , , , , und . PLDI, Seite 311-322. ACM, (2012)Memory Consistency Models for Program Transformations: An Intellectual Abstract., , und . ISMM, Seite 30-42. ACM, (2023)The Problem of Programming Language Concurrency Semantics., , , , und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 283-307. Springer, (2015)Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies., , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 237-254. Springer, (2021)Modular Relaxed Dependencies in Weak Memory Concurrency., , , , , und . ESOP, Volume 12075 von Lecture Notes in Computer Science, Seite 599-625. Springer, (2020)Verifying Read-Copy Update Under RC11., , und . SEFM, Volume 14323 von Lecture Notes in Computer Science, Seite 301-319. Springer, (2023)