2 Linear Dependent Types and Sensitivity Analysis : DFuzz


Function sensitivity—how much a function output can change with respect to changes in the input—is a key property in many research areas. For instance, in the field of differential privacy, a common mechanism for making a (possibly non-private) query private involves establishing a bound on its sensitivity. One way to bound the sensitivity of functional… (More)

3 Figures and Tables


  • Presentations referencing similar topics