David Castro-Perez | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Nobuko Yoshida
29 publications
Francisco Ferreira
7 publications
Lorenzo Gheri
4 publications

research

∙ 03/18/2021

Zooid: a DSL for Certified Multiparty Computation

We design and implement Zooid, a domain specific language for certified ...

0 David Castro-Perez, et al. ∙

research

∙ 10/09/2020

CAMP: Cost-Aware Multiparty Session Protocols

This paper presents CAMP, a new static performance analysis framework fo...

0 David Castro-Perez, et al. ∙