LIPIcs, Volume 32, SNAPL 2015

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