| 2015 | Building debuggers and other tools: we can "have it all". | Michael L. Van de Vanter |
| 2015 | Data-centric metaprogramming in object-oriented languages. | Vlad Ureche |
| 2015 | Towards Practical Gradual Typing. | Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2015 | Software Verification "Across the Stack" (Invited Talk). | Alexander J. Summers |
| 2015 | Object-Oriented Programming without Inheritance (Invited Talk). | Bjarne Stroustrup |
| 2015 | Optimization Coaching for JavaScript. | Vincent St-Amour, Shu-yu Guo |
| 2015 | Efficient Layered Method Execution in ContextAmber. | Matthias Springer, Jens Lincke, Robert Hirschfeld |
| 2015 | A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. | Avraham Shinnar, Jrme Simon, Martin Hirzel |
| 2015 | Lightweight Support for Magic Wands in an Automatic Verifier. | Malte Schwerhoff, Alexander J. Summers |
| 2015 | Concrete Types for TypeScript. | Gregor Richards, Francesco Zappa Nardelli, Jan Vitek |
| 2015 | The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript. | Michael Pradel, Koushik Sen |
| 2015 | Cooking the Books: Formalizing JMM Implementation Recipes. | Gustavo Petri, Jan Vitek, Suresh Jagannathan |
| 2015 | Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity. | Changhee Park, Sukyoung Ryu |
| 2015 | Call-target-specific method arguments. | Fabio Niephaus, Matthias Springer, Tim Felgentreff, Tobias Pape, Robert Hirschfeld |
| 2015 | Short Paper: On High-Assurance Information-Flow-Secure Programming Languages. | Toby C. Murray |
| 2015 | The Love/Hate Relationship with the C Preprocessor: An Interview Study. | Flvio Medeiros, Christian Kstner, Mrcio Ribeiro, Sarah Nadi, Rohit Gheyi |
| 2015 | Towards a Decoupled Context-Oriented Programming Language for the Internet of Things. | Baptiste Maingret, Frdric Le Moul, Julien Ponge, Nicolas Stouls, Jian Cao, Yannick Loiseau |
| 2015 | Intensional Effect Polymorphism. | Yuheng Long, Yu David Liu, Hridesh Rajan |
| 2015 | Connecting Object Constraints with Context-oriented Programming: Scoping Constraints with Layers and Activating Layers with Constraints. | Stefan Lehmann, Tim Felgentreff, Robert Hirschfeld |
| 2015 | A Theory of Tagged Objects. | Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin |
| 2015 | Tierless Programming and Reasoning for Networks. | Shriram Krishnamurthi |
| 2015 | Asynchronous Liquid Separation Types. | Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis |
| 2015 | TreatJS: Higher-Order Contracts for JavaScripts. | Matthias Keil, Peter Thiemann |
| 2015 | Transparent Object Proxies in JavaScript. | Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann |
| 2015 | Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. | Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski |