DARTS, Volume 3, Issue 2, ECOOP 2017

• Philipp Haller, Michael Pradel, and Tijs van der Storm Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee 10.4230/DARTS.3.2.0
• Daco C. Harkes and Eelco Visser IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact) 10.4230/DARTS.3.2.1
• Darya Melicher, Yangqingwei Shi, Alex Potanin, and Jonathan Aldrich A Capability-Based Module System for Authority Control (Artifact) 10.4230/DARTS.3.2.2
• Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact) 10.4230/DARTS.3.2.3
• Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee Concurrent Data Structures Linked in Time (Artifact) 10.4230/DARTS.3.2.4
• Fei Wang and Tiark Rompf Towards Strong Normalization for Dependent Object Types (DOT) (Artifact) 10.4230/DARTS.3.2.5
• Jens Dietrich, David J. Pearce, Kamil Jezek, and Premek Brada Contracts in the Wild: A Study of Java Programs (Artifact) 10.4230/DARTS.3.2.6
• Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, and Tatiana Shpeisman Parallelizing Julia with a Non-Invasive DSL (Artifact) 10.4230/DARTS.3.2.7
• Jack Williams, J. Garrett Morris, Philip Wadler, and Jakub Zalewski Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact) 10.4230/DARTS.3.2.8
• Raimil Cruz, Tamara Rezk, Bernard Serpette, and Éric Tanter Type Abstraction for Relaxed Noninterference (Artifact) 10.4230/DARTS.3.2.9
• Weixin Zhang and Bruno C. d. S. Oliveira EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact) 10.4230/DARTS.3.2.10
• Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover Mailbox Abstractions for Static Analysis of Actor Programs (Artifact) 10.4230/DARTS.3.2.11
• Tomas Petricek Data Exploration through Dot-driven Development (Artifact) 10.4230/DARTS.3.2.12
• Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, and Alex Potanin Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact) 10.4230/DARTS.3.2.13
• Baptiste Saleil and Marc Feeley Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact) 10.4230/DARTS.3.2.14
• Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, and Viktor Vafeiadis Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact) 10.4230/DARTS.3.2.15
• Mikaël Mayer, Jad Hamza, and Viktor Kuncak Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact) 10.4230/DARTS.3.2.16