Software Open Access

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

JOSEPH P. NEAR; DAVID DARAIS; CHIKE ABUAH; TIM STEVENS; PRANAV GADDAMADUGU; LUN WANG; NEEL SOMANI; MU ZHANG; NIKHIL SHARMA; ALEX SHAN; DAWN SONG

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: https://github.com/uvm-plaid/duet 

Files (3.5 GB)
Name Size
duet-hs-master.zip
md5:d23dc41c0fef15a412a39f527764407c
182.6 kB Download
duet.ova
md5:cd9b099add956b3b09d70104313670bc
3.5 GB Download
LICENSE.txt
md5:ddd356e6243c5d649f2629bf489adcca
1.1 kB Download
README.txt
md5:2798032a98f92f97b4abcf7e6f82b0f0
465 Bytes Download
87
38
views
downloads
All versions This version
Views 8787
Downloads 3838
Data volume 66.5 GB66.5 GB
Unique views 8484
Unique downloads 1313

Share

Cite as