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