A semantic account of metric preservation

Abstract

<em>Program sensitivity</em> measures how robust a program is to small changes in its input, and is a fundamental notion in domains ranging from differential privacy to cyber-physical systems. A natural way to formalize program sensitivity is in terms of metrics on the input and output spaces, requiring that an <i>r</i>-sensitive function map inputs that… (More)
DOI: 10.1145/3009837.3009890

Topics

3 Figures and Tables

Slides referencing similar topics