Alastair F. Donaldson

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 68

Top Venues

CoRR

Proc. ACM Program. Lang.

PLDI

IWOCL

University of Glasgow, UK (PHD)

Education History

University of Glasgow, UK

PHD

Publications

Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar
GrayC: Greybox Fuzzing of Compilers and Analysers for C. ISSTA (2023)
George Mitenkov, Ioannis Magkanaris, Omar Awile, Pramod S. Kumbhar, Felix Schürmann, Alastair F. Donaldson
MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL. CC (2023)
Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, Alastair F. Donaldson
Taking Back Control in an Intermediate Representation for GPU Computing. Proc. ACM Program. Lang. 7 (POPL) (2023)
Mayank Sharma, Pingshi Yu, Alastair F. Donaldson
RustSmith: Random Differential Compiler Testing for Rust. ISSTA (2023)
Bastien Lecoeur, Hasan Mohsin, Alastair F. Donaldson
Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Alastair F. Donaldson, Ben Clayton, Ryan Harrison, Hasan Mohsin, David Neto, Vasyl Teliman, Hana Watson
Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages. ICST (2023)
Dan Iorga, John Wickerson, Alastair F. Donaldson
Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools. IEEE Trans. Software Eng. 49 (12) (2023)
Hugues Evrard, Alastair F. Donaldson
Model Checking Futexes. SPIN (2023)
Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson
Grammar Mutation for Testing Input Parsers (Registered Report). FUZZING (2023)
Matt Windsor, Alastair F. Donaldson, John Wickerson
High-coverage metamorphic testing of concurrency support in C compilers. Softw. Test. Verification Reliab. 32 (4) (2022)
Xiaoyuan Xie, Upulee Kanewala, Alastair F. Donaldson
Workshop Summary: 7th International Workshop on Metamorphic Testing (MET 2022). ACM SIGSOFT Softw. Eng. Notes 47 (4) (2022)
Frank Busse, Pritam Gharat, Cristian Cadar, Alastair F. Donaldson
Combining static analysis error traces with dynamic symbolic execution (experience paper). ISSTA (2022)
Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson
CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively. Empir. Softw. Eng. 27 (6) (2022)
Andrei Lascu, Alastair F. Donaldson, Tobias Grosser, Torsten Hoefler
Metamorphic Fuzzing of C++ Libraries. ICST (2022)
Matt Windsor, Alastair F. Donaldson, John Wickerson
C4: the C compiler concurrency checker. ISSTA (2021)
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
Specifying and Testing GPU Workgroup Progress Models. CoRR (2021)
Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, John Wickerson
The semantics of shared memory in Intel CPU/FPGA systems. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, Antoni Karpinski
Test-case reduction and deduplication almost for free with transformation-based compiler testing. PLDI (2021)
Andrei Lascu, Matt Windsor, Alastair F. Donaldson, Tobias Grosser, John Wickerson
Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools. MET@ICSE (2021)
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
Specifying and testing GPU workgroup progress models. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Alastair F. Donaldson
A report on the first virtual PLDI conference. CoRR (2020)
Alastair F. Donaldson, Hugues Evrard, Paul Thomson
Putting Randomized Compiler Testing into Production (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
David Maciver, Alastair F. Donaldson
Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper). ECOOP (2020)
Alastair F. Donaldson, Hugues Evrard, Paul Thomson
Putting Randomized Compiler Testing into Production (Experience Report). ECOOP (2020)
Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour. ASE (2020)
Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson
Slow and Steady: Measuring and Tuning Multicore Interference. RTAS (2020)
Alastair F. Donaldson
Metamorphic testing of Android graphics drivers. MET@ICSE (2019)
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
A Systematic Impact Study for Fuzzer-Found Compiler Bugs. CoRR (2019)
Tyler Sorensen, Sreepathi Pai, Alastair F. Donaldson
Performance Evaluation of OpenCL Standard Support (and Beyond). IWOCL (2019)
Daniel Liew, Cristian Cadar, Alastair F. Donaldson, J. Ryan Stinnett
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing. ESEC/SIGSOFT FSE (2019)
Christopher Lidbury, Alastair F. Donaldson
Sparse record and replay with controlled scheduling. PLDI (2019)
Tyler Sorensen, Sreepathi Pai, Alastair F. Donaldson
One Size Doesn't Fit All: Quantifying Performance Portability of Graph Applications on GPUs. IISWC (2019)
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
Compiler fuzzing: how much does it matter? Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
GPU Schedulers: How Fair Is Fair Enough?. CONCUR (2018)
Dan Iorga, Tyler Sorensen, Alastair F. Donaldson
Do Your Cores Play Nicely? A Portable Framework for Multi-core Interference Tuning and Analysis. CoRR (2018)
Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
Implementing and Evaluating Candidate-Based Invariant Generation. IEEE Trans. Software Eng. 44 (7) (2018)
Jeroen Ketema, Alastair F. Donaldson
Termination analysis for GPU kernels. Sci. Comput. Program. 148 (2017)
Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
Cooperative kernels: GPU multitasking for blocking algorithms. ESEC/SIGSOFT FSE (2017)
Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson
Forward Progress on GPU Concurrency (Invited Talk). CONCUR (2017)
Victor Magron, George A. Constantinides, Alastair F. Donaldson
Certified Roundoff Error Bounds Using Semidefinite Programming. ACM Trans. Math. Softw. 43 (4) (2017)
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle
Floating-point symbolic execution: a case study in n-version programming. ASE (2017)
Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, Cindy Rubio-González
Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352). Dagstuhl Reports 7 (8) (2017)
Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, Paul Thomson
Automated testing of graphics shader compilers. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Junjie Chen, Alastair F. Donaldson, Andreas Zeller, Hongyu Zhang
Testing and Verification of Compilers (Dagstuhl Seminar 17502). Dagstuhl Reports 7 (12) (2017)
Christopher Lidbury, Alastair F. Donaldson
Dynamic race detection for C++11. POPL (2017)
Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version). CoRR (2017)
Daniel Liew, Cristian Cadar, Alastair F. Donaldson
Symbooglix: A Symbolic Execution Engine for Boogie Programs. ICST (2016)
Mark Batty, Alastair F. Donaldson, John Wickerson
Overhauling SC atomics in C11 and OpenCL. POPL (2016)
Cristian Cadar, Alastair F. Donaldson
Analysing the program analyser. ICSE (Companion Volume) (2016)
Moritz Pflanzer, Alastair F. Donaldson, Andrei Lascu
Automatic Test Case Reduction for OpenCL. IWOCL (2016)
Alastair F. Donaldson, Andrei Lascu
Metamorphic testing for (graphics) compilers. MET@ICSE (2016)
Tyler Sorensen, Alastair F. Donaldson
Exposing errors related to weak memory in GPU applications. PLDI (2016)
Paul Thomson, Alastair F. Donaldson, Adam Betts
Concurrency Testing Using Controlled Schedulers: An Empirical Study. ACM Trans. Parallel Comput. 2 (4) (2016)
Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
Implementing and Evaluating Candidate-Based Invariant Generation. CoRR (2016)
Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). FAST (2016)
Tyler Sorensen, Alastair F. Donaldson
The Hitchhiker's Guide to Cross-Platform OpenCL Application Development. IWOCL (2016)
Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Portable inter-workgroup barrier synchronisation for GPUs. OOPSLA (2016)
Christopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson
Many-core compiler fuzzing. PLDI (2015)
Paul Thomson, Alastair F. Donaldson
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing. PPOPP (2015)
Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson
Asynchronous programming, analysis and testing with state machines. PLDI (2015)
John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson
Remote-scope promotion: clarified, rectified, and verified. OOPSLA (2015)
Pantazis Deligiannis, Alastair F. Donaldson, Zvonimir Rakamaric
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T). ASE (2015)
Victor Magron, George A. Constantinides, Alastair F. Donaldson
Certified Roundoff Error Bounds Using Semidefinite Programming. CoRR (2015)
Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Sven van Haastregt, Alexey Kravets, Anton Lokhmotov, Robert David, Elnar Hajiyev
PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming. PACT (2015)
Andrei Lascu, Alastair F. Donaldson
Integrating a large-scale testing campaign in the CK framework. CoRR (2015)
Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
The Design and Implementation of a Verification Technique for GPU Kernels. ACM Trans. Program. Lang. Syst. 37 (3) (2015)
Alastair F. Donaldson, Vasco T. Vasconcelos
Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014). J. Log. Algebraic Methods Program. 84 (5) (2015)
Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS (2015)
Alastair F. Donaldson
The GPUVerify Method: a Tutorial Overview. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Nathan Chong, Alastair F. Donaldson, Jeroen Ketema
A sound and complete abstraction for reasoning about parallel prefix sums. POPL (2014)
Ethel Bardsley, Alastair F. Donaldson, John Wickerson
KernelInterceptor: automating GPU kernel verification by intercepting kernels and their parameters. IWOCL (2014)
Pantazis Deligiannis, Alastair F. Donaldson
Automatic Verification of Data Race Freedom in Device Drivers. ICCSW (2014)
Ethel Bardsley, Alastair F. Donaldson
Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels. NASA Formal Methods (2014)
Paul Thomson, Alastair F. Donaldson, Adam Betts
Concurrency testing using schedule bounding: an empirical study. PPOPP (2014)
Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer
Engineering a Static Verification Tool for GPU Kernels. CAV (2014)
Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu
Automatic verification of active device drivers. ACM SIGOPS Oper. Syst. Rev. 48 (1) (2014)
Riyadh Baghdadi, Albert Cohen, Serge Guelton, Sven Verdoolaege, Jun Inoue, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, Fraser Waters, Alastair F. Donaldson
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs CoRR (2013)
Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. OOPSLA (2013)
Luiz De Rose, Jan Treibig, William Jalby, Alba Cristina Magalhaes Alves de Melo, David Abramson, Alastair F. Donaldson, Tomàs Margalef
Topic 11: Multicore and Manycore Programming - (Introduction). Euro-Par (2013)
Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. ESOP (2013)
Adam Betts, Alastair F. Donaldson
Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis. ECRTS (2013)
Albert Cohen, Alastair F. Donaldson, Marieke Huisman, Joost-Pieter Katoen
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). Dagstuhl Reports 3 (4) (2013)
Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu
Automatic Verification of Message-Based Device Drivers SSV (2012)
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods Syst. Des. 41 (1) (2012)
Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). TACAS (2012)
Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson
GPUVerify: a verifier for GPU kernels. OOPSLA (2012)
Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer
Software Verification Using k-Induction. SAS (2011)
George Russell, Colin Riley, Neil Henning, Uwe Dolinsky, Andrew Richards, Alastair F. Donaldson, Alexander S. van Amesfoort
The impact of diverse memory architectures on multicore consumer software: an industrial perspective from the video games domain. MSPC (2011)
Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer
SCRATCH: a tool for automatic analysis of dma races. PPOPP (2011)
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report) CoRR (2011)
Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu
Static analysis of device drivers: we can do better! APSys (2011)
Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson
Automatic safety proofs for asynchronous memory operations. PPOPP (2011)
Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer
-induction. Formal Methods Syst. Des. 39 (1) (2011)
Alastair F. Donaldson, Leopold Haller, Daniel Kroening
Strengthening Induction-Based Race Checking with Lightweight Static Analysis. VMCAI (2011)
Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson
Safe asynchronous multicore memory operations. ASE (2011)
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. CAV (2011)
Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig
Making Software Verification Tools Really Work. ATVA (2011)
George Russell, Paul Keir, Alastair F. Donaldson, Uwe Dolinsky, Andrew Richards, Colin Riley
Programming Heterogeneous Multicore Systems Using Threading Building Blocks. Euro-Par Workshops (2010)
Thomas Wahl, Alastair F. Donaldson
Replication and Abstraction: Symmetry in Automated Formal Verification. Symmetry 2 (2) (2010)
Alastair F. Donaldson, Nannan He, Daniel Kroening, Philipp Rümmer
Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction. FMCO (2010)

Alastair F. Donaldson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alastair F. Donaldson