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.
Magron V, Constantinides G, Donaldson AF, 2018, Certified Roundoff Error Bounds Using Semidefinite Programming, Acm Transactions on Mathematical Software, Vol:43, ISSN:1557-7295
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