| 2016 | 30th European Conference on Object-Oriented Programming, ECOOP 2016, Rome, Italy, July 18-22, 2016 Shriram Krishnamurthi, Benjamin S. Lerner |
| 2016 | A Calculus for Variational Programming. Sheng Chen, Martin Erwig, Eric Walkingshaw |
| 2016 | A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi |
| 2016 | Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden |
| 2016 | C++ const and Immutability: An Empirical Study of Writes-Through-const. Jon Eyolfson, Patrick Lam |
| 2016 | Composing Interfering Abstract Protocols. Filipe Militão, Jonathan Aldrich, Luís Caires |
| 2016 | Fine-grained Language Composition: A Case Study. Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt |
| 2016 | Formal Language Recognition with the Java Type Checker. Yossi Gil, Tomer Levy |
| 2016 | Front Matter, Table of Contents, Preface, List of Authors. |
| 2016 | Higher-Order Demand-Driven Program Analysis. Zachary Palmer, Scott F. Smith |
| 2016 | IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs. Daco Harkes, Danny M. Groenewegen, Eelco Visser |
| 2016 | Interprocedural Type Specialization of JavaScript Programs Without Type Analysis. Maxime Chevalier-Boisvert, Marc Feeley |
| 2016 | LJGS: Gradual Security Types for Object-Oriented Languages. Luminous Fennell, Peter Thiemann |
| 2016 | Lightweight Session Programming in Scala. Alceste Scalas, Nobuko Yoshida |
| 2016 | Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic. Kamil Jezek, Jens Dietrich |
| 2016 | Making an Embedded DBMS JIT-friendly. Carl Friedrich Bolz, Darya Kurilova, Laurence Tratt |
| 2016 | Object Inheritance Without Classes. Timothy Jones, Michael Homer, James Noble, Kim B. Bruce |
| 2016 | One Way to Select Many. Jaakko Järvi, Sean Parent |
| 2016 | Program Tailoring: Slicing by Sequential Criteria. Yue Li, Tian Tan, Yifei Zhang, Jingling Xue |
| 2016 | QL: Object-oriented Queries on Relational Data. Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, Max Schäfer |
| 2016 | Reference Capabilities for Concurrency Control. Elias Castegren, Tobias Wrigstad |
| 2016 | Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser |
| 2016 | Staccato: A Bug Finder for Dynamic Configuration Updates. John Toman, Dan Grossman |
| 2016 | The Elements of Decision Alignment. Mark S. Miller, Bill Tulloh |
| 2016 | Towards Ontology-Based Program Analysis. Yue Zhao, Guoyang Chen, Chunhua Liao, Xipeng Shen |
| 2016 | Trace Typing: An Approach for Evaluating Retrofitted Type Systems. Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen |
| 2016 | Transactional Tasks: Parallelism in Software Transactions. Janwillem Swalens, Joeri De Koster, Wolfgang De Meuter |
| 2016 | Transforming Programs between APIs with Many-to-Many Mappings. Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu |