conf.researchr.org / Alastair F. Donaldson

Registered user since Wed 10 Jun 2015
Name:Alastair F. Donaldson
Bio:
Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, where he leads the Multicore Programming Group. 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
2025
ICST
- Author of Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code within the Research Papers-track
- Author of Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing within the Research Papers-track
- Author of Compiler Fuzzing in Continuous Integration: a Case Study on Dafny within the Industry-track
- Committee Member in Program Committee within the Research Papers-track
2024
POPL
2023
ISSTA
ICST
2022
ASE
PLDI
MET
2021
SPLASH
- 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
PLDI
MET
2020
SPLASH
ECOOP
- 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
PLDI
2019
SPLASH
ECOOP
- 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