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
Lecoeur B, Mohsin H, Donaldson AF, 2023, Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs, Proceedings of the Acm on Programming Languages, Vol:7
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
Conference
Evrard H, Donaldson AF, 2023, Model Checking Futexes, Pages:41-58, ISSN:0302-9743
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