I am a Professor in the Department of Computing at Imperial College London where I lead the Multicore Programming research group and teach Object-Oriented Programming.
See my homepage for more information.
Even-Mendoza K, Cadar C, Donaldson A, 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), IEEE / ACM
et al., 2019, Just fuzz it: solving floating-point constraints using coverage-guided fuzzing, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’19), ACM, Pages:521-532
Lidbury C, Donaldson AF, 2019, Sparse record and replay with controlled scheduling, the 40th ACM SIGPLAN Conference, ACM Press, Pages:576-593
Sorensen T, Pai S, Donaldson AF, 2019, Performance Evaluation of OpenCL Standard Support (and Beyond), 8th International Workshop on OpenCL (IWOCL), ASSOC COMPUTING MACHINERY
Sorensen T, Evrard H, Donaldson AF, 2018, GPU schedulers: How fair is fair enough?, 29th International Conference on Concurrency Theory (CONCUR 2018), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, ISSN:1868-8969