Title Page

Message from the Chairs

Committees

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

Info

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

Info

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)

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

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

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)

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

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)

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)

Info

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

Info

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

Info