SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Matthew J. Parkinson

Registered user since Tue 13 Sep 2016

Name:Matthew J. Parkinson
Bio:

Matthew Parkinson is a principal researcher at Microsoft in 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 Azure Research
Research interests:Verification, Runtimes, Compilers

Contributions

Show activities from other conferences

SPLASH 2023-profile
View general profile