• Sign in
  • Sign up
conf.researchr.org / David Castro-Perez
  • 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
xTue 8 Jul 06:46
using conf.researchr.org (v1.69.1)
Support page
Sign Up