Toggle navigation
Sign in
Sign up
conf.researchr.org
/
David Castro-Perez
conf.researchr.org general profile
PLDI 2021 profile
POPL 2023 profile
SPLASH 2020 profile
SPLASH 2021 profile
Registered user since Wed 10 Mar 2021
Name:
David Castro-Perez
Country:
United Kingdom
Affiliation:
University of Kent
Contributions
PEPM 2023
Committee Member in Program Committee within the PEPM 2023-track
SPLASH 2021
Committee Member in Reviewers within the Student Research Competition-track
PLDI 2021
Author of Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes within the PLDI-track
SPLASH 2020
Author of CAMP: Cost-Aware Multiparty Session Protocols within the OOPSLA Artifacts-track
Share
x
Sat 28 Jan 23:38