Published August 13, 2019 | Version v1
Software Open

Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy

  • 1. University of Vermont
  • 2. University of California, Berkeley
  • 3. Cornell University


Duet is an expressive higher-order language, linear type system and tool for automatically verifying differential privacy of arbitrary higher-order programs. In addition to general purpose programming, it supports encoding machine learning algorithms such as stochastic gradient descent, as well as common auxiliary data analysis tasks such as clipping, normalization and hyperparameter tuning.

Current version is available at the GitHub repository: 


Files (3.5 GB)

Name Size Download all
182.6 kB Preview Download
3.5 GB Download
1.1 kB Preview Download
465 Bytes Preview Download