Alastair F. Donaldson

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