Abstract is missing.
- Front Matter, Table of Contents, Preface, Artifacts, Conference Organization [doi]
- Object-Oriented Programming without Inheritance (Invited Talk)Bjarne Stroustrup. 1-1 [doi]
- Programming in the Large for the Internet of Things (Invited Talk)Jong-Deok Choi. 2-2 [doi]
- Software Verification "Across the Stack" (Invited Talk)Alexander J. Summers. 3-3 [doi]
- Towards Practical Gradual TypingAsumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robby Findler, Sam Tobin-Hochstadt, Matthias Felleisen. 4-27 [doi]
- TreatJS: Higher-Order Contracts for JavaScriptsMatthias Keil, Peter Thiemann. 28-51 [doi]
- Trust, but Verify: Two-Phase Typing for Dynamic LanguagesPanagiotis Vekris, Benjamin Cosman, Ranjit Jhala. 52-75 [doi]
- Concrete Types for TypeScriptGregor Richards, Francesco Zappa Nardelli, Jan Vitek. 76-100 [doi]
- Simple and Effective Type Check Removal through Lazy Basic Block VersioningMaxime Chevalier-Boisvert, Marc Feeley. 101-123 [doi]
- Loop Tiling in the Presence of ExceptionsAbhilash Bhandari, V. Krishna Nandivada. 124-148 [doi]
- Transparent Object Proxies in JavaScriptMatthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann. 149-173 [doi]
- A Theory of Tagged ObjectsJoseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin. 174-197 [doi]
- Brand Objects for Nominal TypingTimothy Jones, Michael Homer, James Noble. 198-221 [doi]
- Access-rights Analysis in the Presence of SubjectsPaolina Centonze, Marco Pistoia, Omer Tripp. 222-246 [doi]
- Variability Abstractions: Trading Precision for Speed in Family-Based AnalysesAleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski. 247-270 [doi]
- Optimization Coaching for JavaScriptVincent St-Amour, Shu-yu Guo. 271-295 [doi]
- PerfBlower: Quickly Detecting Memory-Related Performance Problems via AmplificationLu Fang, Liang Dou, Guoqing Xu. 296-320 [doi]
- Hybrid DOM-Sensitive Change Impact Analysis for JavaScriptSaba Alimadadi, Ali Mesbah 0001, Karthik Pattabiraman. 321-345 [doi]
- Intensional Effect PolymorphismYuheng Long , Yu David Liu, Hridesh Rajan. 346-370 [doi]
- Type Inference for Place-Oblivious ObjectsRiyaz Haque, Jens Palsberg. 371-395 [doi]
- Asynchronous Liquid Separation TypesJohannes Kloos, Rupak Majumdar, Viktor Vafeiadis. 396-420 [doi]
- The Eureka Programming Model for Speculative Task ParallelismShams Imam, Vivek Sarkar. 421-444 [doi]
- Cooking the Books: Formalizing JMM Implementation RecipesGustavo Petri, Jan Vitek, Suresh Jagannathan. 445-469 [doi]
- Defining Correctness Conditions for Concurrent Objects in Multicore ArchitecturesBrijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith. 470-494 [doi]
- The Love/Hate Relationship with the C Preprocessor: An Interview StudyFlávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi. 495-518 [doi]
- The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScriptMichael Pradel, Koushik Sen. 519-541 [doi]
- A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and MechanizationAvraham Shinnar, Jérôme Siméon, Martin Hirzel. 542-567 [doi]
- Global Sequence Protocol: A Robust Abstraction for Replicated Shared StateSebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich. 568-590 [doi]
- Streams a la carte: Extensible Pipelines with Object AlgebrasAggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis. 591-613 [doi]
- Lightweight Support for Magic Wands in an Automatic VerifierMalte Schwerhoff, Alexander J. Summers. 614-638 [doi]
- Modular Verification of Finite Blocking in Non-terminating ProgramsPontus Boström, Peter Müller. 639-663 [doi]
- Modular Termination VerificationBart Jacobs, Dragan Bosnacki, Ruurd Kuiper. 664-688 [doi]
- Framework for Static Analysis of PHP ApplicationsDavid Hauzar, Jan Kofron. 689-711 [doi]
- Adaptive Context-sensitive Analysis for JavaScriptShiyi Wei, Barbara G. Ryder. 712-734 [doi]
- Scalable and Precise Static Analysis of JavaScript Applications via Loop-SensitivityChangHee Park, Sukyoung Ryu. 735-756 [doi]