• Sign in
  • Sign up
conf.researchr.org / David Castro-Perez
  • 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
xSat 28 Jan 23:38
using conf.researchr.org (v1.58.0)
Support page
Sign Up