Title Page

Article: dls16foreword-fm000-p doi:

Message from the Chairs

Article: dls16foreword-fm001-p doi:

Committees

Article: dls16foreword-fm002-p doi:

Type Safety Analysis for Dart
Thomas S. Heinze, Anders Møller, and Fabio Strocco
(Aarhus University, Denmark)

Article: dls16main-main2-p doi:

Type Unsoundness in Practice: An Empirical Study of Dart
Gianluca Mezzetti, Anders Møller, and Fabio Strocco
(Aarhus University, Denmark)

Article: dls16main-main11-p doi:

Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
Changhee Park, Hyeonseung Im, and Sukyoung Ryu
(KAIST, South Korea; Kangwon National University, South Korea)

Article: dls16main-main9-p doi:

Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
Mattias De Wael, Janwillem Swalens, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)

Article: dls16main-main10-p doi:

Parallel Virtual Machines with RPython
Remigius Meier, Armin Rigo, and Thomas R. Gross
(ETH Zurich, Switzerland; PyPy.org, Switzerland)

Article: dls16main-main6-p doi:

Building Efficient and Highly Run-Time Adaptable Virtual Machines
Guido Chari, Diego Garbervetsky, and Stefan Marr
(University of Buenos Aires, Argentina; CONICET, Argentina; JKU Linz, Austria)

Article: dls16main-main7-p doi:

Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript
Vincent Foley-Bourgon and Laurie Hendren
(McGill University, Canada)

Article: dls16main-main13-p doi:

Optimizing R Language Execution via Aggressive Speculation
Lukas Stadler, Adam Welc, Christian Humer, and Mick Jordan
(Oracle Labs, Austria; Oracle Labs, USA; Oracle Labs, Switzerland)

Article: dls16main-main14-p doi:

A Small Embedding of Logic Programming with a Simple Complete Search
Jason Hemann, Daniel P. Friedman, William E. Byrd, and Matthew Might
(Indiana University, USA; University of Utah, USA)

Article: dls16main-main21-p doi:

Modular Semantic Actions
Alessandro Warth, Patrick Dubroy, and Tony Garnock-Jones
(Y Combinator Research, USA; Northeastern University, USA)

Article: dls16main-main20-p doi:

Cross-Language Compiler Benchmarking: Are We Fast Yet?
Stefan Marr, Benoit Daloze, and Hanspeter Mössenböck
(JKU Linz, Austria)

Article: dls16main-main3-p doi: