| 2015 | 29th European Conference on Object-Oriented Programming, ECOOP 2015, Prague, Czech Republic, July 5-10, 2015 John Tang Boyland |
| 2015 | A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. Avraham Shinnar, Jérôme Siméon, Martin Hirzel |
| 2015 | A Theory of Tagged Objects. Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin |
| 2015 | Access-rights Analysis in the Presence of Subjects. Paolina Centonze, Marco Pistoia, Omer Tripp |
| 2015 | Adaptive Context-sensitive Analysis for JavaScript. Shiyi Wei, Barbara G. Ryder |
| 2015 | Asynchronous Liquid Separation Types. Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis |
| 2015 | Brand Objects for Nominal Typing. Timothy Jones, Michael Homer, James Noble |
| 2015 | Concrete Types for TypeScript. Gregor Richards, Francesco Zappa Nardelli, Jan Vitek |
| 2015 | Cooking the Books: Formalizing JMM Implementation Recipes. Gustavo Petri, Jan Vitek, Suresh Jagannathan |
| 2015 | Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith |
| 2015 | Framework for Static Analysis of PHP Applications. David Hauzar, Jan Kofron |
| 2015 | Front Matter, Table of Contents, Preface, Artifacts, Conference Organization. |
| 2015 | Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich |
| 2015 | Hybrid DOM-Sensitive Change Impact Analysis for JavaScript. Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman |
| 2015 | Intensional Effect Polymorphism. Yuheng Long, Yu David Liu, Hridesh Rajan |
| 2015 | Lightweight Support for Magic Wands in an Automatic Verifier. Malte Schwerhoff, Alexander J. Summers |
| 2015 | Loop Tiling in the Presence of Exceptions. Abhilash Bhandari, V. Krishna Nandivada |
| 2015 | Modular Termination Verification. Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper |
| 2015 | Modular Verification of Finite Blocking in Non-terminating Programs. Pontus Boström, Peter Müller |
| 2015 | Object-Oriented Programming without Inheritance (Invited Talk). Bjarne Stroustrup |
| 2015 | Optimization Coaching for JavaScript. Vincent St-Amour, Shu-Yu Guo |
| 2015 | PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification. Lu Fang, Liang Dou, Guoqing Xu |
| 2015 | Programming in the Large for the Internet of Things (Invited Talk). Jong-Deok Choi |
| 2015 | Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity. Changhee Park, Sukyoung Ryu |
| 2015 | Simple and Effective Type Check Removal through Lazy Basic Block Versioning. Maxime Chevalier-Boisvert, Marc Feeley |
| 2015 | Software Verification "Across the Stack" (Invited Talk). Alexander J. Summers |
| 2015 | Streams a la carte: Extensible Pipelines with Object Algebras. Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis |
| 2015 | The Eureka Programming Model for Speculative Task Parallelism. Shams Imam, Vivek Sarkar |
| 2015 | The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript. Michael Pradel, Koushik Sen |
| 2015 | The Love/Hate Relationship with the C Preprocessor: An Interview Study. Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi |
| 2015 | Towards Practical Gradual Typing. Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2015 | Transparent Object Proxies in JavaScript. Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann |
| 2015 | TreatJS: Higher-Order Contracts for JavaScripts. Matthias Keil, Peter Thiemann |
| 2015 | Trust, but Verify: Two-Phase Typing for Dynamic Languages. Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala |
| 2015 | Type Inference for Place-Oblivious Objects. Riyaz Haque, Jens Palsberg |
| 2015 | Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski |