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., 2018, Implementing and Evaluating Candidate-Based Invariant Generation, Ieee Transactions on Software Engineering, Vol:44, ISSN:0098-5589, Pages:631-650

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

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

More Publications