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

PLMW 2021	Invited Speaker in Invited Speakers within the PLMW 2021-track
PLDI 2021	Committee Member in Steering Committee
PLMW@PLDI 2020	Speaker of Mentoring talk: Hacks to Compensate for Lack of Novelty in Programming Languages Research within the PLMW@PLDI 2020-track
ASE 2020	Author of Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour within the NIER track-track
ECOOP 2020	Committee Member in Academic Panel within the Doctoral Symposium-track Author of Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer within the Research Papers-track Author of Putting Randomized Compiler Testing into Production within the Artifacts-track Author of Putting Randomized Compiler Testing into Production within the Research Papers-track
SPLASH 2020	Author of Metamorphic Testing of Android Graphics Drivers [Invited Talk] within the Doctoral Symposium-track Mentor in Mentors within the PLMW-track
PLDI 2020	Session Chair of Welcome! (part of PLDI Research Papers) Session Chair of Welcome! (part of PLDI Research Papers) Session Chair of Welcome! (part of PLDI Research Papers) General Chair in Organizing Committee
POPL 2020	Committee Member in Program Committee within the Research Papers-track
ICSE 2021	Committee Member in Program Committee within the ACM Student Research Competition-track
PLMW @ PLDI 2019	Author of Hacks to Compensate for Lack of Novelty in Programming Languages Research within the PLMW @ PLDI 2019-track
SPLASH 2019	Committee 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 2019	Program 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 2019	Committee 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 2018	Committee Member in Review Committee within the OOPSLA-track
PPoPP 2017	ERC member in External Committee
WODA 2016	Invited Speaker of Metamorphic Testing for Compilers and Program Analysers within the WODA-track
WPHCS	Committee Member in Program Committee within the -track
POPL 2017	Author of Dynamic Race Detection For C++11 within the POPL-track
SYCL 2016	Committee Member in Program Committee within the SYCL'16-track Committee Member in Program Committee within the SYCL 2016-track
ECOOP 2018	Session Chair of Testing (part of ECOOP Research Papers)
ECOOP and ISSTA 2018	Author of A Portable Framework for Multi-core Interference Tuning and Analysis within the Posters-track
SPLASH 2017	Author 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 2017	Committee Member in External Review Committee
PLDI 2016	Author of Exposing Errors Related to Weak Memory in GPU Applications within the Research Papers-track
SPLASH 2016	Author of Portable Inter-workgroup Barrier Synchronisation for GPUs within the OOPSLA-track
POPL 2016	Author 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 2016	Committee Member in External Review Committee within the Main conference-track
ESOP 2015	Committee Member in Program Committee within the ESOP-track
SPLASH 2015	Author 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 2015	Author 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
DSLDI	Author of PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs within the DSLDI-track
SPLASH 2013	Author of Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels within the OOPSLA-track
SPLASH 2012	Author of GPUVerify: a verifier for GPU kernels within the OOPSLA Research Papers-track