Alastair Donaldson

Registered user since Wed 10 Jun 2015

Name: Alastair Donaldson

Bio: Alastair F. Donaldson is a Software Engineer at Google in the Android Graphics Team, and a Reader in the Department of Computing at Imperial College London, where he leads the Multicore Programming Group. Prior to joining Google he was Director of GraphicsFuzz, an Imperial College spinout company which Google acquired in 2018. Prior to joining Imperial, he was a Visting Researcher at Microsoft Research Redmond, a Postdoctoral Research Fellow at the University of Oxford, a Research Engineer at Codeplay Software Ltd., and a PhD student at the University of Glasgow.

Country: United Kingdom

Affiliation: Imperial College London

Personal website: http://www.doc.ic.ac.uk/~afd

Research interests: Programming Languages, Compilers, Verification, Testing, Multicore Programming

Contributions

PLDI 2020General Chair in Organizing Committee
POPL 2020Committee Member in Program Committee within the Research Papers-track
PLMW @ PLDI 2019Author of Hacks to Compensate for Lack of Novelty in Programming Languages Research within the PLMW @ PLDI 2019-track
SPLASH 2019Committee Member in Review Committee within the OOPSLA-track
Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA-track
Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA Artifacts-track
ECOOP 2019Program Chair of ECOOP Awards within the Research Papers-track
Program Chair in Organizing Committee
Session Chair of Closing Keynote (part of Research Papers)
Chair in Program Committee within the Research Papers-track
Author of GraphicsFuzz: Metamorphic Testing for Graphics Shader Compilers within the Curry On-track
PLDI 2019Committee Member in Program Committee within the PLDI Research Papers-track
Session Chair of Concurrency I (part of PLDI Research Papers)
Author of Sparse Record and Replay with Controlled Scheduling within the PLDI Research Papers-track
SPLASH 2018Committee Member in Review Committee within the OOPSLA-track
PPoPP 2017ERC member in External Committee
WODA 2016Invited speaker of Metamorphic Testing for Compilers and Program Analysers within the WODA-track
WPHCSCommittee Member in Program Committee within the -track
POPL 2017Author of Dynamic Race Detection For C++11 within the POPL-track
SYCL 2016Committee Member in Program Committee within the SYCL'16-track
Committee Member in Program Committee within the SYCL 2016-track
ECOOP 2018Session Chair of Testing (part of ECOOP Research Papers)
ECOOP and ISSTAAuthor of A Portable Framework for Multi-core Interference Tuning and Analysis within the Posters-track
SPLASH 2017Author of Automated Testing of Graphics Shader Compilers within the Posters-track
Committee Member in Program Committee within the Workshops-track
Author of Automated Testing of Graphics Shader Compilers within the OOPSLA-track
PLDI 2017Committee Member in External Review Committee
PLDI 2016Author of Exposing Errors Related to Weak Memory in GPU Applications within the Research Papers-track
SPLASH 2016Author of Portable Inter-workgroup Barrier Synchronisation for GPUs within the OOPSLA-track
POPL 2016Author of Overhauling SC atomics in C11 and OpenCL within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
PPoPP 2016Committee Member in External Review Committee within the Main conference-track
ESOP 2015Committee Member in Program Committee within the ESOP-track
SPLASH 2015Author of Remote-scope promotion: clarified, rectified, and verified within the OOPSLA Artifacts-track
Author of Remote-Scope Promotion: Clarified, Rectified, and Verified within the OOPSLA-track
PLDI 2015Author of Many-Core Compiler Fuzzing within the Research Papers-track
Author of Asynchronous Programming, Analysis and Testing with State Machines within the Research Papers-track
DSLDIAuthor of PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs within the DSLDI-track
SPLASH 2013Author of Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels within the OOPSLA-track
SPLASH 2012Author of GPUVerify: a verifier for GPU kernels within the OOPSLA Research Papers-track