Abstract is missing.
- Blame Tracking and Type Error DebuggingSheng Chen 0008, John Peter Campora III. [doi]
- The Next 700 Semantics: A Research ChallengeShriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty. [doi]
- What is a Secure Programming Language?Cristina Cifuentes, Gavin M. Bierman. [doi]
- From Macros to DSLs: The Evolution of RacketRyan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi. [doi]
- The Dynamic Practice and Static Theory of Gradual TypingMichael Greenberg 0002. [doi]
- Formal Verification vs. Quantum UncertaintyRobert Rand 0001, Kesha Hietala, Michael Hicks 0001. [doi]
- Toward Domain-Specific Solvers for Distributed ConsistencyLindsey Kuper, Peter Alvaro. [doi]
- Version Control Is for Your Data TooGowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan. [doi]
- A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design ProductivityLenny Truong, Pat Hanrahan. [doi]
- Overparameterization: A Connection Between Software 1.0 and Software 2.0Michael Carbin. [doi]
- From Theory to Systems: A Grounded Approach to Programming Language EducationWill Crichton. [doi]
- A Tour of Gallifrey, a Language for Geodistributed ProgrammingMatthew Milano, Rolph Recto, Tom Magrino, Andrew C. Myers. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]