Đorđe Žikelić
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2026
on a stage with
all 5 in the filters
who talks about the same things
- Krishnendu Chatterjee11 talks
- Ehsan Kafshdar Goharshady2 talks
- Gilles Barthe17 talks
- Joseph Tassarotti20 talks
- Petr Novotný2 talks
- Mathieu Huot11 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… | ||
| Quantitative Bounds on Resource Usage of Probabilistic Programs | OOPSLA 2024 | 2024-10-20 |
Extends cost supermartingales to yield sound expectation bounds for programs with positive and negative costs and unbounded updates provided a lower bounded… | ||
| 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 | ||