Software:

HOARe2

Higher-Order Approximate Relational Refinement Types - github - paper.

DualQuery

Practical Private Query Release for High Dimensional Data - github - paper.

DFuzz

Linear Dependent Types for Differential Privacy- github - paper1 - paper2.

FuzzInfer

Automatic Sensitivity Analysis using Type-based Constraints - tool - paper.