Alastair F. Donaldson

Many-core compiler fuzzing

Christopher Lidbury, Andrei Lascu, Nathan Chong et al. · 2015 · 144 citations

Engineering, Verification, Computer Architecture +21

GPUVerify

Adam Betts, Nathan Chong, Alastair F. Donaldson et al. · 2012 · 137 citations

Engineering, Verification, Computer Architecture +17

Automated testing of graphics shader compilers

Alastair F. Donaldson, Hugues Evrard, Andrei Lascu et al. · Proceedings of the ACM on Programming Languages · 2017 · 116 citations · Full text

Engineering, Compiler Technology, Verification +20

GPU Concurrency

Jade Alglave, Mark Batty, Alastair F. Donaldson et al. · 2015 · 114 citations

Engineering, Program Analysis, Concurrent Programming +14

PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming

Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen et al. · 2015 · 102 citations · Full text

Engineering, Opencl Code, Compiler Technology +18