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.



Betts A, Chong N, Deligiannis P, et al., 2018, Implementing and Evaluating Candidate-Based Invariant Generation, Ieee Transactions on Software Engineering, Vol:44, ISSN:0098-5589, Pages:631-650

Ketema J, Donaldson AF, 2017, Termination analysis for GPU kernels, Science of Computer Programming, Vol:148, ISSN:0167-6423, Pages:107-122

Donaldson AF, Evrard H, Lascu A, et al., 2017, Automated testing of graphics shader compilers, Proceedings of the Acm on Programming Languages, Vol:1, Pages:1-29

Magron V, Constantinides G, Donaldson A, 2017, Certified Roundoff Error Bounds Using Semidefinite Programming, Acm Transactions on Mathematical Software, Vol:43, ISSN:0098-3500


Lidbury C, Donaldson AF, 2017, Dynamic Race Detection for C++11, 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), ASSOC COMPUTING MACHINERY, Pages:443-457, ISSN:0362-1340

More Publications