| 2015 | A Secure Compiler for ML Modules. Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2015 | A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers. Hiroaki Inoue, Atsushi Igarashi |
| 2015 | A Strong Distillery. Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza |
| 2015 | Abstraction of Optional Numerical Values. Jiangchao Liu, Xavier Rival |
| 2015 | Aliasing Control in an Imperative Pure Calculus. Marco Servetto, Elena Zucca |
| 2015 | Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. Haiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder |
| 2015 | Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs. Yuma Matsumoto, Naoki Kobayashi, Hiroshi Unno |
| 2015 | Bottom-Up Context-Sensitive Pointer Analysis for Java. Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig |
| 2015 | Decision Algorithms for Checking Definability of Order-2 Finitary PCF. Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi |
| 2015 | Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA. Rekha R. Pai |
| 2015 | Fault-Tolerant Resource Reasoning. Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner |
| 2015 | From Call-by-Value to Interaction by Typed Closure Conversion. Ulrich Schöpp |
| 2015 | Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques. Guilhem Jaber, Nicolas Tabareau |
| 2015 | Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects. Tomás Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang, Bruno C. d. S. Oliveira |
| 2015 | More Sound Static Handling of Java Reflection. Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer |
| 2015 | Objects in Polynomial Time. Emmanuel Hainry, Romain Péchoux |
| 2015 | Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings Xinyu Feng, Sungwoo Park |
| 2015 | Programming Techniques for Reversible Comparison Sorts. Holger Bock Axelsen, Tetsuo Yokoyama |
| 2015 | Programming with "Big Code". Eran Yahav |
| 2015 | Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey |
| 2015 | Quasi-Linearizability is Undecidable. Chao Wang, Yi Lv, Gaoang Liu, Peng Wu |
| 2015 | Randomized Resource-Aware Path-Sensitive Static Analysis. Tomasz Dudziak |
| 2015 | Separation Logic with Monadic Inductive Definitions and Implicit Existentials. Makoto Tatsuta, Daisuke Kimura |
| 2015 | Shifting the Blame - A Blame Calculus with Delimited Control. Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi |
| 2015 | Transactions on Mergeable Objects. Deepthi Devaki Akkoorath, Annette Bieniusa |
| 2015 | Tree-Like Grammars and Separation Logic. Christoph Matheja, Christina Jansen, Thomas Noll |
| 2015 | Uncovering JavaScript Performance Code Smells Relevant to Type Mutations. Xiao Xiao, Shi Han, Charles Zhang, Dongmei Zhang |