DLS 2015 - SPLASH 2015
SPLASH 2015
Fri 23 - Fri 30 October 2015
Pittsburgh, Pennsylvania, United States
Attending
Conference Venue: Sheraton Station Square Hotel
Conference Banquet: Carnegie Museum of Natural History
About
Accommodation
Anti-Harassment Policy
Dining
Downloads
Insider's Guide to Pittsburgh
Maps
Mobile App
Registration
Students
Support Program
Supporters
Travel
Visas
Program
SPLASH Program
Your Program
Program Overview
SPLASH Proceedings
Filter by Day
Fri 23 Oct
Sat 24 Oct
Sun 25 Oct
Mon 26 Oct
Tue 27 Oct
Wed 28 Oct
Thu 29 Oct
Fri 30 Oct
Tracks
SPLASH 2015
Demos
Doctoral Symposium
Keynotes
OOPSLA
OOPSLA Artifacts
Panels
Posters
PLMW
RPG
SPLASH-E
SPLASH-I
Social Events
Student Research Competition
Student Volunteers
Tutorials
Wavefront
Workshops
Co-hosted Conferences
GPCE
GPCE
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
PLoP
PLoP
PLoP
SLE
Workshops
AGERE!
DSM
DSM
DSM
ETX
Future Programming Workshop
MobileDeLi
NOOL
NOOL
NOOL
Parsing@SLE
Parsing@SLE
Parsing@SLE
PLATEAU
PROMOTO
PROMOTO
PROMOTO
REBLS
REBLS
REBLS
SEPS
Smart Software Strategies
Smart Software Strategies
Smart Software Strategies
WODA
WODA
WODA
Co-hosted Symposia
DBPL
DLS
Organization
SPLASH 2015 Committees
Organizing Committee
Steering Committee
Track Committees
Demos
Doctoral Symposium
OOPSLA
Program Committee
External Review Committee
OOPSLA Artifacts
Organizing Committee
Program Committee
Panels
Posters
Organizing Committee
Program Committee
PLMW
RPG
SPLASH-E
Organizing Committee
Program Committee
Steering Committee
SPLASH-I
Student Research Competition
Organizing Committee
Program Committee
Student Volunteers
Tutorials
Wavefront
Workshops
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Steering Committee
Program Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
PLoP
Organizing Committee
SLE
Organizing Committee
Steering Committee
Program Committee
Workshops
AGERE!
Organizing Committee
Program Committee
DSM
Organizing Committee
Program Committee
ETX
Organizing Committee
Program Committee
Program Committee
Future Programming Workshop
Organizing Committee
MobileDeLi
Organizing Committee
Program Committee
Organizing Committee
Program Committee
NOOL
Organizing Committee
Program Committee
Parsing@SLE
Organizers
Organizers
PLATEAU
Organizing Committee
Organizing Committee
Program Committee
PROMOTO
Organizing Committee
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
SEPS
Organizing Committee
Program Committee
Smart Software Strategies
Organizing Committee
Program Committee
WODA
Organizing Committee
Program Committee
Co-hosted Symposia
DBPL
Program Committee
DLS
Program Committee
Series
Series
SPLASH 2026
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
SPLASH 2015
series
) /
DLS 2015 (
series
) /
DLS 2015
About
Program
Accepted Papers
Call for Submissions
The 11th
Dynamic Languages Symposium (DLS)
at SPLASH 2015 is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages – from Lisp to Smalltalk to Python to Javascript – on real-world practice and research continues to grow.
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 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 10:00
Session 1, Language Design
DLS
at
Grand Station 3
08:30
10m
Day opening
Welcome and Introduction
DLS
08:40
60m
Talk
DLS Keynote: Declare Your Language
DLS
I:
Eelco Visser
Delft University of Technology
Link to publication
DOI
Media Attached
09:40
20m
Talk
From APIs to Languages: Generalising Method Names
DLS
James Noble
Victoria University of Wellington
Michael Homer
Victoria University of Wellington
Timothy Jones
Victoria University of Wellington
Pre-print
10:30 - 12:00
Session 2, Formalization, Semantics, and Static Analysis
DLS
at
Grand Station 3
10:30
22m
Talk
A Formalization of Typed Lua
DLS
Andre Murbach Maidl
PUCPR
Fabio Mascarenhas
UFRJ
Roberto Ierusalimschy
PUC-Rio
Media Attached
10:52
22m
Talk
Gradual Certified Programming in Coq
DLS
Éric Tanter
University of Chile, Chile
Nicolas Tabareau
Inria
11:15
22m
Talk
Message Safety in Dart
DLS
Erik Ernst
Mathias Schwarz
Uber Aarhus
Fabio Strocco
Aarhus University, Denmark
Anders Møller
Aarhus University
11:37
22m
Talk
Control-Flow Analysis of Dynamic Languages via Pointer Analysis
DLS
Steven Lyde
Matthew Might
University of Utah, USA
William E. Byrd
13:30 - 15:00
Session 3, Compilation
DLS
at
Grand Station 3
13:30
22m
Talk
Compiling for Multi-Language Task Migration
DLS
Marc Feeley
13:52
22m
Talk
High-Performance Cross-Language Interoperability in a Multi-Language Runtime
DLS
Matthias Grimmer
Johannes Kepler University Linz
Chris Seaton
Oracle Labs / University of Manchester
Roland Schatz
Johannes Kepler University Linz
Thomas Wuerthinger
Oracle Labs
Hanspeter Mössenböck
Johannes Kepler University Linz
14:15
22m
Talk
Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
DLS
David Leopoldseder
Johannes Kepler University Linz
Lukas Stadler
Oracle Labs
Christian Wimmer
Oracle Labs
Hanspeter Mössenböck
Johannes Kepler University Linz
14:37
22m
Talk
Language Independent Storage Strategies for Tracing JIT based VMs
DLS
Tim Felgentreff
HPI, Germany
Tobias Pape
Hasso-Plattner-Institute, Potsdam
Robert Hirschfeld
HPI
CF Bolz-Tereick
King's College London
Anton Gulenko
TU Berlin
15:30 - 17:30
Session 4, Empirical Studies
DLS
at
Grand Station 3
15:30
24m
Talk
Measuring Polymorphism in Python Programs
DLS
Beatrice Åkerblom
Stockholm University
Tobias Wrigstad
Uppsala University
15:54
24m
Talk
Tracking Down Performance Variation Against Source Code Evolution
DLS
Juan Pablo Sandoval Alcocer
Universidad Católica Boliviana San Pablo
Alexandre Bergel
16:18
24m
Talk
Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
DLS
Madhukar Kedlaya
University of California, Santa Barbara
Behnam Robatmili
Qualcomm Research
Ben Hardekopf
UC Santa Barbara
16:42
24m
Talk
An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio
DLS
Lars Fischer
University of Duisburg-Essen, Essen, Germany
Stefan Hanenberg
University of Duisburg-Essen
17:06
24m
Talk
Access Control to Reflection with Object Ownership
DLS
Camille Teruel
INRIA
Stéphane Ducasse
INRIA, France
Damien Cassou
Lille 1 University
Marcus Denker
INRIA Lille
Accepted Papers
Title
Access Control to Reflection with Object Ownership
DLS
Camille Teruel
Stéphane Ducasse
Damien Cassou
Marcus Denker
A Formalization of Typed Lua
DLS
Andre Murbach Maidl
Fabio Mascarenhas
Roberto Ierusalimschy
Media Attached
An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio
DLS
Lars Fischer
Stefan Hanenberg
Compiling for Multi-Language Task Migration
DLS
Marc Feeley
Control-Flow Analysis of Dynamic Languages via Pointer Analysis
DLS
Steven Lyde
Matthew Might
William E. Byrd
From APIs to Languages: Generalising Method Names
DLS
James Noble
Michael Homer
Timothy Jones
Pre-print
Gradual Certified Programming in Coq
DLS
Éric Tanter
Nicolas Tabareau
High-Performance Cross-Language Interoperability in a Multi-Language Runtime
DLS
Matthias Grimmer
Chris Seaton
Roland Schatz
Thomas Wuerthinger
Hanspeter Mössenböck
Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
DLS
David Leopoldseder
Lukas Stadler
Christian Wimmer
Hanspeter Mössenböck
Language Independent Storage Strategies for Tracing JIT based VMs
DLS
Tim Felgentreff
Tobias Pape
Robert Hirschfeld
CF Bolz-Tereick
Anton Gulenko
Measuring Polymorphism in Python Programs
DLS
Beatrice Åkerblom
Tobias Wrigstad
Message Safety in Dart
DLS
Erik Ernst
Mathias Schwarz
Fabio Strocco
Anders Møller
Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
DLS
Madhukar Kedlaya
Behnam Robatmili
Ben Hardekopf
Tracking Down Performance Variation Against Source Code Evolution
DLS
Juan Pablo Sandoval Alcocer
Alexandre Bergel
Call for Submissions
DLS 2015 invites high quality papers reporting original research, innovative contributions, or experience related to dynamic languages, their implementation, and applications. Accepted papers will be published in the ACM Digital Library, and freely available for 2 weeks before and after the event itself.
Areas of interest include but are not limited to:
Innovative language features and implementation techniques
Development and platform support, tools
Interesting applications
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
Hardware support
Experience reports and case studies
Educational approaches and perspectives
Semantics of dynamic languages
Invited Speaker
DLS is pleased to announce a talk by the following invited speaker:
Eelco Visser (TU Delft):
Declare your Language
Submissions and Proceedings
Submissions should not have been published previously nor 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, length, and originality.
Papers are to be submitted electronically at
in PDF format. Submissions must be in the
ACM SIGPLAN Conference Format
and not exceed 12 pages. Authors are reminded that brevity is a virtue.
DLS 2015 will run a two-phase reviewing process to help authors make their final papers the best that they can be. After the first round of reviews, papers will be rejected, conditionally accepted, or unconditionally accepted. Conditionally accepted papers will be given a list of issues raised by reviewers. Authors will then submit a revised version of the paper with a cover letter explaining how they have or why they have not addressed these issues. The reviewers will then consider the cover letter and revised paper and recommend final acceptance or rejection.
Accepted papers will be published in the ACM Digital Library.
Important Dates
Tue 27 Oct 2015
Dynamic Languages Symposium
Fri 21 Aug 2015
Camera Ready
Mon 17 Aug 2015
Final Notification
Mon 3 Aug 2015
Revisions
Mon 27 Jul 2015
First Phase Notification
Mon 15 Jun 2015
Submissions
Sun 7 Jun 2015
Abstract Submissions
Program Committee
Manuel Serrano
Program Chair
INRIA
France
CF Bolz-Tereick
King's College London
William Cook
† 2021
UT Austin
Jonathan Edwards
MIT, USA
United States
John Field
Google
United States
Matthew Flatt
University of Utah
Elisa
Gonzalez Boix
Vrije Universiteit Brussel
Robert Hirschfeld
HPI
Germany
Ben Livshits
Microsoft Research
Crista Lopes
University of California, Irvine
Kevin Millikin
Google
James Noble
Victoria University of Wellington
Joe Gibbs
Politz
Swarthmore College
United States
Olivier Tardieu
IBM Research
Didier Verna
EPITA / LRDE
France
Jan Vitek
Northeastern University
Switzerland
Fri 24 Apr 19:26