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

Portable inter-workgroup barrier synchronisation for GPUs., , , , und . OOPSLA, Seite 39-58. ACM, (2016)MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL., , , , , und . CC, Seite 203-215. ACM, (2023)Performance Evaluation of OpenCL Standard Support (and Beyond)., , und . IWOCL, Seite 8:1-8:2. ACM, (2019)The semantics of shared memory in Intel CPU/FPGA systems., , , und . Proc. ACM Program. Lang., 5 (OOPSLA): 1-28 (2021)Compiler fuzzing: how much does it matter?, , , und . Proc. ACM Program. Lang., 3 (OOPSLA): 155:1-155:29 (2019)Efficient Approximate Verification of Promela Models Via Symmetry Markers., , , und . ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 300-315. Springer, (2007)Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels., , , und . ESOP, Volume 7792 von Lecture Notes in Computer Science, Seite 270-289. Springer, (2013)Offload - Automating Code Migration to Heterogeneous Multicore Systems., , , , , und . HiPEAC, Volume 5952 von Lecture Notes in Computer Science, Seite 337-352. Springer, (2010)Exposing errors related to weak memory in GPU applications., und . PLDI, Seite 100-113. ACM, (2016)Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper)., und . ECOOP, Volume 166 von LIPIcs, Seite 13:1-13:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)