| 2017 | 31st European Conference on Object-Oriented Programming, ECOOP 2017, Barcelona, Spain, June 19-23, 2017 Peter Müller |
| 2017 | A Capability-Based Module System for Authority Control. Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich |
| 2017 | A Co-contextual Type Checker for Featherweight Java . Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini |
| 2017 | A Generic Approach to Flow-Sensitive Polymorphic Effects. Colin S. Gordon |
| 2017 | A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida |
| 2017 | An Empirical Study on Deoptimization in the Graal Compiler. Yudi Zheng, Lubomír Bulej, Walter Binder |
| 2017 | Challenges to Achieving High Availability at Scale (Invited Talk). Wolfram Schulte |
| 2017 | Compiling Tree Transforms to Operate on Packed Representations. Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan Newton |
| 2017 | Composing Software in an Age of Dissonance (Invited Talk). Gilad Bracha |
| 2017 | Concurrent Data Structures Linked in Time. Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee |
| 2017 | Contracts in the Wild: A Study of Java Programs. Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada |
| 2017 | Data Exploration through Dot-driven Development. Tomas Petricek |
| 2017 | EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse. Weixin Zhang, Bruno C. d. S. Oliveira |
| 2017 | Evil Pickles: DoS Attacks Based on Object-Graph Engineering. Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin |
| 2017 | Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors. |
| 2017 | IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition. Daco Harkes, Eelco Visser |
| 2017 | Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis. Baptiste Saleil, Marc Feeley |
| 2017 | Mailbox Abstractions for Static Analysis of Actor Programs. Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover |
| 2017 | Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski |
| 2017 | Mixing Metaphors: Actors as Channels and Channels as Actors. Simon Fowler, Sam Lindley, Philip Wadler |
| 2017 | Modelling Homogeneous Generative Meta-Programming. Martin Berger, Laurence Tratt, Christian Urban |
| 2017 | Parallelizing Julia with a Non-Invasive DSL. Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman |
| 2017 | Proactive Synthesis of Recursive Tree-to-String Functions from Examples. Mikaël Mayer, Jad Hamza, Viktor Kuncak |
| 2017 | Promising Compilation to ARMv8 POP. Anton Podkopaev, Ori Lahav, Viktor Vafeiadis |
| 2017 | Relaxed Linear References for Lock-free Data Structures. Elias Castegren, Tobias Wrigstad |
| 2017 | Retargeting Gradual Typing (Invited Talk). Ross Tate |
| 2017 | Speeding Up Maximal Causality Reduction with Static Dependency Analysis. Shiyou Huang, Jeff Huang |
| 2017 | Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris. Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis |
| 2017 | Towards Strong Normalization for Dependent Object Types (DOT). Fei Wang, Tiark Rompf |
| 2017 | Type Abstraction for Relaxed Noninterference. Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter |
| 2017 | What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective. Jeff Huang, Arun K. Rajagopalan |
| 2017 | muPuppet: A Declarative Subset of the Puppet Configuration Language. Weili Fu, Roly Perera, Paul Anderson, James Cheney |