Alastair Donaldson
Imperial College London
H-index: 34
Europe-United Kingdom
Top articles of Alastair Donaldson
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Validating Database System Isolation Level Implementations with Version Certificate Recovery | Jack Clark Alastair F Donaldson John Wickerson Manuel Rigger | 2024/4/22 | |
Synchronisation in Language-level Symmetry Reduction for Probabilistic Model Checking | Ivaylo Valkov Alastair Donaldson Alice Miller | 2024/2/27 | |
Challenges in Empirically Testing Memory Persistency Models | Vasileios Klimis Alastair F Donaldson Viktor Vafeiadis John Wickerson Azalea Raad | 2024 | |
MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL | George Mitenkov Ioannis Magkanaris Omar Awile Pramod Kumbhar Felix Schürmann | 2023/2/17 | |
Artifact of GrayC: Greybox Fuzzing of Compilers and Analysers for C: Available, Functional, and Reusable badges | Karine Even-Mendoza Arindam Sharma Alastair F Donaldson Cristian Cadar | 2023/7/17 | |
Taking back control in an intermediate representation for gpu computing | Proceedings of the ACM on Programming Languages | Vasileios Klimis Jack Clark Alan Baker David Neto John Wickerson | 2023/1/9 |
Grammar Mutation for Testing Input Parsers (Registered Report) | Bachir Bendrissou Cristian Cadar Alastair F Donaldson | 2023 | |
RustSmith: Random Differential Compiler Testing for Rust | Mayank Sharma Pingshi Yu Alastair F Donaldson | 2023/7/12 | |
Program reconditioning: Avoiding undefined behaviour when finding and reducing compiler bugs | Proceedings of the ACM on Programming Languages | Bastien Lecoeur Hasan Mohsin Alastair F Donaldson | 2023/6/6 |
Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code | arXiv preprint arXiv:2312.14856 | Shahin Honarvar Mark van der Wilk Alastair Donaldson | 2023/12/22 |
Model Checking Futexes | Hugues Evrard Alastair F Donaldson | 2023/4/26 | |
Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools | IEEE Transactions on Software Engineering | Dan Iorga John Wickerson Alastair F Donaldson | 2023/10/24 |
High‐coverage metamorphic testing of concurrency support in C compilers | Software Testing, Verification and Reliability | Matt Windsor Alastair F Donaldson John Wickerson | 2022/6 |
Metamorphic fuzzing of C++ libraries | Andrei Lascu Alastair F Donaldson Tobias Grosser Torsten Hoefler | 2022/4/4 | |
CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively | Empirical Software Engineering (EMSE) | Karine Even-Mendoza Cristian Cadar Alastair F Donaldson | 2022 |
Workshop Summary: 7th International Workshop on Metamorphic Testing (MET 2022) | ACM SIGSOFT Software Engineering Notes | Xiaoyuan Xie Upulee Kanewala Alastair F Donaldson | 2022/9/28 |
Combining static analysis error traces with dynamic symbolic execution (experience paper) | Frank Busse Pritam Gharat Cristian Cadar Alastair F Donaldson | 2022 | |
The Provability Semantics of Metaprogramming | Alyssa Renata Nicolas Wu Alastair Donaldson | 2022/6/27 | |
Test-case reduction and deduplication almost for free with transformation-based compiler testing | Alastair F Donaldson Paul Thomson Vasyl Teliman Stefano Milizia André Perez Maselco | 2021/6/19 | |
Dreaming up metamorphic relations: Experiences from three fuzzer tools | Andrei Lascu Matt Windsor Alastair F Donaldson Tobias Grosser John Wickerson | 2021/6/2 |
Co-Authors
