HTML Export for SNAPL 2017

Copy to Clipboard Download

<h2>LIPIcs, Volume 71, SNAPL 2017</h2>
<ul>
<li>
    <span class="authors">Benjamin S. Lerner, Rastislav Bodík, and Shriram Krishnamurthi</span>
    <span class="title">LIPIcs, Volume 71, SNAPL&#039;17, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017">10.4230/LIPIcs.SNAPL.2017</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</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.0">10.4230/LIPIcs.SNAPL.2017.0</a>
</li>
<li>
    <span class="authors">Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, and Jean-Karim Zinzindohoué</span>
    <span class="title">Everest: Towards a Verified, Drop-in Replacement of HTTPS</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.1">10.4230/LIPIcs.SNAPL.2017.1</a>
</li>
<li>
    <span class="authors">Rastislav Bodík, Kartik Chandra, Phitchaya Mangpo Phothilimthana, and Nathaniel Yazdani</span>
    <span class="title">Domain-Specific Symbolic Compilation</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.2">10.4230/LIPIcs.SNAPL.2017.2</a>
</li>
<li>
    <span class="authors">Adam Chlipala, Benjamin Delaware, Samuel Duchovni, Jason Gross, Clément Pit-Claudel, Sorawit Suriyakarn, Peng Wang, and Katherine Ye</span>
    <span class="title">The End of History? Using a Proof Assistant to Replace Language Design with Library Design</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.3">10.4230/LIPIcs.SNAPL.2017.3</a>
</li>
<li>
    <span class="authors">Michael D. Ernst</span>
    <span class="title">Natural Language is a Programming Language: Applying Natural Language Processing to Software Development</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.4">10.4230/LIPIcs.SNAPL.2017.4</a>
</li>
<li>
    <span class="authors">Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, and Rian Shambaugh</span>
    <span class="title">Fission: Secure Dynamic Code-Splitting for JavaScript</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.5">10.4230/LIPIcs.SNAPL.2017.5</a>
</li>
<li>
    <span class="authors">Martin Hirzel, Louis Mandel, Avraham Shinnar, Jerome Simeon, and Mandana Vaziri</span>
    <span class="title">I Can Parse You: Grammars for Dialogs</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.6">10.4230/LIPIcs.SNAPL.2017.6</a>
</li>
<li>
    <span class="authors">Ivan Kuraj and Armando Solar-Lezama</span>
    <span class="title">Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.7">10.4230/LIPIcs.SNAPL.2017.7</a>
</li>
<li>
    <span class="authors">Brandon Lucia, Vignesh Balaji, Alexei Colin, Kiwan Maeng, and Emily Ruppel</span>
    <span class="title">Intermittent Computing: Challenges and Opportunities</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.8">10.4230/LIPIcs.SNAPL.2017.8</a>
</li>
<li>
    <span class="authors">Mark S. Miller, Daniel von Dincklage, Vuk Ercegovac, and Brian Chin</span>
    <span class="title">Uncanny Valleys in Declarative Language Design</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.9">10.4230/LIPIcs.SNAPL.2017.9</a>
</li>
<li>
    <span class="authors">Chandrakana Nandi, Anat Caspi, Dan Grossman, and Zachary Tatlock</span>
    <span class="title">Programming Language Tools and Techniques for 3D Printing</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.10">10.4230/LIPIcs.SNAPL.2017.10</a>
</li>
<li>
    <span class="authors">Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, and Matthew A. Hammer</span>
    <span class="title">Toward Semantic Foundations for Program Editors</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.11">10.4230/LIPIcs.SNAPL.2017.11</a>
</li>
<li>
    <span class="authors">Daniel Patterson and Amal Ahmed</span>
    <span class="title">Linking Types for Multi-Language Software: Have Your Cake and Eat It Too</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.12">10.4230/LIPIcs.SNAPL.2017.12</a>
</li>
<li>
    <span class="authors">Justin Pombrio, Shriram Krishnamurthi, and Kathi Fisler</span>
    <span class="title">Teaching Programming Languages by Experimental and Adversarial Thinking</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.13">10.4230/LIPIcs.SNAPL.2017.13</a>
</li>
<li>
    <span class="authors">Adrian Sampson</span>
    <span class="title">Let&#039;s Fix OpenGL</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.14">10.4230/LIPIcs.SNAPL.2017.14</a>
</li>
<li>
    <span class="authors">Gabriel Scherer</span>
    <span class="title">Search for Program Structure</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.15">10.4230/LIPIcs.SNAPL.2017.15</a>
</li>
<li>
    <span class="authors">Rishabh Singh and Pushmeet Kohli</span>
    <span class="title">AP: Artificial Programming</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.16">10.4230/LIPIcs.SNAPL.2017.16</a>
</li>
<li>
    <span class="authors">Sam Tobin-Hochstadt, Matthias Felleisen, Robert Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, and Asumu Takikawa</span>
    <span class="title">Migratory Typing: Ten Years Later</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.17">10.4230/LIPIcs.SNAPL.2017.17</a>
</li>
<li>
    <span class="authors">John Toman and Dan Grossman</span>
    <span class="title">Taming the Static Analysis Beast</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.18">10.4230/LIPIcs.SNAPL.2017.18</a>
</li>
<li>
    <span class="authors">James R. Wilcox, Ilya Sergey, and Zachary Tatlock</span>
    <span class="title">Programming Language Abstractions for Modularly Verified Distributed Systems</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2017.19">10.4230/LIPIcs.SNAPL.2017.19</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