2017

2016

2015

2014

2013

  • Barrier Invariants: a Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels

    Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer

    28th Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'13)

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

    Adam Betts, Alastair F. Donaldson

    25th Euromicro Conference on Real-Time Systems (ECRTS'13)

  • Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)

    Albert Cohen, Alastair F. Donaldson, Marieke Huisman, Joost-Pieter Katoen

    Dagstuhl Reports

  • Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels

    Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer

    22nd European Symposium on Programming (ESOP'13)

2012

  • Automatic Verification of Message-Based Device Drivers

    Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu

    Seventh Conference on Systems Software Verification (SSV'12)

  • GPUVerify: a Verifier for GPU Kernels

    Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson

    27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'12)

  • Model Checking Software - 19th International Workshop, SPIN 2012

    Alastair F. Donaldson, David Parker

  • SatAbs: A Bit-Precise Verifier for C Programs - (Competition Contribution)

    Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl

    18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12)

  • Counterexample-Guided Abstraction Refinement for Symmetric Concurrent Programs

    Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl

    Formal Methods in System Design

2011

  • Safe Asynchronous Multicore Memory Operations

    Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson

    26th IEEE/ACM International Conference on Automated Software Engineering (ASE'11)

  • Software Verification Using k-Induction

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

    18th International Static Analysis Symposium (SAS'11)

  • Making Software Verification Tools Really Work

    Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig

    9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11)

  • Static Analysis of Device Drivers: We Can Do Better!

    Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu

    Asia Pacific Workshop on Systems (APSys'11)

  • Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs

    Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl

    23rd International Conference on Computer Aided Verification (CAV'11)

  • The Impact of Diverse Memory Architectures on Multicore Consumer Software: an Industrial Perspective from the Video Games Domain

    George Russell, Colin Riley, Neil Henning, Uwe Dolinsky, Andrew Richards, Alastair F. Donaldson, Alexander S. van Amesfoort

    ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC'11)

  • SCRATCH: a Tool for Automatic Analysis of DMA Races

    Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer}

    16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'11)

  • Automatic Safety Proofs for Asynchronous Memory Operations

    Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson

    16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'11)

  • Strengthening Induction-Based Race Checking with Lightweight Static Analysis

    Alastair F. Donaldson, Leopold Haller, Daniel Kroening

    12th International on Verification, Model Checking, and Abstract Interpretation (VMCAI'11)

  • Automatic Analysis of DMA Races Using Model Checking and k-Induction

    Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer

    Formal Methods in System Design

2010

  • Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction

    Alastair F. Donaldson, Nannan He, Daniel Kroening, Philipp Rümmer

    9th International Symposium on Formal Methods for Components and Objects (FMCO'10)

  • Programming Heterogeneous Multicore Systems Using Threading Building Blocks

    George Russell, Paul Keir, Alastair F. Donaldson, Uwe Dolinsky, Andrew Richards, Colin Riley

    Euro-Par 2010 Parallel Processing Workshops - Revised Selected Papers

  • Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors

    Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer

    16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10)

  • Automatic Offloading of C++ for the Cell BE Processor: A Case Study Using Offload

    Alastair F. Donaldson and, Uwe Dolinsky and, Andrew Richards and, George Russell

    2010 International Workshop on Multi-Core Computing Systems (MuCoCoS'10), held in conjunction with the 4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS'10)

  • Offload - Automating Code Migration to Heterogeneous Multicore Systems

    Pete Cooper, Uwe Dolinsky, Alastair F. Donaldson, Andrew Richards, Colin Riley, George Russell

    5th International Conference on High Performance Embedded Architectures and Compilers (HiPEAC'10)

  • Type inference and strong static type checking for Promela

    Alastair F. Donaldson, Simon J. Gay

    Science of Computer Programming

  • Replication and Abstraction: Symmetry in Automated Formal Verification

    Thomas Wahl and, Alastair F. Donaldson

    Symmetry

2009

  • Language-Level Symmetry Reduction for Probabilistic Model Checking

    Alastair F. Donaldson, Alice Miller, David Parker

    6th International Conference on the Quantitative Evaluation of Systems (QEST'09)

  • Towards Metaprogramming for Parallel Systems on a Chip

    Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly

    Euro-Par 2009 Parallel Processing Workshops - Revised Selected Papers

  • On the constructive orbit problem

    Alastair F. Donaldson, Alice Miller

    Annals of Mathematics and Artificial Intelligence

  • Vector Symmetry Reduction

    Alastair F. Donaldson

    Electronic Notes in Theoretical Computer Science

2008

  • Tackling Online Game Development Problems With a Novel Network Scripting Language

    George Russell, Alastair F. Donaldson, Paul Sheppard

    Proceedings of the 7th ACM SIGCOMM Workshop on Networks and System Support for Games (NETGAMES'08)

  • Compile-Time and Run-Time Issues in an Auto-Parallelisation System for the Cell BE Processor

    Alastair F. Donaldson, Paul Keir, Anton Lokhmotov

    Euro-Par 2008 Parallel Processing Workshops - Revised Selected Papers

  • Automatic Symmetry Detection for Promela

    Alastair F. Donaldson, Alice Miller

    Journal of Automated Reasoning