DARTS, Volume 1, Issue 1, ECOOP 2015

• Camil Demetrescu and Matthew Flatt Front Matter, Table of Contents 10.4230/DARTS.1.1.0
• Matthias Keil and Peter Thiemann TreatJS: Higher-Order Contracts for JavaScript (Artifact) 10.4230/DARTS.1.1.1
• Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, and Peter Thiemann Transparent Object Proxies for JavaScript (Artifact) 10.4230/DARTS.1.1.2
• Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, and Benjamin Chung A Theory of Tagged Objects (Artifact) 10.4230/DARTS.1.1.3
• Timothy Jones, Michael Homer, and James Noble Brand Objects for Nominal Typing (Artifact) 10.4230/DARTS.1.1.4
• Vincent St-Amour and Shu-yu Guo Optimization Coaching for JavaScript (Artifact) 10.4230/DARTS.1.1.5
• Shams Imam and Vivek Sarkar The Eureka Programming Model for Speculative Task Parallelism (Artifact) 10.4230/DARTS.1.1.6
• Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, and Rohit Gheyi The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact) 10.4230/DARTS.1.1.7
• Avraham Shinnar, Jérôme Siméon, and Martin Hirzel A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact) 10.4230/DARTS.1.1.8
• Aggelos Biboudis, Nick Palladinos, George Fourtounis, and Yannis Smaragdakis Streams à la carte: Extensible Pipelines with Object Algebras (Artifact) 10.4230/DARTS.1.1.9
• Malte Schwerhoff and Alexander J. Summers Lightweight Support for Magic Wands in an Automatic Verifier (Artifact) 10.4230/DARTS.1.1.10
• David Hauzar and Jan Kofron Framework for Static Analysis of PHP Applications (Artifact) 10.4230/DARTS.1.1.11
• Changhee Park and Sukyoung Ryu Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact) 10.4230/DARTS.1.1.12