
Registered user since Tue 13 Sep 2016
Name: Matthew Parkinson
Country: United Kingdom
Affiliation: Microsoft Research, UK
Research interests: Verification, Runtimes, Compilers
Contributions
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile