Alastair F. Donaldson

Alastair F. Donaldson publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Alastair F. Donaldson sits on this spectrum.

Alastair F. Donaldson D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Alastair F. Donaldson sits on this spectrum.

Best Publications

• GPUVerify: a verifier for GPU kernels

  Adam Betts;Nathan Chong;Alastair Donaldson;Shaz Qadeer

  206
  Citations

• Many-core compiler fuzzing

  Christopher Lidbury;Andrei Lascu;Nathan Chong;Alastair F. Donaldson

  166
  Citations

• Symmetry in temporal logic model checking

  Alice Miller;Alastair Donaldson;Muffy Calder

  156
  Citations

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

  Riyadh Baghdadi;Ulysse Beaugnon;Albert Cohen;Tobias Grosser

  147
  Citations

• GPU Concurrency: Weak Behaviours and Programming Assumptions

  Jade Alglave;Mark Batty;Alastair F. Donaldson;Ganesh Gopalakrishnan

  144
  Citations

• Software verification using k-induction

  Alastair F. Donaldson;Leopold Haller;Daniel Kroening;Philipp Rümmer

  143
  Citations

• Automated testing of graphics shader compilers

  Alastair F. Donaldson;Hugues Evrard;Andrei Lascu;Paul Thomson

  120
  Citations

• Overhauling SC atomics in C11 and OpenCL

  Mark Batty;Alastair F. Donaldson;John Wickerson

  101
  Citations

• Certified Roundoff Error Bounds Using Semidefinite Programming

  Victor Magron;George Constantinides;Alastair Donaldson

  98
  Citations

• Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis

  Adam Betts;Alastair Donaldson

  72
  Citations

• PEPS2007 - Stochastic Automata Networks Software Tool

  L. Brenner;P. Fernandes;B. Plateau;I. Sbeity

  71
  Citations

• Concurrency testing using schedule bounding: an empirical study

  Paul Thomson;Alastair F. Donaldson;Adam Betts

  67
  Citations

• Offload – automating code migration to heterogeneous multicore systems

  Pete Cooper;Uwe Dolinsky;Alastair F. Donaldson;Andrew Richards

  66
  Citations

• Many-core compiler fuzzing

  Unknown

  63
  Citations

• Symmetry-aware predicate abstraction for shared-variable concurrent programs

  Alastair Donaldson;Alexander Kaiser;Daniel Kroening;Thomas Wahl

  57
  Citations

• Symmetry reduction for probabilistic model checking using generic representatives

  Alastair F. Donaldson;Alice Miller

  57
  Citations

• The Design and Implementation of a Verification Technique for GPU Kernels

  Adam Betts;Nathan Chong;Alastair F. Donaldson;Jeroen Ketema

  51
  Citations

• Metamorphic testing for (graphics) compilers

  Alastair F. Donaldson;Andrei Lascu

  45
  Citations

• GPUVerify

  Unknown

  44
  Citations

• GrayC: Greybox Fuzzing of Compilers and Analysers for C

  Unknown

  43
  Citations