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

Towards High-Performance Application-Level Storage Management., , , , , , , und . HotStorage, USENIX Association, (2014)Teaching Rigorous Distributed Systems With Efficient Model Checking., , , , und . EuroSys, Seite 32:1-32:15. ACM, (2019)One tunnel is (often) enough., , , , , und . SIGCOMM, Seite 99-110. ACM, (2014)Arrakis: The Operating System is the Control Plane., , , , , , , und . OSDI, Seite 1-16. USENIX Association, (2014)Planning for change in a formal verification of the raft consensus protocol., , , , , und . CPP, Seite 154-165. ACM, (2016)A Graphical Interactive Debugger for Distributed Systems., , , und . CoRR, (2018)Arrakis: The Operating System Is the Control Plane., , , , , , , und . ACM Trans. Comput. Syst., 33 (4): 11:1-11:30 (2016)Modularity for decidability of deductive verification with applications to distributed systems., , , , , , , und . PLDI, Seite 662-677. ACM, (2018)A Step-through Debugger for Distributed Systems.. University of Washington, USA, (2019)Theia: automatically generating correct program state visualizations., , , und . SPLASH-E, Seite 46-56. ACM, (2019)