Published 2026
| Version v2
Software
Open
SuperDP: Differential Privacy Refutation via Supermartingales
Authors/Creators
Description
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.