
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
- Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code
- Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing
- Compiler Fuzzing in Continuous Integration: a Case Study on Dafny
- Committee Member in Program Committee within the Research Papers-track
Using general profile