Autor der Publikation

Asynchronous Resilient Linearizability.

, , , , und . DISC, Volume 8205 von Lecture Notes in Computer Science, Seite 164-178. Springer, (2013)

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

Representation dependence testing using program inversion., , , und . SIGSOFT FSE, Seite 277-286. ACM, (2010)Fault tolerance via idempotence., und . POPL, Seite 249-262. ACM, (2013)Broom: Sweeping Out Garbage Collection from Big Data Systems., , , , , , , , , und . HotOS, USENIX Association, (2015)Semantics-based reverse engineering of object-oriented data models., , , und . ICSE, Seite 192-201. ACM, (2006)Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists., , , und . VMCAI, Volume 3385 von Lecture Notes in Computer Science, Seite 181-198. Springer, (2005)Safe programmable speculative parallelism., , und . PLDI, Seite 50-61. ACM, (2010)06302 Summary -- Aspects For Legacy Applications., , und . Aspects For Legacy Applications, Volume 06302 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Technical forum: Using logical data models for understanding and transforming legacy business applications., , , , , , , , und . IBM Syst. J., 45 (3): 647-655 (2006)Consistency in Distributed Systems (Dagstuhl Seminar 13081)., , , , und . Dagstuhl Reports, 3 (2): 92-126 (2013)Heap Decomposition for Concurrent Shape Analysis., , , , und . SAS, Volume 5079 von Lecture Notes in Computer Science, Seite 363-377. Springer, (2008)