Abstract is missing.
- Leveraging Sequential Computation for Programming Efficient and Reliable Distributed SystemsIvan Kuraj, Armando Solar-Lezama. [doi]
- Search for Program StructureGabriel Scherer. [doi]
- Everest: Towards a Verified, Drop-in Replacement of HTTPSKarthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay R. 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, Jean Karim Zinzindohoue. [doi]
- Domain-Specific Symbolic CompilationRastislav Bodík, Kartik Chandra, Phitchaya Mangpo Phothilimthana, Nathaniel Yazdani. [doi]
- Natural Language is a Programming Language: Applying Natural Language Processing to Software DevelopmentMichael D. Ernst. [doi]
- Teaching Programming Languages by Experimental and Adversarial ThinkingJustin Pombrio, Shriram Krishnamurthi, Kathi Fisler. [doi]
- Programming Language Abstractions for Modularly Verified Distributed SystemsJames R. Wilcox, Ilya Sergey, Zachary Tatlock. [doi]
- Toward Semantic Foundations for Program EditorsCyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer. [doi]
- Fission: Secure Dynamic Code-Splitting for JavaScriptArjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, Rian Shambaugh. [doi]
- Front Matter, Table of Contents, Preface [doi]
- I Can Parse You: Grammars for DialogsMartin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri. [doi]
- Uncanny Valleys in Declarative Language DesignMark S. Miller, Daniel von Dincklage, Vuk Ercegovac, Brian Chin. [doi]
- The End of History? Using a Proof Assistant to Replace Language Design with Library DesignAdam Chlipala, Benjamin Delaware, Samuel Duchovni, Jason Gross, Clément Pit-Claudel, Sorawit Suriyakarn, Peng Wang, Katherine Ye. [doi]
- Migratory Typing: Ten Years LaterSam Tobin-Hochstadt, Matthias Felleisen, Robby Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa. [doi]
- Programming Language Tools and Techniques for 3D PrintingChandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock. [doi]
- Linking Types for Multi-Language Software: Have Your Cake and Eat It TooDaniel Patterson, Amal Ahmed. [doi]
- Taming the Static Analysis BeastJohn Toman, Dan Grossman. [doi]
- Let's Fix OpenGLAdrian Sampson. [doi]
- AP: Artificial ProgrammingRishabh Singh, Pushmeet Kohli. [doi]
- Intermittent Computing: Challenges and OpportunitiesBrandon Lucia, Vignesh Balaji, Alexei Colin, Kiwan Maeng, Emily Ruppel. [doi]