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
Personal website:https://www.microsoft.com/en-us/research/people/mattpark/
Twitter:https://twitter.com/ParkyMatthew
GitHub:https://github.com/mjp41
Research interests:Verification, Runtimes, Compilers
Contributions
| ISMM 2023 | Wait-free weak reference counting | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile