Francisco Ferreira
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 13 in the filters
who talks about the same things
- Nobuko Yoshida13 talks
- David Castro-Perez3 talks
- Raymond Hu7 talks
- Sung-Shik Jongmans4 talks
- Qiancheng Fu4 talks
- Ankush Das6 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… | ||
| Statically Verified Refinements for Multiparty Protocols | OOPSLA 2020 | 2020-11-15 |
Theory proves refined multiparty session types preserve trace equivalence while tracking variable knowledge with multiplicities 0 or ω; implementation builds a… | ||
| nothing matches | ||