Matt Windsor

C4: the C compiler concurrency checker

John Wickerson, Alastair F. Donaldson, Matt Windsor, 2021, ISSTA.

A framework for automated concurrency verification

Matthew Bernard Windsor, Matt Windsor, 2019 .

Starling: Lightweight Concurrency Verification with Views

Matthew J. Parkinson, Mike Dodds, Ben Simner, 2017, CAV.

High‐coverage metamorphic testing of concurrency support in C compilers

John Wickerson, A. Donaldson, Matt Windsor, 2022, Softw. Test. Verification Reliab..