Toggle navigation
Sign in
Sign up
conf.researchr.org
/
David Castro-Perez
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
PLDI 2021 profile
POPL 2023 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2023 profile
Registered user since Wed 10 Mar 2021
Name:
David Castro-Perez
Country:
United Kingdom
Affiliation:
University of Kent
Contributions
2023
ST
Author of The Concurrent Calculi Formalisation Benchmark within the ST30-track
ECOOP
Author of Dynamically Updatable Multiparty Session Protocols within the Research Papers-track
PEPM
Committee Member in Program Committee within the PEPM 2023-track
2021
SPLASH
Committee Member in Reviewers within the Student Research Competition-track
PLDI
Author of Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes within the PLDI-track
2020
SPLASH
Author of CAMP: Cost-Aware Multiparty Session Protocols within the OOPSLA Artifacts-track
Share
x
Mon 18 Nov 23:17