@misc{22134,
  abstract     = {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.},
  author       = {Chatterjee, Krishnendu and Kafshdar Goharshadi, Ehsan and Zikelic, Dorde},
  publisher    = {Zenodo},
  title        = {{SuperDP: Differential Privacy Refutation via Supermartingales}},
  doi          = {10.5281/ZENODO.18930113},
  year         = {2026},
}