Alastair F. Donaldson

Registered user since Wed 10 Jun 2015

Name:Alastair F. 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
Research interests:Programming Languages, Compilers, Verification, Testing, Multicore Programming

Contributions

MET 2021 Author of Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools within the MET 2021-track
Committee Member in Program Committee within the MET 2021-track
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
PLMW 2021 Speaker of The Lean Researcher within the PLMW 2021-track
Invited Speaker in Invited Speakers within the PLMW 2021-track
PLDI 2021 Author of Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing within the PLDI-track
Committee Member in Steering Committee
ISSTA 2021 Author of C4: the C Compiler Concurrency Checker within the Tool Demonstrations-track
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 SRC - 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