Dynamic Languages Symposium 2016  OOPSLA/SPLASH 2015

Co-located with SPLASH 2016

In association with ACM SIGPLAN

Amsterdam, The Netherlands, November 1, 2016




08:30-10:00 Invited Talk
08:30–08:40 Welcome and Introduction
Invited Talk
08:40–10:00 Ignition: Jump-starting an Interpreter for V8
Ross McIlroy
(presentation, 2 MB)
10:00-10:30 Coffee break
10:30-12:10 Research Papers 1
10:30–10:55 Type Unsoundness in Practice: An Empirical Study of Dart
Gianluca Mezzetti, Anders Møller, and Fabio Strocco
10:55-11:20 Type Safety Analysis for Dart
Thomas S. Heinze, Anders Møller, and Fabio Strocco
11:20–11:45 Precise and Scalable Static Analysis of jQuery Using a Regular Expression Domain
Changhee Park, Hyeonseung Im, and Sukyoung Ryu
11:45–12:10 Just-in-Time Inheritance
Mattias De Wael, Janwillem Swalens, and Wolfgang De Meuter
12:10-13:30 Lunch break
13:30-15:10 Research Papers 2
13:30–13:55 Parallel Virtual Machines with RPython
Remigius Meier, Armin Rigo, and Thomas Gross
13:55–14:20 Building Efficient and Highly Run-time Adaptable Virtual Machines
Guido Chari, Diego Garbervetsky, and Stefan Marr
14:20–14:45 Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript
Vincent Foley-Bourgon and Laurie Hendren
14:45–15:10 Optimizing R Language Execution via Aggressive Speculation
Lukas Stadler, Adam Welc, Christian Humer, and Mick Jordan
15:10-15:40 Coffee break
15:40-16:55 Research Papers 3
15:40–16:05 A Small Embedding of Logic Programming with a Simple Complete Search
Jason Hemann, Dan Friedman, William E. Byrd, and Matt Might
16:05–16:30 Modular Semantic Actions
Alessandro Warth, Patrick Dubroy, and Tony Garnock-Jones
16:30–16:55 Cross-Language Compiler Benchmarking—Are We Fast Yet?
Stefan Marr, Benoit Daloze, and Hanspeter Mössenböck

ACM SIGPLAN    ACM Digital Library