Matt Windsor

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 5

Top Topics

Distributed Memory Machines

Concurrency Control

High Level Programming Languages

Top Venues

Softw. Test. Verification Reliab.

Publications

Matt Windsor, Alastair F. Donaldson, John Wickerson
High-coverage metamorphic testing of concurrency support in C compilers. Softw. Test. Verification Reliab. 32 (4) (2022)
Matt Windsor, Ana Cavalcanti
RoboCert: Property Specification in Robotics. ICFEM (2022)
Matt Windsor, Alastair F. Donaldson, John Wickerson
C4: the C compiler concurrency checker. ISSTA (2021)
Andrei Lascu, Matt Windsor, Alastair F. Donaldson, Tobias Grosser, John Wickerson
Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools. MET@ICSE (2021)
Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson
Starling: Lightweight Concurrency Verification with Views. CAV (1) (2017)