Shun Kashiwa
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 5 in the filters
who talks about the same things
- Gan Shen4 talks
- Lindsey Kuper15 talks
- Andrew K. Hirsch6 talks
- Ethan Cecchetti6 talks
- Fabrizio Montesi7 talks
- Xueying Qin3 talks
| title | conference | date |
|---|---|---|
| Efficient, Portable, Census-Polymorphic Choreographic Programming | PLDI 2025 | 2025-06-16 |
Claims that conclaves and multiply-located values remove redundant broadcasts and make conditionals communication-efficient, with a formal lambda-C showing… | ||
| ChoRus: Library-Level Choreographic Programming in Rust | CP 2024 | 2024-06-24 |
ChoRus is a Rust cargo library that implements choreographic programming by compiling a global choreography to node code using endpoint projection via… | ||
| HasChor: Functional Choreographic Programming for All | ICFP 2023 | 2023-09-04 |
HasChor is a Haskell library that encodes choreographies as a monad and compiles them to per-node programs via endpoint projection implemented with freer… | ||
| nothing matches | ||