David Darais
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Alexandra Silvaonce
- Chike Abuahonce
- Cole Schlesingeronce
all 9 in the filters
who talks about the same things
- Chike Abuah3 talks
- Lun Wang3 talks
- Joseph P. Near7 talks
- Justin Hsu13 talks
- Cole Schlesinger3 talks
| title | conference | date |
|---|---|---|
| KATch: A Fast Symbolic Verifier for NetKAT | PLDI 2024 | 2024-06-24 |
KATch implements NetKAT verification in Scala and replaces exhaustive packet enumeration with symbolic packets, BDD-style relations called SPs that are… | ||
| Solo: A Lightweight Static Analysis for Differential Privacy | OOPSLA 2022 | 2022-12-05 |
Solo claims a practical, sound type system that enforces differential privacy inside Haskell without linear or relational refinement types. It encodes… | ||
| nothing matches | ||