( en | de | ru )

 

Disambiguierung von "Donaldson, Alastair F."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbooglix: A Symbolic Execution Engine for Boogie Programs.

, , und . ICST, Seite 45-56. IEEE Computer Society, (2016)

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.

Robin Donaldson

Alastair Walker

David Donaldson

Alastair Barrow

Alastair Faulkner

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Approximate Verification of Promela Models Via Symmetry Markers., , , und . ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 300-315. Springer, (2007)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)Symmetry in temporal logic model checking., , und . ACM Comput. Surv., 38 (3): 8 (2006)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)MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL., , , , , und . CC, Seite 203-215. ACM, (2023)Exposing errors related to weak memory in GPU applications., und . PLDI, Seite 100-113. ACM, (2016)Portable inter-workgroup barrier synchronisation for GPUs., , , , und . OOPSLA, Seite 39-58. ACM, (2016)