Christopher Brown -

Registered user since Wed 9 Aug 2017

Name:Christopher Brown

Affiliation:University of St. Andrews, UK

Contributions

PEPM 2022	Author of Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types within the PEPM 2022-track
PADL 2020	Committee Member in Program Committee within the PADL 2020-track
FHPC 2017	Author of ParaFormance Demo: Democratizing Parallel Software Development within the FHPC 2017-track