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
Iorga D, Wickerson J, Donaldson A, 2023, Simulating operational memory models using off-the-shelf program analysis tools, Ieee Transactions on Software Engineering, Vol:49, ISSN:0098-5589, Pages:5084-5102
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-pacmpl, Vol:7
Conference
Sharma M, Yu P, Donaldson AF, 2023, RustSmith: Random Differential Compiler Testing for Rust, Pages:1483-1486
Even-Mendoza K, Sharma A, Donaldson A, et al., 2023, GrayC: Greybox fuzzing of compilers and analysers for C, International Symposium on Software Testing and Analysis, ACM, Pages:1219-1231
Mitenkov G, Magkanaris I, Awile O, et al., 2023, MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL, Pages:203-215