Emmanuel Suárez Acevedo
where else to find them
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Alexandra Silvaonce
- Cassia Torczononce
- Joey Velez-Ginorioonce
all 9 in the filters
who talks about the same things
- Joey Velez-Ginorio3 talks
- Cassia Torczon2 talks
- Danel Ahman7 talks
- Paulo Emílio de Vilhena5 talks
- Ugo Dal Lago14 talks
- Jonathan Immanuel Brachthäuser22 talks
| title | conference | date |
|---|---|---|
| Weighted NetKAT: A Programming Language For Quantitative Network Verification | PLDI 2026 | 2026-06-15 |
Weighted NetKAT extends NetKAT to be parametric on a semiring and provides both denotational and operational semantics plus a compiler that turns programs into… | ||
| Effects and Coeffects in Call-By-Push-Value | OOPSLA 2024 | 2024-10-20 |
Presents a type system for call-by-push-value that statically bounds both observable effects and environmental demands and proves effect-and-coeffect soundness… | ||
| nothing matches | ||