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


DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://datacite.org/schema/kernel-4" xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4.1/metadata.xsd">
  <identifier identifierType="DOI">10.5281/zenodo.3364750</identifier>
  <creators>
    <creator>
      <creatorName>JOSEPH P. NEAR</creatorName>
      <affiliation>University of Vermont</affiliation>
    </creator>
    <creator>
      <creatorName>DAVID DARAIS</creatorName>
      <affiliation>University of Vermont</affiliation>
    </creator>
    <creator>
      <creatorName>CHIKE ABUAH</creatorName>
      <affiliation>University of Vermont</affiliation>
    </creator>
    <creator>
      <creatorName>TIM STEVENS</creatorName>
      <affiliation>University of Vermont</affiliation>
    </creator>
    <creator>
      <creatorName>PRANAV GADDAMADUGU</creatorName>
      <affiliation>University of California, Berkeley</affiliation>
    </creator>
    <creator>
      <creatorName>LUN WANG</creatorName>
      <affiliation>University of California, Berkeley</affiliation>
    </creator>
    <creator>
      <creatorName>NEEL SOMANI</creatorName>
      <affiliation>University of California, Berkeley</affiliation>
    </creator>
    <creator>
      <creatorName>MU ZHANG</creatorName>
      <affiliation>Cornell University</affiliation>
    </creator>
    <creator>
      <creatorName>NIKHIL SHARMA</creatorName>
      <affiliation>University of California, Berkeley</affiliation>
    </creator>
    <creator>
      <creatorName>ALEX SHAN</creatorName>
      <affiliation>University of California, Berkeley</affiliation>
    </creator>
    <creator>
      <creatorName>DAWN SONG</creatorName>
      <affiliation>University of California, Berkeley</affiliation>
    </creator>
  </creators>
  <titles>
    <title>Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy</title>
  </titles>
  <publisher>Zenodo</publisher>
  <publicationYear>2019</publicationYear>
  <dates>
    <date dateType="Issued">2019-08-13</date>
  </dates>
  <resourceType resourceTypeGeneral="Software"/>
  <alternateIdentifiers>
    <alternateIdentifier alternateIdentifierType="url">https://zenodo.org/record/3364750</alternateIdentifier>
  </alternateIdentifiers>
  <relatedIdentifiers>
    <relatedIdentifier relatedIdentifierType="DOI" relationType="IsVersionOf">10.5281/zenodo.3364749</relatedIdentifier>
  </relatedIdentifiers>
  <rightsList>
    <rights rightsURI="https://opensource.org/licenses/MIT">MIT License</rights>
    <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights>
  </rightsList>
  <descriptions>
    <description descriptionType="Abstract">&lt;p&gt;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.&lt;/p&gt;

&lt;p&gt;Current version is available at the GitHub repository:&amp;nbsp;&lt;a href="https://github.com/uvm-plaid/duet"&gt;https://github.com/uvm-plaid/duet&lt;/a&gt;&amp;nbsp;&lt;/p&gt;</description>
  </descriptions>
</resource>
111
41
views
downloads
All versions This version
Views 111111
Downloads 4141
Data volume 66.5 GB66.5 GB
Unique views 108108
Unique downloads 1616

Share

Cite as