Matt Windsor

According to our database, Matt Windsor authored at least 6 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

High-coverage metamorphic testing of concurrency support in C compilers.

Matt Windsor, Alastair F. Donaldson, John Wickerson

Softw. Test. Verification Reliab., 2022

RoboCert: Property Specification in Robotics.

Matt Windsor, Ana Cavalcanti

Proceedings of the Formal Methods and Software Engineering, 2022

2021

C4: the C compiler concurrency checker.

Matt Windsor, Alastair F. Donaldson, John Wickerson

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools.

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

Proceedings of the 6th IEEE/ACM International Workshop on Metamorphic Testing, 2021

2019

A framework for automated concurrency verification.

Matt Windsor

PhD thesis, 2019

2017

Starling: Lightweight Concurrency Verification with Views.

Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson

Proceedings of the Computer Aided Verification - 29th International Conference, 2017