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


MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nmm##2200000uu#4500</leader>
  <controlfield tag="005">20200125072450.0</controlfield>
  <controlfield tag="001">3364750</controlfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">University of Vermont</subfield>
    <subfield code="a">DAVID DARAIS</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">University of Vermont</subfield>
    <subfield code="a">CHIKE ABUAH</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">University of Vermont</subfield>
    <subfield code="a">TIM STEVENS</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">University of California, Berkeley</subfield>
    <subfield code="a">PRANAV GADDAMADUGU</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">University of California, Berkeley</subfield>
    <subfield code="a">LUN WANG</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">University of California, Berkeley</subfield>
    <subfield code="a">NEEL SOMANI</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Cornell University</subfield>
    <subfield code="a">MU ZHANG</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">University of California, Berkeley</subfield>
    <subfield code="a">NIKHIL SHARMA</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">University of California, Berkeley</subfield>
    <subfield code="a">ALEX SHAN</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">University of California, Berkeley</subfield>
    <subfield code="a">DAWN SONG</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">182634</subfield>
    <subfield code="z">md5:d23dc41c0fef15a412a39f527764407c</subfield>
    <subfield code="u">https://zenodo.org/record/3364750/files/duet-hs-master.zip</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">3497328128</subfield>
    <subfield code="z">md5:cd9b099add956b3b09d70104313670bc</subfield>
    <subfield code="u">https://zenodo.org/record/3364750/files/duet.ova</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1090</subfield>
    <subfield code="z">md5:ddd356e6243c5d649f2629bf489adcca</subfield>
    <subfield code="u">https://zenodo.org/record/3364750/files/LICENSE.txt</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">465</subfield>
    <subfield code="z">md5:2798032a98f92f97b4abcf7e6f82b0f0</subfield>
    <subfield code="u">https://zenodo.org/record/3364750/files/README.txt</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2019-08-13</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">software</subfield>
    <subfield code="o">oai:zenodo.org:3364750</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">University of Vermont</subfield>
    <subfield code="a">JOSEPH P. NEAR</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u">https://opensource.org/licenses/MIT</subfield>
    <subfield code="a">MIT License</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&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;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.3364749</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.3364750</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">software</subfield>
  </datafield>
</record>
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