Write a Blog >>
ASE 2021
Mon 15 - Fri 19 November 2021 Australia
Matthew Parkinson

Registered user since Tue 13 Sep 2016

Name:Matthew Parkinson
Bio:

Matthew Parkinson is a principal researcher at Microsoft Research Cambridge, and is actively involved in the development of Project Verona and snmalloc. His research is focused around memory and concurrency safety. He has published papers ranging from formal verification to systems and language design.

Country:United Kingdom
Affiliation:Microsoft Research, UK
Research interests:Verification, Runtimes, Compilers

Contributions

ASE 2021 Nekara: Generalized Concurrency Testing
Nekara: Generalized Concurrency Testing
Show activities from other conferences

Using general profile