Alastair Donaldson is a Professor at Imperial College London, where he leads the Multicore Programming Group and collaborates frequently with the Software Reliability Group.
Group Publications
-
Grammar Mutation for Testing Input Parsers (Registered Report)
Bachir Bendrissou, Cristian Cadar, Alastair Donaldson
International Fuzzing Workshop (FUZZING 2023)
-
GrayC: Greybox Fuzzing of Compilers and Analysers for C
Karine Even-Mendoza, Arindam Sharma, Alastair Donaldson, Cristian Cadar
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
-
Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Frank Busse, Pritam Gharat, Cristian Cadar, Alastair Donaldson
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022)
-
CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively
Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson
Empirical Software Engineering (EMSE 2022)
-
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour
Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson
IEEE/ACM International Conference on Automated Software Engineering, New Ideas and Emerging Results Track (ASE-NIER 2020)
-
Compiler Fuzzing: How Much Does It Matter?
Michael Marcozzi, Qiyi Tang, Alastair Donaldson, Cristian Cadar
Proceedings of the ACM on Programming Languages (OOPSLA 2019)
-
Just Fuzz It: Solving Floating-point Constraints Using Coverage-guided Fuzzing
Daniel Liew, Cristian Cadar, Alastair Donaldson, J. Ryan Stinnett
European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)
-
Floating-Point Symbolic Execution: A Case Study in N-version Programming
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, Klaus Wehrle
IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)
-
Analysing the Program Analyser
Cristian Cadar, Alastair Donaldson
International Conference on Software Engineering, Visions of 2025 and Beyond Track (ICSE V2025)
-
Symbooglix: A Symbolic Execution Engine for Boogie Programs
Daniel Liew, Cristian Cadar, Alastair Donaldson
IEEE International Conference on Software Testing, Verification, and Validation (ICST 2016)