HTML Export for SNAPL 2019

Copy to Clipboard Download

<h2>LIPIcs, Volume 136, SNAPL 2019</h2>
<ul>
<li>
    <span class="authors">Benjamin S. Lerner, Rastislav Bodík, and Shriram Krishnamurthi</span>
    <span class="title">LIPIcs, Volume 136, SNAPL&#039;19, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019">10.4230/LIPIcs.SNAPL.2019</a>
</li>
<li>
    <span class="authors">Benjamin S. Lerner, Rastislav Bodík, and Shriram Krishnamurthi</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019.0">10.4230/LIPIcs.SNAPL.2019.0</a>
</li>
<li>
    <span class="authors">Michael Carbin</span>
    <span class="title">Overparameterization: A Connection Between Software 1.0 and Software 2.0</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019.1">10.4230/LIPIcs.SNAPL.2019.1</a>
</li>
<li>
    <span class="authors">Sheng Chen and John Peter Campora III</span>
    <span class="title">Blame Tracking and Type Error Debugging</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019.2">10.4230/LIPIcs.SNAPL.2019.2</a>
</li>
<li>
    <span class="authors">Cristina Cifuentes and Gavin Bierman</span>
    <span class="title">What is a Secure Programming Language?</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019.3">10.4230/LIPIcs.SNAPL.2019.3</a>
</li>
<li>
    <span class="authors">Will Crichton</span>
    <span class="title">From Theory to Systems: A Grounded Approach to Programming Language Education</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019.4">10.4230/LIPIcs.SNAPL.2019.4</a>
</li>
<li>
    <span class="authors">Ryan Culpepper, Matthias Felleisen, Matthew Flatt, and Shriram Krishnamurthi</span>
    <span class="title">From Macros to DSLs: The Evolution of Racket</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019.5">10.4230/LIPIcs.SNAPL.2019.5</a>
</li>
<li>
    <span class="authors">Michael Greenberg</span>
    <span class="title">The Dynamic Practice and Static Theory of Gradual Typing</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019.6">10.4230/LIPIcs.SNAPL.2019.6</a>
</li>
<li>
    <span class="authors">Lenny Truong and Pat Hanrahan</span>
    <span class="title">A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019.7">10.4230/LIPIcs.SNAPL.2019.7</a>
</li>
<li>
    <span class="authors">Gowtham Kaki, KC Sivaramakrishnan, and Suresh Jagannathan</span>
    <span class="title">Version Control Is for Your Data Too</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019.8">10.4230/LIPIcs.SNAPL.2019.8</a>
</li>
<li>
    <span class="authors">Shriram Krishnamurthi, Benjamin S. Lerner, and Liam Elberty</span>
    <span class="title">The Next 700 Semantics: A Research Challenge</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019.9">10.4230/LIPIcs.SNAPL.2019.9</a>
</li>
<li>
    <span class="authors">Lindsey Kuper and Peter Alvaro</span>
    <span class="title">Toward Domain-Specific Solvers for Distributed Consistency</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019.10">10.4230/LIPIcs.SNAPL.2019.10</a>
</li>
<li>
    <span class="authors">Mae Milano, Rolph Recto, Tom Magrino, and Andrew C. Myers</span>
    <span class="title">A Tour of Gallifrey, a Language for Geodistributed Programming</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019.11">10.4230/LIPIcs.SNAPL.2019.11</a>
</li>
<li>
    <span class="authors">Robert Rand, Kesha Hietala, and Michael Hicks</span>
    <span class="title">Formal Verification vs. Quantum Uncertainty</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2019.12">10.4230/LIPIcs.SNAPL.2019.12</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode