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

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

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

Contributions

ASE 2023	Committee Member in Program Committee within the Research Papers-track
ECOOP 2023	PC Member in Program Committee within the Research Papers-track
ISSTA 2023	PC Member in Technical Papers within the Technical Papers-track
ICST 2023	Author of Metamorphic Fuzzing of C++ Libraries within the Previous Editions-track Author of Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages within the Industry-track
CC 2023	Author of MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL within the Research Papers-track
POPL 2023	Committee Member in Program Committee within the POPL-track Author of Taking Back Control in an Intermediate Representation for GPU Computing within the POPL-track
ASE 2022	Author of CSMITHEDGE: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively within the Journal-first Papers-track Committee Member in Program Committee within the Research Papers-track
ISSTA 2022	Author of Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper) within the Technical Papers-track
ECOOP 2022	Pearls/Brave New Ideas Area Chair in Program Committee within the Research Papers-track
PLDI 2022	Author of (OOPSLA 2021) The semantics of shared memory in Intel CPU/FPGA systems within the SIGPLAN Track-track Committee Member in SRC Reviewers within the SRC-track Author of The PLDI Song within the PLDI-track
MET 2022	Session Chair of Metamorphic Relations (part of MET 2022) Session Chair of Keynote Speech (part of MET 2022)
ICST 2022	Author of Metamorphic Fuzzing of C++ Libraries within the Research Papers-track
SPLASH 2021	Author of The Semantics of Shared Memory in Intel CPU/FPGA Systems within the OOPSLA-track Author of Specifying and Testing GPU Workgroup Progress Models within the OOPSLA-track Committee Member in External Review Committee within the OOPSLA-track Author of The Semantics of Shared Memory in Intel CPU/FPGA Systems within the Posters-track
ISSTA 2021	Author of C4: the C Compiler Concurrency Checker within the Tool Demonstrations-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
ICSE 2021	Committee Member in Program Committee within the SRC - ACM Student Research Competition-track
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
PLMW 2021	Speaker of The Lean Researcher within the PLMW 2021-track Invited Speaker in Invited Speakers within the PLMW 2021-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
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
ASE 2020	Author of Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour within the NIER track-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
PLMW@PLDI 2020	Speaker of Mentoring talk: Hacks to Compensate for Lack of Novelty in Programming Languages Research within the PLMW@PLDI 2020-track
POPL 2020	Committee Member in Program Committee within the Research Papers-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
PLMW @ PLDI 2019	Author of Hacks to Compensate for Lack of Novelty in Programming Languages Research within the PLMW @ PLDI 2019-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
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
PPoPP 2017	ERC member in External Committee
POPL 2017	Author of Dynamic Race Detection For C++11 within the POPL-track
SPLASH 2016	Author of Portable Inter-workgroup Barrier Synchronisation for GPUs within the OOPSLA-track
WODA 2016	Invited Speaker of Metamorphic Testing for Compilers and Program Analysers within the WODA-track
PLDI 2016	Author of Exposing Errors Related to Weak Memory in GPU Applications within the Research Papers-track
PPoPP 2016	Committee Member in External Review Committee within the Main conference-track
SYCL 2016	Committee Member in Program Committee within the SYCL'16-track Committee Member in Program Committee within the SYCL 2016-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
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
ESOP 2015	Committee Member in Program Committee within the ESOP-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