<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-03401742</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-16T16:54:13+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming</title>
            <author role="aut">
              <persName>
                <forename type="first">Guillaume</forename>
                <surname>Baudart</surname>
              </persName>
              <idno type="halauthorid">658316-0</idno>
              <affiliation ref="#struct-454670"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Javier</forename>
                <surname>Burroni</surname>
              </persName>
              <idno type="halauthorid">2135671-0</idno>
              <affiliation ref="#struct-91189"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Martin</forename>
                <surname>Hirzel</surname>
              </persName>
              <idno type="halauthorid">1157875-0</idno>
              <affiliation ref="#struct-380173"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Louis</forename>
                <surname>Mandel</surname>
              </persName>
              <idno type="halauthorid">221764-0</idno>
              <affiliation ref="#struct-380173"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Avraham</forename>
                <surname>Shinnar</surname>
              </persName>
              <idno type="halauthorid">696017-0</idno>
              <affiliation ref="#struct-380173"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Guillaume</forename>
                <surname>Baudart</surname>
              </persName>
              <email type="md5">95b560eb1b73fc3b133b15a5b52ebecb</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-10-25 14:27:26</date>
              <date type="whenModified">2025-10-24 17:38:04</date>
              <date type="whenReleased">2021-10-25 17:55:47</date>
              <date type="whenProduced">2021-06-20</date>
              <date type="whenEndEmbargoed">2021-10-25</date>
              <ref type="file" target="https://hal.science/hal-03401742v1/document">
                <date notBefore="2021-10-25"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03401742v1/file/pldi21.pdf" id="file-3401742-2983139">
                <date notBefore="2021-10-25"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/1810.00873"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="192306">
                <persName>
                  <forename>Guillaume</forename>
                  <surname>Baudart</surname>
                </persName>
                <email type="md5">95b560eb1b73fc3b133b15a5b52ebecb</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03401742</idno>
            <idno type="halUri">https://hal.science/hal-03401742</idno>
            <idno type="halBibtex">baudart:hal-03401742</idno>
            <idno type="halRefHtml">&lt;i&gt;PLDI '21 - 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation&lt;/i&gt;, Jun 2021, Virtual, Canada. pp.497-510, &lt;a target="_blank" href="https://dx.doi.org/10.1145/3453483.3454058"&gt;&amp;#x27E8;10.1145/3453483.3454058&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">PLDI '21 - 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jun 2021, Virtual, Canada. pp.497-510, &amp;#x27E8;10.1145/3453483.3454058&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3401742-2983139"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-PARIS">Ecole Normale Supérieure de Paris</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="INRIA-PSL">INRIA-PSL</idno>
            <idno type="stamp" n="ENS-PSL" corresp="PSL">École normale supérieure - PSL</idno>
            <idno type="stamp" n="INRIA-ETATSUNIS">Copublications Inria-Etats-Unis</idno>
            <idno type="stamp" n="DIENS" corresp="ENS-PARIS">Département d'informatique de l'ENS-PSL</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Guillaume</forename>
                    <surname>Baudart</surname>
                  </persName>
                  <idno type="halauthorid">658316-0</idno>
                  <affiliation ref="#struct-454670"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Javier</forename>
                    <surname>Burroni</surname>
                  </persName>
                  <idno type="halauthorid">2135671-0</idno>
                  <affiliation ref="#struct-91189"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Martin</forename>
                    <surname>Hirzel</surname>
                  </persName>
                  <idno type="halauthorid">1157875-0</idno>
                  <affiliation ref="#struct-380173"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Louis</forename>
                    <surname>Mandel</surname>
                  </persName>
                  <idno type="halauthorid">221764-0</idno>
                  <affiliation ref="#struct-380173"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Avraham</forename>
                    <surname>Shinnar</surname>
                  </persName>
                  <idno type="halauthorid">696017-0</idno>
                  <affiliation ref="#struct-380173"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>PLDI '21 - 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</title>
                  <date type="start">2021-06-20</date>
                  <date type="end">2021-06-25</date>
                  <settlement>Virtual</settlement>
                  <country key="CA">Canada</country>
                </meeting>
                <imprint>
                  <publisher>ACM</publisher>
                  <biblScope unit="pp">497-510</biblScope>
                  <date type="datePub">2021-06-18</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/3453483.3454058</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Pyro</term>
                <term xml:lang="en">Stan</term>
                <term xml:lang="en">Semantics</term>
                <term xml:lang="en">Theory of computation → Probabilistic computation Probabilistic programming</term>
                <term xml:lang="en">Software and its engineering → Compilers</term>
                <term xml:lang="en">CCS Concepts:</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</classCode>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</classCode>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Stan is a probabilistic programming language that is popular in the statistics community, with a high-level syntax for expressing probabilistic models. Stan differs by nature from generative probabilistic programming languages like Church, Anglican, or Pyro. This paper presents a comprehensive compilation scheme to compile any Stan model to a generative language and proves its correctness. We use our compilation scheme to build two new backends for the Stanc3 compiler targeting Pyro and NumPyro. Experimental results show that the NumPyro backend yields a 2.3x speedup compared to Stan in geometric mean over 26 benchmarks. Building on Pyro we extend Stan with support for explicit variational inference guides and deep probabilistic models. That way, users familiar with Stan get access to new features without having to learn a fundamentally new language.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-454670" status="VALID">
          <idno type="IdRef">158093453</idno>
          <idno type="RNSR">201120983P</idno>
          <idno type="ROR">https://ror.org/02tnfe688</idno>
          <orgName>Parallélisme de Kahn Synchrone</orgName>
          <orgName type="acronym">Parkas</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2029-10-31</date>
          <desc>
            <address>
              <addrLine>45 rue d'Ulm F-75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/parkas</ref>
          </desc>
          <listRelation>
            <relation active="#struct-25027" type="direct"/>
            <relation active="#struct-59704" type="indirect"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
            <relation active="#struct-441569" type="direct"/>
            <relation active="#struct-454310" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-91189" status="VALID">
          <orgName>University of Massachusetts [Amherst]</orgName>
          <orgName type="acronym">UMass Amherst</orgName>
          <desc>
            <address>
              <addrLine>300 Massachusetts Ave, Amherst, MA 01003</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.umass.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-566334" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-380173" status="VALID">
          <orgName>IBM T. J. Watson Research Centre</orgName>
          <desc>
            <address>
              <country key="US"/>
            </address>
            <ref type="url">http://www.research.ibm.com/labs/watson/index.shtml</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-25027" status="VALID">
          <idno type="IdRef">148034055</idno>
          <idno type="RNSR">199812876J</idno>
          <idno type="ROR">05y6rqs46</idno>
          <orgName>Département d'informatique - ENS-PSL</orgName>
          <orgName type="acronym">DI-ENS</orgName>
          <date type="start">1999-01-01</date>
          <desc>
            <address>
              <addrLine>École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.di.ens.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-59704" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-59704" status="VALID">
          <idno type="IdRef">031738419</idno>
          <idno type="ISNI">0000000123532622</idno>
          <idno type="ROR">https://ror.org/05a0dhs15</idno>
          <orgName>École normale supérieure - Paris</orgName>
          <orgName type="acronym">ENS-PSL</orgName>
          <date type="start">1985-07-24</date>
          <desc>
            <address>
              <addrLine>45, Rue d'Ulm - 75230 Paris cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens.psl.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-564132" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-564132" status="VALID">
          <idno type="IdRef">241597595</idno>
          <idno type="ISNI">0000 0004 1784 3645</idno>
          <idno type="ROR">https://ror.org/013cjyk83</idno>
          <orgName>Université Paris Sciences et Lettres</orgName>
          <orgName type="acronym">PSL</orgName>
          <desc>
            <address>
              <addrLine>60 rue Mazarine 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.psl.eu/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-566334" status="VALID">
          <orgName>University of Massachusetts System</orgName>
          <orgName type="acronym">UMASS</orgName>
          <desc>
            <address>
              <country key="US"/>
            </address>
            <ref type="url">https://www.massachusetts.edu/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>