<h2>LIPIcs, Volume 32, SNAPL 2015</h2> <ul> <li> <span class="authors">Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, and Greg Morrisett</span> <span class="title">LIPIcs, Volume 32, SNAPL'15, Complete Volume</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015">10.4230/LIPIcs.SNAPL.2015</a> </li> <li> <span class="authors">Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, and Greg Morriset</span> <span class="title">Title, Table of Contents, Preface, List of Authors</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.i">10.4230/LIPIcs.SNAPL.2015.i</a> </li> <li> <span class="authors">Umut A. Acar, Guy Blelloch, Matthew Fluet, Stefan K. Muller, and Ram Raghunathan</span> <span class="title">Coupling Memory and Computation for Locality Management</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.1">10.4230/LIPIcs.SNAPL.2015.1</a> </li> <li> <span class="authors">Amal Ahmed</span> <span class="title">Verified Compilers for a Multi-Language World</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.15">10.4230/LIPIcs.SNAPL.2015.15</a> </li> <li> <span class="authors">Joshua Auerbach, David F. Bacon, Perry Cheng, Stephen J. Fink, Rodric Rabbah, and Sunil Shukla</span> <span class="title">Growing a Software Language for Hardware Design</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.32">10.4230/LIPIcs.SNAPL.2015.32</a> </li> <li> <span class="authors">Pavol Bielik, Veselin Raychev, and Martin Vechev</span> <span class="title">Programming with "Big Code": Lessons, Techniques and Applications</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.41">10.4230/LIPIcs.SNAPL.2015.41</a> </li> <li> <span class="authors">Alvin Cheung, Shoaib Kamil, and Armando Solar-Lezama</span> <span class="title">Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.51">10.4230/LIPIcs.SNAPL.2015.51</a> </li> <li> <span class="authors">Brian Chin, Daniel von Dincklage, Vuk Ercegovac, Peter Hawkins, Mark S. Miller, Franz Och, Christopher Olston, and Fernando Pereira</span> <span class="title">Yedalog: Exploring Knowledge at Scale</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.63">10.4230/LIPIcs.SNAPL.2015.63</a> </li> <li> <span class="authors">Zachary DeVito and Pat Hanrahan</span> <span class="title">The Design of Terra: Harnessing the Best Features of High-Level and Low-Level Languages</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.79">10.4230/LIPIcs.SNAPL.2015.79</a> </li> <li> <span class="authors">Cezara Dragoi, Thomas A. Henzinger, and Damien Zufferey</span> <span class="title">The Need for Language Support for Fault-Tolerant Distributed Systems</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.90">10.4230/LIPIcs.SNAPL.2015.90</a> </li> <li> <span class="authors">Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, and Xi Wang</span> <span class="title">Toward a Dependability Case Language and Workflow for a Radiation Therapy System</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.103">10.4230/LIPIcs.SNAPL.2015.103</a> </li> <li> <span class="authors">Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay McCarthy, and Sam Tobin-Hochstadt</span> <span class="title">The Racket Manifesto</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.113">10.4230/LIPIcs.SNAPL.2015.113</a> </li> <li> <span class="authors">Marco Gaboardi and Justin Hsu</span> <span class="title">A Theory AB Toolbox</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.129">10.4230/LIPIcs.SNAPL.2015.129</a> </li> <li> <span class="authors">Michael Greenberg, Kathleen Fisher, and David Walker</span> <span class="title">Tracking the Flow of Ideas through the Programming Languages Literature</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.140">10.4230/LIPIcs.SNAPL.2015.140</a> </li> <li> <span class="authors">Benjamin Livshits and Todd Mytkowicz</span> <span class="title">InterPoll: Crowd-Sourced Internet Polls</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.156">10.4230/LIPIcs.SNAPL.2015.156</a> </li> <li> <span class="authors">Daniel Marino, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy, and Abhayendra Singh</span> <span class="title">The Silently Shifting Semicolon</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.177">10.4230/LIPIcs.SNAPL.2015.177</a> </li> <li> <span class="authors">Santosh Nagarakatte, Milo M. K. Martin, and Steve Zdancewic</span> <span class="title">Everything You Want to Know About Pointer-Based Checking</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.190">10.4230/LIPIcs.SNAPL.2015.190</a> </li> <li> <span class="authors">Aurojit Panda, Katerina Argyraki, Mooly Sagiv, Michael Schapira, and Scott Shenker</span> <span class="title">New Directions for Network Verification</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.209">10.4230/LIPIcs.SNAPL.2015.209</a> </li> <li> <span class="authors">Francois Pottier and Jonathan Protzenko</span> <span class="title">A Few Lessons from the Mezzo Project</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.221">10.4230/LIPIcs.SNAPL.2015.221</a> </li> <li> <span class="authors">Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Arvind K. Sujeeth, Manohar Jonnalagedda, Nada Amin, Georg Ofenbeck, Alen Stojanov, Yannis Klonatos, Mohammad Dashti, Christoph Koch, Markus Püschel, and Kunle Olukotun</span> <span class="title">Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.238">10.4230/LIPIcs.SNAPL.2015.238</a> </li> <li> <span class="authors">Adrian Sampson, James Bornholt, and Luis Ceze</span> <span class="title">Hardware-Software Co-Design: Not Just a Cliché</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.262">10.4230/LIPIcs.SNAPL.2015.262</a> </li> <li> <span class="authors">Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, and John Tang Boyland</span> <span class="title">Refined Criteria for Gradual Typing</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.274">10.4230/LIPIcs.SNAPL.2015.274</a> </li> <li> <span class="authors">Friedrich Steimann</span> <span class="title">None, One, Many - What's the Difference, Anyhow?</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.294">10.4230/LIPIcs.SNAPL.2015.294</a> </li> <li> <span class="authors">Philip Wadler</span> <span class="title">A Complement to Blame</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.309">10.4230/LIPIcs.SNAPL.2015.309</a> </li> <li> <span class="authors">Kunshan Wang, Yi Lin, Stephen M. Blackburn, Michael Norrish, and Antony L. Hosking</span> <span class="title">Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development</span> <a class="doi" href="https://doi.org/10.4230/LIPIcs.SNAPL.2015.321">10.4230/LIPIcs.SNAPL.2015.321</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
Feedback for Dagstuhl Publishing