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

Modular verification of multithreaded programs., , , und . Theor. Comput. Sci., 338 (1-3): 153-183 (2005)The RoadRunner dynamic analysis framework for concurrent programs., und . PASTE, Seite 1-8. ACM, (2010)Type inference for atomicity., , und . TLDI, Seite 47-58. ACM, (2005)Atomizer: A dynamic atomicity checker for multithreaded programs., und . Sci. Comput. Program., 71 (2): 89-109 (2008)SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations., , , , , , , , , und 8 andere Autor(en). SIGPLAN Notices, 43 (11): 6-29 (2008)Cooperative Concurrency for a Multicore World - (Extended Abstract)., , , und . RV, Volume 7186 von Lecture Notes in Computer Science, Seite 342-344. Springer, (2011)RedCard: Redundant Check Elimination for Dynamic Race Detectors., und . ECOOP, Volume 7920 von Lecture Notes in Computer Science, Seite 255-280. Springer, (2013)Dynamic Architecture Extraction., und . FATES/RV, Volume 4262 von Lecture Notes in Computer Science, Seite 209-224. Springer, (2006)The type system for object initializatiion in the Jave bytecode language., und . ACM Trans. Program. Lang. Syst., 21 (6): 1196-1250 (1999)Exploiting purity for atomicity., , und . ISSTA, Seite 221-231. ACM, (2004)