DLS 2016- Proceedings of the 12th Symposium on Dynamic Languages

Full Citation in the ACM Digital Library


Type safety analysis for Dart

Type unsoundness in practice: an empirical study of Dart

Precise and scalable static analysis of jQuery using a regular expression domain

Just-in-time inheritance: a dynamic and implicit multiple inheritance mechanism

Parallel virtual machines with RPython

Building efficient and highly run-time adaptable virtual machines

Efficiently implementing the copy semantics of MATLAB's arrays in JavaScript

Optimizing R language execution via aggressive speculation

A small embedding of logic programming with a simple complete search

Modular semantic actions

Cross-language compiler benchmarking: are we fast yet?