| 2015 | Method Safety Mechanism for Asynchronous Layer Deactivation. | Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi |
| 2015 | Brand Objects for Nominal Typing. | Timothy Jones, Michael Homer, James Noble |
| 2015 | Modular Termination Verification. | Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper |
| 2015 | The Eureka Programming Model for Speculative Task Parallelism. | Shams Imam, Vivek Sarkar |
| 2015 | Analyzing inheritance hierarchies through Formal Concept Analysis: A 22-years walk in a landscape of conceptual structures. | Marianne Huchard |
| 2015 | Micro-Policies: Formally Verified, Tag-Based Security Monitors. | Catalin Hritcu |
| 2015 | Framework for Static Analysis of PHP Applications. | David Hauzar, Jan Kofron |
| 2015 | Type Inference for Place-Oblivious Objects. | Riyaz Haque, Jens Palsberg |
| 2015 | Memory-safe Execution of C on a Java VM. | Matthias Grimmer, Roland Schatz, Chris Seaton, Thomas Wrthinger, Hanspeter Mssenbck |
| 2015 | Foo: a minimal modern OO calculus. | Prodromos Gerakios, George Fourtounis, Yannis Smaragdakis |
| 2015 | Short Paper: The Meaning of Attack-Resistant Systems. | Vijay Ganesh, Sebastian Banescu, Martn Ochoa |
| 2015 | Towards reducing the need for algorithmic primitives in dynamic language VMs through a tracing JIT. | Tim Felgentreff, Tobias Pape, Lars Wassermann, Robert Hirschfeld, Carl Friedrich Bolz |
| 2015 | PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification. | Lu Fang, Liang Dou, Guoqing Xu |
| 2015 | Preexistence revisited. | Roland Ducournau, Julien Pags, Colin Vidal, Jean Privat |
| 2015 | Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. | Sophia Drossopoulou, James Noble, Mark S. Miller |
| 2015 | Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. | Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith |
| 2015 | Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. | Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski |
| 2015 | Techniques and applications for guest-language safepoints. | Benoit Daloze, Chris Seaton, Daniele Bonetta, Hanspeter Mssenbck |
| 2015 | Programming in the Large for the Internet of Things (Invited Talk). | Jong-Deok Choi |
| 2015 | Simple and Effective Type Check Removal through Lazy Basic Block Versioning. | Maxime Chevalier-Boisvert, Marc Feeley |
| 2015 | Access-rights Analysis in the Presence of Subjects. | Paolina Centonze, Marco Pistoia, Omer Tripp |
| 2015 | Context Slices: Lightweight discovery of behavioral adaptations. | Nicols Cardozo, Siobhn Clarke |
| 2015 | Imperative objects with dependent types. | Joana Campos, Vasco T. Vasconcelos |
| 2015 | Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. | Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fhndrich |
| 2015 | Dynamic Enforcement of Dynamic Policies. | Pablo Buiras, Bart van Delft |