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

Safe nondeterminism in a deterministic-by-default parallel language, , , , , , und . Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Seite 535--548. New York, NY, USA, ACM, (2011)Enforcing isolation and ordering in STM., , , , , , , und . PLDI, Seite 78-88. ACM, (2007)Towards transactional memory semantics for C++., , , , und . SPAA, Seite 49-58. ACM, (2009)Dynamic optimization for efficient strong atomicity., , , und . OOPSLA, Seite 181-194. ACM, (2008)Concurrent GC leveraging transactional memory., , , , , und . PPoPP, Seite 217-226. ACM, (2008)A verifiable SSA program representation for aggressive compiler optimization., , , , , , und . POPL, Seite 397-408. ACM, (2006)Aspect-Oriented Programming of Sparse Matrix Code., , , , , , und . ISCOPE, Volume 1343 von Lecture Notes in Computer Science, Seite 249-256. Springer, (1997)Transitive Closure of Infinite Graphs and Its Applications., , , und . LCPC, Volume 1033 von Lecture Notes in Computer Science, Seite 126-140. Springer, (1995)Exploiting Monotone Convergence Functions in Parallel Programs., , und . LCPC, Volume 1239 von Lecture Notes in Computer Science, Seite 75-85. Springer, (1996)Adaptive heterogeneous scheduling for integrated GPUs., , , , , und . PACT, Seite 151-162. ACM, (2014)