( en | de | ru )

 

Disambiguierung von "Rinetzky, Noam"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying linearizability with hindsight.

, , , , und . PODC, Seite 85-94. ACM, (2010)

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.

Noam Pilpel

 

Weitere Publikationen von Autoren mit dem selben Namen

Verifying linearizability with hindsight., , , , und . PODC, Seite 85-94. ACM, (2010)Brief announcement: concurrency-aware linearizability., und . PODC, Seite 209-211. ACM, (2014)A Heap-Based Concurrent Priority Queue with Mutable Priorities for Faster Parallel Algorithms., , und . OPODIS, Volume 46 von LIPIcs, Seite 15:1-15:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Sequential verification of serializability., , und . POPL, Seite 31-42. ACM, (2010)Chopped symbolic execution., , , und . ICSE, Seite 350-360. ACM, (2018)Towards Hypothetical Reasoning Using Distributed Provenance., , , und . EDBT, Seite 461-464. OpenProceedings.org, (2018)State Merging with Quantifiers in Symbolic Execution., , , und . CoRR, (2023)Verifying Equivalence of Spark Programs., , , , und . CAV (2), Volume 10427 von Lecture Notes in Computer Science, Seite 282-300. Springer, (2017)Interprocedural Shape Analysis for Recursive Programs., und . CC, Volume 2027 von Lecture Notes in Computer Science, Seite 133-149. Springer, (2001)COBRA: Compression Via Abstraction of Provenance for Hypothetical Reasoning., , und . ICDE, Seite 2016-2019. IEEE, (2019)