Alastair Donaldson is a Professor at Imperial College London, where he leads the Multicore Programming Group and collaborates frequently with the Software Reliability Group.
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour
IEEE/ACM International Conference on Automated Software Engineering, New Ideas and Emerging Results Track (ASE-NIER 2020)
Compiler Fuzzing: How Much Does It Matter?
Proceedings of the ACM on Programming Languages (OOPSLA 2019)
Just Fuzz It: Solving Floating-point Constraints Using Coverage-guided Fuzzing
European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)
Floating-Point Symbolic Execution: A Case Study in N-version Programming
IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)
Analysing the Program Analyser
International Conference on Software Engineering, Visions of 2025 and Beyond Track (ICSE V2025)
Symbooglix: A Symbolic Execution Engine for Boogie Programs
IEEE International Conference on Software Testing, Verification, and Validation (ICST 2016)