PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / LCTES 2017 (series) / Matthew J. Parkinson
Registered user since Tue 13 Sep 2016
Name:Matthew J. 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