Imperial College London

DrAlastairDonaldson

Faculty of EngineeringDepartment of Computing

Reader in Programming Languages
 
 
 
//

Contact

 

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

 
 
//

Location

 

422Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

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.

Publications

Journals

Magron V, Constantinides G, Donaldson AF, 2018, Certified Roundoff Error Bounds Using Semidefinite Programming, Acm Transactions on Mathematical Software, Vol:43, ISSN:1557-7295

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, ISSN:2475-1421

Betts A, Chong N, Deligiannis P, et al., Implementing and evaluating candidate-based invariant generation, Ieee Transactions on Software Engineering, Vol:44, ISSN:1939-3520, Pages:631-650

Conference

Sorensen T, Evrard H, Donaldson AF, 2017, Cooperative kernels: GPU multitasking for blocking algorithms, 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, ACM

More Publications