Login / Signup
Matt Windsor
ORCID
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 5
Top Topics
Distributed Memory Machines
Concurrency Control
Lightweight
High Level Programming Languages
Top Venues
Softw. Test. Verification Reliab.
MET@ICSE
CAV (1)
ISSTA
</>
Publications
</>