Imperial College London


Faculty of EngineeringDepartment of Computing

Reader in Programming Languages



+44 (0)20 7594 8266alastair.donaldson Website




422Huxley BuildingSouth Kensington Campus





I am a Lecturer in Computing at Imperial College London where I am:

I teach courses on Object-Oriented Programming and Software Reliability.

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


Lidbury C, Donaldson AF, 2019, Sparse record and replay with controlled scheduling, the 40th ACM SIGPLAN Conference, ACM Press, Pages:576-593

Liew D, Cadar C, Donaldson A, et al., 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

Sorensen T, Pai S, Donaldson AF, 2019, Performance evaluation of OpenCL standard support (and beyond)

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

More Publications