Imperial College London

ProfessorAlastairDonaldson

Faculty of EngineeringDepartment of Computing

Professor of Programming Languages
 
 
 
//

Contact

 

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

 
 
//

Location

 

422Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

I am a Professor in the Department of Computing at Imperial College London where I lead the Multicore Programming research group and teach Object-Oriented Programming.

See my homepage for more information.

Publications

Journals

Klimis V, Clark J, Baker A, et al., 2023, Taking Back Control in an Intermediate Representation for GPU Computing, Proceedings of the Acm on Programming Languages-pacmpl, Vol:7

Even-Mendoza K, Cadar C, Donaldson A, 2022, CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively, Empirical Software Engineering: an International Journal, Vol:27, ISSN:1382-3256

Windsor M, Donaldson AF, Wickerson J, 2022, High-coverage metamorphic testing of concurrency support in C compilers, Software Testing Verification & Reliability, Vol:32, ISSN:0960-0833

Iorga D, Donaldson A, Sorensen T, et al., 2021, The semantics of shared memory in Intel CPU/FPGA systems, Proceedings of the Acm on Programming Languages, Vol:5, ISSN:2475-1421, Pages:1-28

Conference

Busse F, Gharat P, Cadar C, et al., 2022, Combining static analysis error traces with dynamic symbolic execution (experience paper), International Symposium on Software Testing and Analysis (ISSTA 2022), ACM, Pages:568-579

More Publications