Imperial College London

DrAlastairDonaldson

Faculty of EngineeringDepartment of Computing

Senior Lecturer
 
 
 
//

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 GA, Donaldson A, Certified roundoff error bounds using semidefinite programming, Acm Transactions on Mathematical Software, ISSN:1557-7295

Conference

Cadar C, Donaldson A, Analysing the Program Analyser, International Conference on Software Engineering, Visions of 2025 and Beyond Track, ACM

Lidbury C, Donaldson AF, Dynamic Race Detection for C++11, ACM SIGPLAN Symposium on Principles of Programming Languages, ACM

Batty M, Donaldson AF, Wickerson J, 2016, Overhauling SC Atomics in C11 and OpenCL, 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), ASSOC COMPUTING MACHINERY, Pages:634-648, ISSN:0362-1340

Deligiannis P, McCutchen M, Thomson P, et al., 2016, Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!), 14th USENIX Conference on File and Storage Technologies (FAST), USENIX ASSOC, Pages:249-262

More Publications