DLS 2017 - DLS 2017

DLS 2017 - DLS 2017
DLS 2017
Sun 22 - Fri 27 October 2017
Vancouver, Canada
co-located with
SPLASH 2017
Attending
Venue: Hyatt Regency Vancouver
SPLASH 2017
General Chair's Welcome
OOPSLA Chair's Welcome
Awards
Registration
Student Support
Sponsorship
Visas and ETA
Childcare
Code Of Conduct
Program
DLS Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Track/Call
Organization
DLS 2017 Committees
Track Committees
Organizing Committee
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 2017
series
) /
DLS 2017 (
series
) /
DLS 2017
About
Program
Accepted Papers
Instructions for Authors
Most Notable Paper Award
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 13th Dynamic Languages Symposium (DLS) at SPLASH 2017 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 24 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Session 1
DLS 2017
at
Regency C
Chair(s):
Davide Ancona
University of Genova
08:30
60m
Talk
Invited talk: The JavaScriptCore Virtual Machine (joint with VMIL 2017)
DLS 2017
Filip Pizlo
Apple
09:30
30m
Talk
A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools
DLS 2017
Stefan Marr
University of Kent
Carmen Torres Lopez
Dominik Aumayr
Elisa Gonzalez Boix
Vrije Universiteit Brussel
Hanspeter Mössenböck
JKU Linz, Austria
DOI
Pre-print
10:30 - 12:00
Session 2
DLS 2017
at
Regency C
Chair(s):
Manuel Serrano
Inria, France
10:30
30m
Talk
Dynamic Atomicity: Optimizing Swift memory management
DLS 2017
David Ungar
Apple, Inc,
David Grove
IBM Research
Hubertus Franke
11:00
30m
Talk
Object equivalence: Revisiting Object Equality Profiling (An Experience Report)
DLS 2017
Alejandro Infante
Alexandre Bergel
University of Chile
11:30
30m
Talk
Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report
DLS 2017
Javier Pimás
Palantir Solutions
Javier Burroni
Jean Baptiste Arnaud
Stefan Marr
University of Kent
DOI
13:30 - 15:00
Session 3
DLS 2017
at
Regency C
Chair(s):
Davide Ancona
University of Genova
13:30
60m
Talk
Invited talk: Challenges and Progress Toward Efficient Gradual Typing
DLS 2017
Jeremy G. Siek
Indiana University, USA
File Attached
14:30
30m
Talk
Semantics of Asynchronous JavaScript
DLS 2017
Matthew C. Loring
Mark Marron
Microsoft Research
Daan Leijen
Microsoft Research
15:30 - 17:00
Session 4
DLS 2017
at
Regency C
Chair(s):
Marc Feeley
Université de Montréal
15:30
30m
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
DLS 2017
Mallku Soldevila
FAMAF, UNC / CONICET
Beta Ziliani
FAMAF, UNC and CONICET
Bruno Silvestre
Daniel Fridlender
Fabio Mascarenhas
UFRJ
16:00
30m
Talk
The Semantics of Name Resolution in Grace
DLS 2017
Vlad Vergu
TU Delft
Michiel Haisma
TU Delft
Eelco Visser
Delft University of Technology
DOI
Accepted Papers
Title
A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools
DLS 2017
Stefan Marr
Carmen Torres Lopez
Dominik Aumayr
Elisa Gonzalez Boix
Hanspeter Mössenböck
DOI
Pre-print
Decoding Lua: Formal Semantics for the Developer and the Semanticist
DLS 2017
Mallku Soldevila
Beta Ziliani
Bruno Silvestre
Daniel Fridlender
Fabio Mascarenhas
Dynamic Atomicity: Optimizing Swift memory management
DLS 2017
David Ungar
David Grove
Hubertus Franke
Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report
DLS 2017
Javier Pimás
Javier Burroni
Jean Baptiste Arnaud
Stefan Marr
DOI
Invited talk: Challenges and Progress Toward Efficient Gradual Typing
DLS 2017
Jeremy G. Siek
File Attached
Object equivalence: Revisiting Object Equality Profiling (An Experience Report)
DLS 2017
Alejandro Infante
Alexandre Bergel
Semantics of Asynchronous JavaScript
DLS 2017
Matthew C. Loring
Mark Marron
Daan Leijen
The Semantics of Name Resolution in Grace
DLS 2017
Vlad Vergu
Michiel Haisma
Eelco Visser
DOI
Call for Papers
13th Dynamic Languages Symposium (DLS 2017)
Co-located with SPLASH 2017
In association with ACM SIGPLAN
Vancouver, British Columbia, Canada, October 24, 2017
The 13th Dynamic Languages Symposium (DLS) at SPLASH 2017 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
Frameworks and languages for the Cloud and the IoT
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
in PDF format. Submissions must be in the ACM SIGPLAN Conference
acmart
Format, 10 point font, and should not exceed 12 pages. Please see full details in the
instructions for authors
DLS 2017 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.
Program chair
Davide Ancona, DIBRIS, University of Genova, Italy
Program committee
Alexandre Bergel, University of Chile, Chile
Guillaume Baudart, École normale supérieure, France
Lorenzo Bettini, Dipartimento di Statistica, Informatica, Applicazioni ‘Giuseppe Parenti’ (DISIA), Italy
Carl Friedrich Bolz, Germany
Erik Ernst, Google Inc., Denmark
Marc Feeley, Université de Montréal, Canada
Matthew Flatt, University of Utah, United States
Paola Giannini, Università del Piemonte Orientale, Italy
Robert Hirschfeld, HPI, Germany
Roberto Ierusalimschy, PUC-Rio, Brazil
Crista Lopes, University of California, USA
Scott Moore, Harvard University, USA
Nick Papoulias, IRD, UPMC, France
Sukyoung Ryu, KAIST, Korea, South
Chris Seaton, Oracle Labs, United Kingdom
Manuel Serrano, Inria, France
Zehra Sura, IBM Research, United States
Jan Vitek, Northeastern University, Switzerland
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.
DLS 2017 adopts a single-blind review process, therefore authors need to include their names and affiliations in their papers.
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
acmart
Format
sigplan
sub-format,
10 point font
. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM SIGPLAN
acmart
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 with the LaTeX
\settopmatter{printfolios=true}
command. 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.
Most Notable Paper Award
The DLS steering committee is happy to announce the winners of the most notable paper award for DLS 2007.
Mirages: Behavioral Intercession in a Mirror-based Architecture. Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, and Éric Tanter
The paper combined the ideas of explicit mirrors for reflective introspection and modification with implicit mirrors for behavioral intercession. The work in this paper influenced and inspired the design of proxies in the JavaScript language, where it now has applications in areas such as security, testing, and virtualization of the dom.
Important Dates
AoE (UTC-12h)
Tue 24 Oct 2017
DLS
Mon 28 Aug 2017
camera ready
Fri 11 Aug 2017
final notification
Fri 14 Jul 2017
first phase notification
Fri 2 Jun 2017 23:59
paper submission
Fri 26 May 2017 23:59
abstract submission
Organizing Committee
Davide Ancona
Program Chair
University of Genova
Italy
Program Committee
Davide Ancona
Dynamic Languages Symposium Chair
University of Genova
Italy
Guillaume Baudart
IBM Research
United States
Alexandre Bergel
University of Chile
Chile
Lorenzo Bettini
Dipartimento di Statistica, Informatica, Applicazioni ‘Giuseppe Parenti’ (DISIA)
Italy
CF Bolz-Tereick
Germany
Erik Ernst
Google Inc.
Denmark
Marc Feeley
Université de Montréal
Canada
Matthew Flatt
University of Utah
United States
Paola Giannini
Universita' del Piemonte Orientale
Italy
Robert Hirschfeld
HPI
Germany
Roberto Ierusalimschy
PUC-Rio
Brazil
Crista Lopes
University of California, Irvine
Scott Moore
Harvard University
Nick Papoulias
IRD, UPMC, France
France
Sukyoung Ryu
KAIST
Korea, South
Chris Seaton
Oracle Labs
United Kingdom
Manuel Serrano
Inria, France
Zehra Sura
IBM Research
United States
Jan Vitek
Northeastern University, USA
United States
Steering Committee
CF Bolz-Tereick
Steering Committee Chair
Germany
Davide Ancona
University of Genova
Italy
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 16:11