Autor der Publikation

Accurate and efficient predicate analysis with binary decision diagrams.

, , und . MICRO, Seite 112-123. ACM/IEEE Computer Society, (2000)

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

A collaborative dependence analysis framework., , , , , und . CGO, Seite 148-159. ACM, (2017)Optimizations for a simulator construction system supporting reusable components., und . DAC, Seite 926-931. ACM, (2003)Fast condensation of the program dependence graph., , , und . PLDI, Seite 39-50. ACM, (2013)Speculative separation for privatization and reductions., , , , und . PLDI, Seite 359-370. ACM, (2012)AsmDB: understanding and mitigating front-end stalls in warehouse-scale computers., , , , , , , , , und . ISCA, Seite 462-473. ACM, (2019)SPLENDID: Supporting Parallel LLVM-IR Enhanced Natural Decompilation for Interactive Development., , , , , , , und . ASPLOS (3), Seite 679-693. ACM, (2023)Speculative parallelization using software multi-threaded transactions., , , , und . ASPLOS, Seite 65-76. ACM, (2010)Program decision logic optimization using predication and control speculation., , und . Proc. IEEE, 89 (11): 1660-1675 (2001)Finding Dominators in Practice., , , , und . ESA, Volume 3221 von Lecture Notes in Computer Science, Seite 677-688. Springer, (2004)Automatic speculative DOALL for clusters., , , , und . CGO, Seite 94-103. ACM, (2012)