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


BibTeX Export

@software{joseph_p_near_2019_3364750,
  author       = {JOSEPH P. NEAR and
                  DAVID DARAIS and
                  CHIKE ABUAH and
                  TIM STEVENS and
                  PRANAV GADDAMADUGU and
                  LUN WANG and
                  NEEL SOMANI and
                  MU ZHANG and
                  NIKHIL SHARMA and
                  ALEX SHAN and
                  DAWN SONG},
  title        = {{Duet: An Expressive Higher-order Language and 
                   Linear Type System for Statically Enforcing
                   Differential Privacy}},
  month        = aug,
  year         = 2019,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3364750},
  url          = {https://doi.org/10.5281/zenodo.3364750}
}
108
41
views
downloads
All versions This version
Views 108108
Downloads 4141
Data volume 66.5 GB66.5 GB
Unique views 105105
Unique downloads 1616

Share

Cite as