thesis Krishnendu Chatterjee author 2E5DCA20-F248-11E8-B48F-1D18A9856A870000-0002-4561-241X Ehsan Kafshdar Goharshadi author 103b4fa0-896a-11ed-bdf8-87b697bef40d0000-0002-8595-0587 Dorde Zikelic author 294AA7A6-F248-11E8-B48F-1D18A9856A870000-0002-4681-1699 KrCh department This artifact provides the source code, benchmarks, and scripts necessary to build and reproduce the experimental results for `SuperDP` (Accepted at PLDI 2026). It also includes instructions for running the tool on user-provided inputs. Zenodo2026 10.5281/ZENODO.18930113 https://research-explorer.ista.ac.at/record/22102 Chatterjee K, Goharshady E, Zikelic D. SuperDP: Differential Privacy Refutation via Supermartingales. 2026. doi:<a href="https://doi.org/10.5281/ZENODO.18930113">10.5281/ZENODO.18930113</a> Chatterjee K, Goharshady E, Zikelic D. 2026. SuperDP: Differential Privacy Refutation via Supermartingales, Zenodo, <a href="https://doi.org/10.5281/ZENODO.18930113">10.5281/ZENODO.18930113</a>. Chatterjee, Krishnendu, Ehsan Goharshady, and Dorde Zikelic. “SuperDP: Differential Privacy Refutation via Supermartingales.” Zenodo, 2026. <a href="https://doi.org/10.5281/ZENODO.18930113">https://doi.org/10.5281/ZENODO.18930113</a>. K. Chatterjee, E. Goharshady, D. Zikelic, (2026). Chatterjee, Krishnendu, et al. <i>SuperDP: Differential Privacy Refutation via Supermartingales</i>. Zenodo, 2026, doi:<a href="https://doi.org/10.5281/ZENODO.18930113">10.5281/ZENODO.18930113</a>. Chatterjee, K., Goharshady, E., &#38; Zikelic, D. (2026). SuperDP: Differential Privacy Refutation via Supermartingales. Zenodo. <a href="https://doi.org/10.5281/ZENODO.18930113">https://doi.org/10.5281/ZENODO.18930113</a> K. Chatterjee, E. Goharshady, and D. Zikelic, “SuperDP: Differential Privacy Refutation via Supermartingales.” Zenodo, 2026. 221342026-06-24T06:25:29Z2026-06-24T06:39:38Z