Tiago Ferreira
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
on a stage with
all 7 in the filters
who talks about the same things
- Mark Moeller2 talks
- Nate Foster24 talks
- Tobias Kappé4 talks
- Kevin Batz8 talks
- Cole Schlesinger3 talks
- Alexandra Silva14 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… | ||
| Active Learning of Symbolic NetKAT Automata | PLDI 2025 | 2025-06-16 |
Presents algorithms that learn symbolic NetKAT automata from active queries, proves soundness and termination, and ships a prototype implementation with… | ||
| nothing matches | ||