LIPIcs, Volume 71, SNAPL 2017

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