To illustrate the expressiveness of and its capability of synthesizing privacy mechanisms of different characteristics, we used a standard benchmark as seen in prior works [1]}, [2]}, [3]}, [4]}, [5]}, including SVT under different conditions, other variants of SVT such as NumSVT and GapSVT, the Report Noisy Max mechanism [6]}, Partial Sum and Smart Sum [7]}. The psudo-code and transformed program of each case study can be found in the Appendix. All of the mechanisms we synthesize are proved to satisfy \(\) -differential privacy. Here we focus on the most interesting mechanisms; the rest can be found in the Appendix.
