ECOOP 2016

27 papers

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