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.
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
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
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