Mako P. Bates
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
- Joseph P. Near3×
- Gan Shenonce
- Lindsey Kuperonce
all 5 in the filters
who talks about the same things
nobody close enough yet
| 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… | ||
| We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values | CP 2024 | 2024-06-24 |
A new choreographic language 𐤄λsmall adds multiply located values and multicast so a value can be located at many parties; typechecking now implies deadlock… | ||
| πMPC: Automatic Security Proofs for MPC Protocols | LAFI 2023 | 2023-01-15 |
A domain-specific language plus static analyzer aims to produce automatic simulator synthesis for secure multiparty computation by validating programs in two… | ||
| nothing matches | ||