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

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

Betts A, Chong N, Deligiannis P, et al., Implementing and Evaluating Candidate-Based Invariant Generation, Ieee Transactions on Software Engineering, ISSN:1939-3520

Donaldson AF, Evrard H, Lascu A, et al., Automated Testing of Graphics Shader Compilers, Proceedings of the Acm on Programming Languages, ISSN:2475-1421

Magron V, Constantinides GA, Donaldson A, Certified roundoff error bounds using semidefinite programming, Acm Transactions on Mathematical Software, 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

More Publications