David Castro-Perez
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 10 in the filters
who talks about the same things
- Nobuko Yoshida13 talks
- Francisco Ferreira3 talks
- Sung-Shik Jongmans4 talks
- Raymond Hu7 talks
- Lukasz Ziarek3 talks
- Brigitte Pientka15 talks
| title | conference | date |
|---|---|---|
| A Synthetic Reconstruction of Multiparty Session Types | POPL 2026 | 2026-01-11 |
New approach types processes directly against a global labelled transition system, claiming no projection and restoring compositionality while matching the… | ||
| The Concurrent Calculi Formalisation Benchmark | ST30 2023 | 2023-10-22 |
A new benchmark collection targets machine-checking of message-passing concurrency by giving three concrete problems: mechanize session-type subject reduction… | ||
| CAMP: Cost-Aware Multiparty Session Protocols | OOPSLA 2020 | 2020-11-15 |
Extends multiparty session types with runtime cost annotations and extracts per-participant cost equations that account for message sizes, node/CPU counts and… | ||
| nothing matches | ||