LIPIcs, Volume 136, SNAPL 2019

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