Ehsan Kafshdar Goharshady
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2026
on a stage with
who talks about the same things
- Đorđe Žikelić3 talks
- Krishnendu Chatterjee11 talks
- Aaron Roth11 talks
- Joseph P. Near7 talks
- David Darais5 talks
- Petr Novotný2 talks
| title | conference | date |
|---|---|---|
| SuperDP: Differential Privacy Refutation via Supermartingales | PLDI 2026 | 2026-06-15 |
Method claims automated, sound refutation of ε‑DP by searching for a pair of inputs and a nonnegative output function whose expectations violate the ε bound… | ||
| Equivalence and Similarity Refutation for Probabilistic Programs | PLDI 2024 | 2024-06-24 |
Searches for a concrete output function f and automated certificates—an upper expectation supermartingale for one program and a lower expectation submartingale… | ||
| nothing matches | ||