Autor der Publikation

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

Model checking for weakly consistent libraries., , und . PLDI, Seite 96-110. ACM, (2019)Unblocking Dynamic Partial Order Reduction., , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 230-250. Springer, (2023)Optimal Bounded Partial Order Reduction., und . FMCAD, Seite 86-91. IEEE, (2023)Extending GenMC's Usability and Performance (Replication Package)., , und . (Oktober 2023)BAM: Efficient Model Checking for Barriers., und . NETYS, Volume 12754 von Lecture Notes in Computer Science, Seite 223-239. Springer, (2021)The Challenges of Weak Persistency (Invited Talk).. CALCO, Volume 211 von LIPIcs, Seite 4:1-4:3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Dynamic Partial Order Reductions for Spinloops., , und . FMCAD, Seite 163-172. IEEE, (2021)Promising 2.0: global optimizations in relaxed memory concurrency., , , , , , und . PLDI, Seite 362-376. ACM, (2020)Specifying and Verifying Persistent Libraries., , und . ESOP (2), Volume 14577 von Lecture Notes in Computer Science, Seite 185-211. Springer, (2024)The Decidability of Verification under PS 2.0., , , , und . ESOP, Volume 12648 von Lecture Notes in Computer Science, Seite 1-29. Springer, (2021)