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 | 87 | 87 |
| Downloads | 38 | 38 |
| Data volume | 66.5 GB | 66.5 GB |
| Unique views | 84 | 84 |
| Unique downloads | 13 | 13 |
Indexed in
- Publication date:
- August 13, 2019
- DOI:
-
- License (for files):
- MIT License