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

Debugging Distributed Systems, , , und . Communications of the ACM, 59 (8): 32--37 (August 2016)Shedding light on distributed system executions., , , und . ICSE Companion, Seite 598-599. ACM, (2014)Always-available static and dynamic feedback., , und . ICSE, Seite 521-530. ACM, (2011)Crystal: precise and unobtrusive conflict warnings., , , und . SIGSOFT FSE, Seite 444-447. ACM, (2011)Value Dependence Graphs: Representation without Taxation., , , und . POPL, Seite 297-310. ACM Press, (1994)Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types., , , und . ACM Trans. Program. Lang. Syst., 39 (3): 11:1-11:54 (2017)The Groupthink Specification Exercise.. Software Education and Training Sessions @ ICSE, Volume 4309 von Lecture Notes in Computer Science, Seite 89-107. Springer, (2005)Visualizing Distributed System Executions., , , , , und . ACM Trans. Softw. Eng. Methodol., 29 (2): 9:1-9:38 (2020)Static lock capabilities for deadlock freedom., , und . TLDI, Seite 67-78. ACM, (2012)Synoptic: Summarizing System Logs with Refinement., , , , und . SLAML, USENIX Association, (2010)