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