Dr David Castro-Perez
Research Associate
PublicationsI am an RA in the Department of Computing at the Imperial College London. I did my PhD at the University of St Andrews, under the supervision of Kevin Hammond. My research interests are focused on high-level models of parallel computing (algorithmic skeletons), functional programming and typing systems. Specifically, I am interested in using the behavioural types approach for mapping high-level specifications programs to efficient low-level parallel programs.
David is now at the University of Kent
Publications
2021
-
: Zooid: A DSL for Certified Multiparty Computation. PLDI 2021 .
2020
-
: CAMP: Cost-Aware Multiparty Session Protocol. OOPSLA 2020 .
-
: EMTST: Engineering the Meta-theory of Session Types. TACAS 2020 .