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

POPL 2022 Committee Member in Program Committee within the POPL-track
ASE 2021 Author of Nekara: Generalized Concurrency Testing within the Research Papers-track
ICOOOLPS 2019 Author of Keynote: Project Snowflake: What we learnt. within the ICOOOLPS 2019-track
MPLR 2019 Committee Member in Program Committee within the MPLR 2019-track
ISMM 2019 Author of snmalloc: A Message Passing Allocator within the ISMM 2019-track
POPL 2019 Committee Member in Program Committee within the Research Papers-track
FTfJP 2018 Committee Member in Program Committee within the FTfJP-track
SPLASH 2017 Author of Project Snowflake: Non-blocking Safe Manual Memory Management for .NET within the OOPSLA-track
PLDI 2017 Author of Verifying invariants of lock-free data structures with rely-guarantee and refinement type within the PLDI Research Papers-track
Author of Simple, fast and safe manual memory management within the PLDI Research Papers-track
ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
PLDI 2015 Author of The Push/Pull model of transactions within the Research Papers-track
ECOOP 2015 Committee Member in Programme Committee within the Research Track-track
SPLASH 2014 Committee Member in External Review Committee within the OOPSLA-track