Group Publications

• Who checks the checkers? Automatically finding bugs in C-to-RTL formal equivalence checkers

  Michalis Pardalos, Alastair F. Donaldson, Emiliano Morini, Laura Pozzi, John Wickerson

  Proceedings of Design and Verification Conference Europe (DVCon Europe 2024)

• Validating Database System Isolation Level Implementations with Version Certificate Recovery

  Jack Clark, Alastair F. Donaldson, John Wickerson, Manuel Rigger

  Proceedings of the 19th European Conference on Computer Systems (EuroSys'24)

• Challenges in Empirically Testing Memory Persistency Models

  Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad

  Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results

• Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations

  Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson

  Proceedings of the ACM Programming Languages

• Taking Back Control in an Intermediate Representation for GPU Computing

  Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, Alastair F. Donaldson

  Proceedings of the ACM Programming Languages

• Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools

  Dan Iorga, John Wickerson, Alastair F. Donaldson

  IEEE Transactions on Software Engineering

• High-coverage Metamorphic Testing of Concurrency Support in C Compilers

  Matt Windsor, Alastair F. Donaldson, John Wickerson

  Software: Testing, Verification and Reliability

• C4: The C Compiler Concurrency Checker

  Matt Windsor, Alastair F. Donaldson, John Wickerson

  Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21)

• Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools

  Andrei Lascu, Matt Windsor, Alastair F. Donaldson, Tobias Grosser, John Wickerson

  6th International Workshop on Metamorphic Testing, in concunction with the 43rd International Conference on Software Engineering

• The Semantics of Shared Memory in Intel CPU/FPGA Systems

  Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, John Wickerson

  Proceedings of the ACM Programming Languages

• Slow and Steady: Measuring and Tuning Multicore Interference

  Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson

  26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'20)

• Forward Progress on GPU Concurrency

  Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson

  28th International Conference on Concurrency Theory (CONCUR'17)

• Overhauling SC atomics in C11 and OpenCL

  Mark Batty, John Wickerson, Alastair F. Donaldson

  43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'16)

• Remote-Scope Promotion: Clarified, Rectified, and Verified

  John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson

  30th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'15)

• GPU Concurrency: Weak Behaviours and Programming Assumptions

  Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson

  20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'15)

• The Design and Implementation of a Verification Technique for GPU Kernels

  Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson

  ACM Transactions on Programming Languages and Systems

• KernelInterceptor: Automating GPU Kernel Verification by Intercepting Kernels and their Parameters

  Ethel Bardsley, Alastair F. Donaldson, John Wickerson

  International Workshop on OpenCL (IWOCL'14)