DLS 2016 - Research Papers - DLS 2016

DLS 2016 - Research Papers - DLS 2016
DLS 2016
Tue 1 Nov 2016
Amsterdam, Netherlands
co-located with
SPLASH 2016
Attending
Restaurant: Fifteen
Venue: Mövenpick Hotel Amsterdam City Centre
Venue: Banquet at Beurs van Berlage
Program
DLS Program
Your Program
Tue 1 Nov
Track/Call
Organization
DLS 2016 Committees
Track Committees
Program Committee
Steering Committee
Contributors
People Index
Series
Series
DLS 2023
DLS 2022
DLS 2021
DLS 2020
DLS 2019
DLS 2018
DLS 2017
DLS 2016
DLS 2015
DLS
DLS 2013
DLS 2012
DLS 2011
SPLASH 2016
series
) /
DLS 2016 (
series
) /
DLS 2016 Research Papers
About
Program
Accepted Papers
Instructions for Authors
Call for Papers
From Lisp, Snobol, and Smalltalk to Python, Racket, and Javascript, Dynamic Languages have been playing a fundamental role both in programming research and practice. The 12th Dynamic Languages Symposium (DLS) at SPLASH 2016 is the premier forum for researchers and practitioners to share research and experience on all aspects on Dynamic Languages.
Program Display Configuration
Close
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Tue 1 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:30 - 10:00
Session 1
DLS
at
Matterhorn 1
08:30
90m
Talk
DLS 2016 Keynote: Ignition: Jump-starting an Interpreter for V8
Keynote
DLS
I:
Ross McIlroy
Google
10:30 - 12:10
Session 2
DLS
at
Matterhorn 1
Chair(s):
Gilad Bracha
Google
10:30
25m
Talk
Type Unsoundness in Practice: An Empirical Study of Dart
DLS
Gianluca Mezzetti
Aarhus University, Denmark
Anders Møller
Aarhus University, Denmark
Fabio Strocco
Aarhus University, Denmark
DOI
10:55
25m
Talk
Type Safety Analysis for Dart
DLS
Thomas S. Heinze
Aarhus University, Denmark
Anders Møller
Aarhus University, Denmark
Fabio Strocco
Aarhus University, Denmark
DOI
11:20
25m
Talk
Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
DLS
Changhee Park
KAIST, South Korea
Hyeonseung Im
Kangwon National University, South Korea
Sukyoung Ryu
KAIST, South Korea
DOI
11:45
25m
Talk
Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
DLS
Mattias De Wael
Vrije Universiteit Brussel, Belgium
Janwillem Swalens
Vrije Universiteit Brussel, Belgium
Wolfgang De Meuter
Vrije Universiteit Brussel, Belgium
DOI
Pre-print
File Attached
13:30 - 15:10
Session 3
DLS
at
Matterhorn 1
Chair(s):
Laurence Tratt
King's College London
13:30
25m
Talk
Parallel Virtual Machines with RPython
DLS
Remigius Meier
ETH Zurich, Switzerland
Armin Rigo
PyPy.org, Switzerland
Thomas Gross
ETH Zurich
DOI
13:55
25m
Talk
Building Efficient and Highly Run-Time Adaptable Virtual Machines
DLS
Guido Chari
University of Buenos Aires, Argentina
Diego Garbervetsky
University of Buenos Aires, Argentina
Stefan Marr
Johannes Kepler University Linz
DOI
Pre-print
14:20
25m
Talk
Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript
DLS
Vincent Foley-Bourgon
McGill University, Canada
Laurie Hendren
McGill University, Canada
DOI
14:45
25m
Talk
Optimizing R Language Execution via Aggressive Speculation
DLS
Lukas Stadler
Oracle Labs, Austria
Adam Welc
Oracle Labs, USA
Christian Humer
Oracle Labs, Switzerland
Mick Jordan
Oracle Labs, USA
DOI
15:40 - 17:20
Session 4
DLS
at
Matterhorn 1
Chair(s):
Elisa Gonzalez Boix
Vrije Universiteit Brussel
15:40
25m
Talk
A Small Embedding of Logic Programming with a Simple Complete Search
DLS
Jason Hemann
Indiana University, USA
Daniel P. Friedman
Indiana University, USA
William E. Byrd
University of Utah, USA
Matthew Might
University of Utah, USA
DOI
16:05
25m
Talk
Modular Semantic Actions
DLS
Alessandro Warth
Y Combinator Research, USA
Patrick Dubroy
Y Combinator Research, USA
Tony Garnock-Jones
Northeastern University, USA
DOI
Pre-print
16:30
25m
Talk
Cross-Language Compiler Benchmarking: Are We Fast Yet?
DLS
Stefan Marr
Johannes Kepler University Linz
Benoit Daloze
JKU Linz, Austria
Hanspeter Mössenböck
JKU Linz, Austria
DOI
Pre-print
Accepted Papers
Title
A Small Embedding of Logic Programming with a Simple Complete Search
DLS
Jason Hemann
Daniel P. Friedman
William E. Byrd
Matthew Might
DOI
Building Efficient and Highly Run-Time Adaptable Virtual Machines
DLS
Guido Chari
Diego Garbervetsky
Stefan Marr
DOI
Pre-print
Cross-Language Compiler Benchmarking: Are We Fast Yet?
DLS
Stefan Marr
Benoit Daloze
Hanspeter Mössenböck
DOI
Pre-print
Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript
DLS
Vincent Foley-Bourgon
Laurie Hendren
DOI
Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
DLS
Mattias De Wael
Janwillem Swalens
Wolfgang De Meuter
DOI
Pre-print
File Attached
Modular Semantic Actions
DLS
Alessandro Warth
Patrick Dubroy
Tony Garnock-Jones
DOI
Pre-print
Optimizing R Language Execution via Aggressive Speculation
DLS
Lukas Stadler
Adam Welc
Christian Humer
Mick Jordan
DOI
Parallel Virtual Machines with RPython
DLS
Remigius Meier
Armin Rigo
Thomas Gross
DOI
Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
DLS
Changhee Park
Hyeonseung Im
Sukyoung Ryu
DOI
Type Safety Analysis for Dart
DLS
Thomas S. Heinze
Anders Møller
Fabio Strocco
DOI
Type Unsoundness in Practice: An Empirical Study of Dart
DLS
Gianluca Mezzetti
Anders Møller
Fabio Strocco
DOI
Call for Papers
12th Dynamic Languages Symposium (DLS 2016)
Co-located with SPLASH 2016
In association with ACM SIGPLAN
November 1, 2016, Amsterdam
The 12th Dynamic Languages Symposium (DLS) at SPLASH 2016 invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Areas of interest include but are not limited to:
Innovative language features
Innovative implementation techniques
Innovative applications
Development environments and tools
Experience reports and case studies
Domain-oriented programming
Very late binding, dynamic composition, and run-time adaptation
Reflection and meta-programming
Software evolution
Language symbiosis and multi-paradigm languages
Dynamic optimization
JIT compilation
Soft/optional/gradual typing
Hardware support
Educational approaches and perspectives
Semantics of dynamic languages
Submissions and proceedings
Submissions must not have been published previously nor being under review at other events. Research papers should describe work that advances the current state of the art. Experience papers should be of broad interest and should describe insights gained from substantive practical applications. The program committee will evaluate each contributed paper based on its relevance, significance, clarity, and originality.
Papers are to be submitted electronically at
in PDF format. Submissions must be in the ACM format with 10-point fonts and should not exceed 12 pages. Please see full details in the following link:
DLS 2016 will run a two-phase reviewing process to help authors make their final papers the best that they can be. Accepted papers will be published in the ACM Digital Library and will be freely available for one month, starting two weeks before the event.
Important dates
Submissions: Jun 10, 2016 (UTC, firm deadline)
First phase notification: Jul 22, 2016
Revisions due: July 29, 2016
Final notification: Aug 14, 2016
Camera ready: Aug 26, 2016
DLS: Nov 1, 2016
AUTHORS TAKE NOTE:
The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.
Program chair
Roberto Ierusalimschy, PUC-Rio, Brazil
dls16@inf.puc-rio.br
Program committee
Carl Friedrich Bolz, King’s College London, UK
Gilad Bracha, Google, USA
Marcus Denker, INRIA, France
Zachary DeVito, Stanford, USA
Jonathan Edwards, CDG Labs, USA
Matthew Flatt, University of Utah, USA
Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium
Robert Hirschfeld, Hasso Plattner Institute Potsdam, Germany
Roberto Ierusalimschy, PUC-Rio, Brazil (chair)
Shriram Krishnamurthi, Brown University, USA
Benjamin Livshits, Microsoft Research, USA
Priya Nagpurkar, IBM Research, USA
Joe Gibbs Politz, Swarthmore College, USA
Chris Seaton, Oracle Labs, UK
Manuel Serrano, INRIA, France
Sam Tobin-Hochstadt, Indiana University, USA
Laurence Tratt, King’s College London, UK
Jan Vitek, Northeastern University, USA
Haichuan Wang, Huawei America Research Center, USA
Instructions for Authors
For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the Program Chair.
Submission Site
Please take a moment to read the instructions below before using the
submission site
. Note that camera ready versions will be collected by Conference Publishing Consulting.
Concurrent Submissions
Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by
SIGPLAN’s Republication Policy
. Submitters should also be aware of
ACM’s Policy and Procedures on Plagiarism
Format
Submissions should use the
ACM SIGPLAN Conference Format
10 point font
, using the font family
Times New Roman
. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM SIGPLAN Templates provided
here
. Otherwise, follow the author instructions.
Note that by default the SIGPLAN Conference Format templates produce papers in 9 point font. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission. Setting the preprint option in the LaTeX \documentclass command generates page numbers. Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.
Page Limit
To ensure that papers stay focused on their core contributions, papers should be limited to 12 pages including bibliographic references and appendices.
Publication (Digital Library Early Access Warning)
AUTHORS TAKE NOTE
: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.
Important Dates
Tue 1 Nov 2016
DLS
Fri 26 Aug 2016
Camera ready
Sun 14 Aug 2016
Final notification
Fri 29 Jul 2016
Revisions due
Fri 22 Jul 2016
First phase notification
Fri 10 Jun 2016
Submissions
Program Committee
CF Bolz-Tereick
King's College London
Gilad Bracha
Google
Israel
Marcus Denker
INRIA Lille
France
Zachary DeVito
Stanford, USA
United States
Jonathan Edwards
MIT, USA
United States
Matthew Flatt
University of Utah
Elisa
Gonzalez Boix
Vrije Universiteit Brussel
Belgium
Robert Hirschfeld
HPI
Germany
Roberto Ierusalimschy
Program Chair
PUC-Rio
Brazil
Shriram Krishnamurthi
Brown University
United States
Ben Livshits
Microsoft Research
Priya Nagpurkar
IBM Research, USA
United States
Joe Gibbs
Politz
Swarthmore College
United States
Chris Seaton
Oracle Labs
United Kingdom
Manuel Serrano
INRIA
France
Sam Tobin-Hochstadt
Indiana University
United States
Laurence Tratt
King's College London
United Kingdom
Jan Vitek
Northeastern University
Switzerland
Haichuan Wang
Huawei America Research Center
China
Steering Committee
CF Bolz-Tereick
Steering Committee Chair
King's College London
Davide Ancona
University of Genova
Robert Hirschfeld
HPI
Germany
Roberto Ierusalimschy
PUC-Rio
Brazil
Manuel Serrano
INRIA
France
Peter Thiemann
University of Freiburg
Germany
Laurence Tratt
King's College London
United Kingdom
Fri 24 Apr 14:04