Nobuko Yoshida
where else to find them
linkedin:nobuko-yoshida-7b200952
what they talk about
all 6 in the filters
where they keep going back
all 5 in the filters
on a stage with
all 27 in the filters
who talks about the same things
- Raymond Hu7 talks
- Francisco Ferreira3 talks
- David Castro-Perez3 talks
- Brigitte Pientka15 talks
- Alceste Scalas5 talks
- Lukasz Ziarek3 talks
| title | conference | date |
|---|---|---|
| Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types | POPL 2025 | 2025-01-19 |
Compares top-down global-type workflows against bottom-up endpoint inference with concrete algorithms: a new quadratic type-graph subtyping algorithm replacing… | ||
| Hybrid Multiparty Session Types: Compositionality for Protocol Specification th... | OOPSLA 2023 | 2023-10-23 |
Claims a semantics-preserving method to compose separately-designed subprotocols into a single well-formed global MPST, introduces hybrid types that mix global… | ||
| 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… | ||
| Beyond Types for Dyadic Interaction | ST30 2023 | 2023-10-22 |
Chronicles the 30-year path from Honda’s dyadic session types to multiparty session types and a linear logic correspondence that explains duality and resource… | ||
| Multicompatibility for Multiparty-Session Composition | PPDP 2023 | 2023-10-22 |
Defines a conservative, flexible method to compose many concurrent systems at once by treating chosen participants as forwarder gateways and encoding… | ||
| Asynchronous and Synchronous Mixed Sessions | ST30 2023 | 2023-10-22 |
Claim: binary session types with mixed choices (CMV+) do not increase synchronous expressiveness — neither for linear nor unrestricted channels — despite… | ||
| Benchmarks for Multiparty Session Types | ST30 2023 | 2023-10-22 |
Proposal for a community-maintained suite of benchmarks for multiparty session types that collects canonical protocols (two‑buyer, travel agency, etc.)… | ||
| Precise Subtyping for Asynchronous Multiparty Sessions | POPL 2021 | 2021-01-17 |
First formalization of precise subtyping for asynchronous multiparty sessions that proves both soundness (safe replacement) and completeness (no larger… | ||
| 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… | ||
| Featherweight Go | OOPSLA 2020 | 2020-11-15 |
Defines a minimal core language Featherweight Go (FG) and its generic extension Featherweight Generic Go (FGG), proves a semantics-by-translation claim that… | ||
| 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… | ||
| Multiparty Motion Coordination: From Choreographies to Robotics Programs | OOPSLA 2020 | 2020-11-15 |
Combines multiparty session types with assume‑guarantee reasoning to avoid exponential state blowup and statically verify choreographies of robots; a Python… | ||
| Session Types: A History and Applications | Code Mesh LDN 2020 | 2020-11-05 |
Session types are presented as a way to prevent communication mismatches and deadlocks, moving from binary session types to multiparty session types for… | ||
| nothing matches | ||