Starling: Lightweight Concurrency Verification with Views. - Matt Windsor; Mike Dodds; Ben Simner; Matthew J. Parkinson (CAV (1), 2017)

A framework for automated concurrency verification. - Matt Windsor (2019)

Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools. - Andrei Lascu; Matt Windsor; Alastair F. Donaldson; Tobias Grosser; John Wickerson (MET@ICSE, 2021)

C4: the C compiler concurrency checker. - Matt Windsor; Alastair F. Donaldson; John Wickerson (ISSTA, 2021)

RoboCert: Property Specification in Robotics. - Matt Windsor; Ana Cavalcanti 001 (ICFEM, 2022)

High-coverage metamorphic testing of concurrency support in C compilers. - Matt Windsor; Alastair F. Donaldson; John Wickerson (Softw. Test. Verification Reliab., 2022)