Elisabet Lobo-Vesga
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
- Aaron Roth11 talks
- Joseph P. Near7 talks
- Justin Hsu13 talks
- Tejas Chopra11 talks
- Jean-Baptiste Tristan7 talks
- Rob Romijnders3 talks
| title | conference | date |
|---|---|---|
| Sensitivity by Parametricity | OOPSLA 2024 | 2024-10-20 |
A method reduces proving a function’s sensitivity to ordinary type-checking by encoding metric relations at the type level and exploiting parametric… | ||
| Privacy-preserving statistical analyses | foss-north 2020 | 2020-03-22 |
Explains using differential privacy implemented as a Haskell library called Pella that lets analysts write SQL-like queries, symbolically estimate accuracy on… | ||
| nothing matches | ||