The 16th Dynamic Languages Symposium (DLS) at SPLASH 2020 is the premier forum for researchers and practitioners to share research and experience on all aspects on dynamic languages.
See the call for papers for more information.
Keynote
Croquet: A Unique Collaboration Architecture
Dr. Vanessa Freudenberg
Chief Architect, Croquet Corp
The next generation of our connected world calls for a low-latency, low-bandwidth, low-development-effort platform for synchronized interactions. The platform must also enforce privacy from the ground up, in particular in anticipation of an always-on Augmented Reality future.
In traditional synchronization approaches, computations are performed on a server and results are continuously distributed to clients. Croquet moves all computation to the clients. A lightweight “reflector” server directs the clients to advance time in sync, and ensures that any external event is incorporated by all clients at exactly the same point in the computation, leading to synchronized, bit-identical state. All data is end-to-end encrypted by the clients; the server stores and distributes data, but can never peek inside.
Croquet’s programming model separates the synchronized computation of “models” from individually computed “views”. This means the world is the same for everyone, but the display of the world can be tailored to each device and user. Models and views communicate using a publish/subscribe mechanism that routes certain events via the reflector. This model/view separation and pub/sub communication is a major departure from the previous, proxy-based Smalltalk implementation of Croquet. It retains the ability for live programming by atomically incorporating new code.
Vanessa is the chief architect of the current JavaScript-based implementation. She will give an overview of the system, highlight challenges in designing the API, and explore the far-reaching implications of the shift from server to client.
Wed 18 NovDisplayed time zone: Central Time (US & Canada) change
07:00 - 08:00 | |||
07:00 40mTalk | Cost Analysis of Smart Contracts via Parametric Resource AnalysisInvited Talk SAS Media Attached File Attached | ||
07:40 20mResearch paper | A Library Modeling Language for the Static Analysis of C ProgramsArtifact SAS Media Attached File Attached |
11:00 - 12:20 | 2SAS / DLS 2020 at SPLASH-III +12h Chair(s): Matthew Flatt University of Utah, USA, David Pichardie Univ Rennes, ENS Rennes, IRISA | ||
11:00 40mTalk | Static Resource Analysis at ScaleInvited Talk SAS File Attached | ||
11:40 40mKeynote | Croquet: A Unique Collaboration Architecture (Keynote)Keynote DLS 2020 Vanessa Freudenberg Croquet Corp Media Attached |
17:00 - 18:20 | |||
17:00 20mResearch paper | Abstract Neural Networks SAS Pre-print Media Attached | ||
17:20 20mTalk | Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework DLS 2020 Link to publication DOI Pre-print Media Attached | ||
17:40 20mResearch paper | Probabilistic Lipschitz Analysis of Neural NetworksArtifact SAS Ravi Mangal Georgia Institute of Technology, Kartik Sarangmath Georgia Institute of Technology, Aditya Nori , Alessandro Orso Georgia Tech Pre-print Media Attached | ||
18:00 20mTalk | Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms DLS 2020 Dejice Jacob University of Glasgow, UK, Phil Trinder University of Glasgow, Jeremy Singer Glasgow University Link to publication DOI Pre-print Media Attached |
19:00 - 20:00 | |||
19:00 40mTalk | Cost Analysis of Smart Contracts via Parametric Resource AnalysisInvited Talk SAS Media Attached File Attached | ||
19:40 20mResearch paper | A Library Modeling Language for the Static Analysis of C ProgramsArtifact SAS Media Attached File Attached |
23:00 - 00:20 | 2DLS 2020 / SAS at SPLASH-III Chair(s): Matthew Flatt University of Utah, USA, Mihaela Sighireanu LSV, ENS Paris-Saclay | ||
23:00 40mTalk | Static Resource Analysis at ScaleInvited Talk SAS File Attached | ||
23:40 40mKeynote | Croquet: A Unique Collaboration Architecture (Keynote)Keynote DLS 2020 Vanessa Freudenberg Croquet Corp Media Attached |
Thu 19 NovDisplayed time zone: Central Time (US & Canada) change
05:00 - 06:20 | |||
05:00 20mResearch paper | Abstract Neural Networks SAS Pre-print Media Attached | ||
05:20 20mTalk | Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework DLS 2020 Link to publication DOI Pre-print Media Attached | ||
05:40 20mResearch paper | Probabilistic Lipschitz Analysis of Neural NetworksArtifact SAS Ravi Mangal Georgia Institute of Technology, Kartik Sarangmath Georgia Institute of Technology, Aditya Nori , Alessandro Orso Georgia Tech Pre-print Media Attached | ||
06:00 20mTalk | Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms DLS 2020 Dejice Jacob University of Glasgow, UK, Phil Trinder University of Glasgow, Jeremy Singer Glasgow University Link to publication DOI Pre-print Media Attached |
09:00 - 10:00 | |||
09:00 40mTalk | Polynomial Invariants for Affine ProgramsInvited Talk SAS File Attached | ||
09:40 20mResearch paper | Termination of Polynomial Loops SAS Florian Frohn Max Planck Institute for Informatics, Marcel Hark RWTH Aachen University, Germany, Jürgen Giesl RWTH Aachen University Pre-print Media Attached File Attached |
11:00 - 12:20 | 7SAS / DLS 2020 at SPLASH-III +12h Chair(s): Tim Felgentreff Oracle Labs, Potsdam, Kedar Namjoshi Nokia Bell Labs | ||
11:00 20mResearch paper | Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries SAS Hugo Illous CEA & INRIA / ENS Paris, Matthieu Lemerre CEA LIST, France, Xavier Rival INRIA/CNRS/ENS Paris File Attached | ||
11:20 20mTalk | DelayRepay: Delayed Execution for Kernel Fusion in Python DLS 2020 John Magnus Morton University of Edinburgh, Kuba Kaszyk University of Edinburgh, Lu Li Linköping University, Jiawen Sun University of Edinburgh, Christophe Dubach McGill University, Michel Steuwer The University of Edinburgh, Murray Cole University of Edinburgh, UK, Michael F. P. O'Boyle University of Edinburgh Link to publication DOI Pre-print Media Attached | ||
11:40 20mResearch paper | Stratified Guarded First-order Transition Systems SAS Christian Müller Technische Universität München, Saarland University, Helmut Seidl Technische Universität München File Attached | ||
12:00 20mTalk | Sampling Optimized Code for Type Feedback DLS 2020 Olivier Flückiger Northeastern University, Andreas Wälchli University of Bern, Sebastián Krynski Czech Technical University, National University of Quilmes, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Pre-print Media Attached |
13:00 - 14:20 | 8SAS / DLS 2020 at SPLASH-III +12h Chair(s): Tim Felgentreff Oracle Labs, Potsdam, Samir Genaim Universidad Complutense de Madrid | ||
13:00 20mResearch paper | Formal framework for reasoning about the precision of dynamic analysis SAS Mila Dalla Preda University of Verona, Italy, Roberto Giacobazzi University of Verona and IMDEA Software Institute, Niccolò Marastoni University of Verona File Attached | ||
13:20 20mResearch paper | Farkas-Based Tree Interpolation SAS Sepideh Asadi PhD Student, Martin Blicha , Antti Hyvärinen , Grigory Fedyukovich Florida State University, Natasha Sharygina USI Lugano, Switzerland Pre-print | ||
13:40 40mTalk | Framework-Aware Debugging with Stack Tailoring DLS 2020 Matteo Marra Vrije Universiteit Brussel, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication DOI Pre-print Media Attached |
15:00 - 16:20 | |||
15:00 20mResearch paper | Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact SAS Anastasia Isychev Technical University of Munich, Eva Darulova MPI-SWS, Helmut Seidl Technische Universität München Pre-print Media Attached | ||
15:40 20mResearch paper | Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking SAS Naoki Iwayama University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan, Ryota Suzuki , Takeshi Tsukada Chiba University, Japan File Attached |
17:00 - 18:20 | |||
17:00 40mTalk | Static analysis for privacy-preserving artificial intelligenceInvited Talk SAS |
21:00 - 22:00 | |||
21:00 40mTalk | Polynomial Invariants for Affine ProgramsInvited Talk SAS File Attached | ||
21:40 20mResearch paper | Termination of Polynomial Loops SAS Florian Frohn Max Planck Institute for Informatics, Marcel Hark RWTH Aachen University, Germany, Jürgen Giesl RWTH Aachen University Pre-print Media Attached File Attached |
23:00 - 00:20 | |||
23:00 20mResearch paper | Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries SAS Hugo Illous CEA & INRIA / ENS Paris, Matthieu Lemerre CEA LIST, France, Xavier Rival INRIA/CNRS/ENS Paris File Attached | ||
23:20 20mTalk | DelayRepay: Delayed Execution for Kernel Fusion in Python DLS 2020 John Magnus Morton University of Edinburgh, Kuba Kaszyk University of Edinburgh, Lu Li Linköping University, Jiawen Sun University of Edinburgh, Christophe Dubach McGill University, Michel Steuwer The University of Edinburgh, Murray Cole University of Edinburgh, UK, Michael F. P. O'Boyle University of Edinburgh Link to publication DOI Pre-print Media Attached | ||
23:40 20mResearch paper | Stratified Guarded First-order Transition Systems SAS Christian Müller Technische Universität München, Saarland University, Helmut Seidl Technische Universität München File Attached | ||
00:00 20mTalk | Sampling Optimized Code for Type Feedback DLS 2020 Olivier Flückiger Northeastern University, Andreas Wälchli University of Bern, Sebastián Krynski Czech Technical University, National University of Quilmes, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Pre-print Media Attached |
Fri 20 NovDisplayed time zone: Central Time (US & Canada) change
01:00 - 02:20 | |||
01:00 20mResearch paper | Formal framework for reasoning about the precision of dynamic analysis SAS Mila Dalla Preda University of Verona, Italy, Roberto Giacobazzi University of Verona and IMDEA Software Institute, Niccolò Marastoni University of Verona File Attached | ||
01:20 20mResearch paper | Farkas-Based Tree Interpolation SAS Sepideh Asadi PhD Student, Martin Blicha , Antti Hyvärinen , Grigory Fedyukovich Florida State University, Natasha Sharygina USI Lugano, Switzerland Pre-print | ||
01:40 40mTalk | Framework-Aware Debugging with Stack Tailoring DLS 2020 Matteo Marra Vrije Universiteit Brussel, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication DOI Pre-print Media Attached |
03:00 - 04:20 | |||
03:00 20mResearch paper | Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact SAS Anastasia Isychev Technical University of Munich, Eva Darulova MPI-SWS, Helmut Seidl Technische Universität München Pre-print Media Attached | ||
03:40 20mResearch paper | Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking SAS Naoki Iwayama University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan, Ryota Suzuki , Takeshi Tsukada Chiba University, Japan File Attached |
05:00 - 06:20 | |||
05:00 40mTalk | Static analysis for privacy-preserving artificial intelligenceInvited Talk SAS |
Accepted Papers
Call for Papers
The 16th Dynamic Languages Symposium (DLS) at SPLASH 2020 is the premier forum for researchers and practitioners to share research and experience on all aspects on dynamic languages.
DLS 2020 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
- late binding, dynamic composition, and run-time adaptation
- reflection and metaprogramming
- software evolution
- language symbiosis and multi-paradigm languages
- dynamic optimization
- interpretation
- just-in-time and ahead-of-time compilation
- soft/optional/gradual typing
- hardware support
- educational approaches and perspectives
- semantics of dynamic languages
- frameworks and languages for the Cloud and the IoT
Submission Details
Submissions must neither be previously published nor under review at other events. DLS 2020 uses a lightweight double-blind, two-phase reviewing process.
Papers are assumed to be in one of the following categories:
Research Papers:
describe work that advances the current state of the art
Experience Papers:
describe insights gained from substantive practical
applications that should be of a broad interest
Dynamic Pearls:
describe a known idea in an appealing way to remind the
community and capture a reader’s interest
The program committee will evaluate each paper based on its relevance, significance, clarity, and originality. The paper category needs to be indicated during submission, and papers are judged accordingly.
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 available at:
https://conf.researchr.org/home/dls-2020#Instructions-for-Authors
DLS 2020 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 Deadlines
Abstract Submission (optional): July 2, 2020 [was: June 4]
Paper Submission: July 9, 2020 [was: June 11]
First Phase Notification: August 7, 2020
Revisions Due: September 4, 2020
Final Notifications: September 18, 2020
Camera Ready (estimated): October 10, 2020
All deadlines are 23:59 AoE (UTC-12h).
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.
Instructions for Authors
Submitted papers need to conform to the formatting instructions. Submissions that violate these instructions may be rejected without review at the discretion of the Program Chair.
DLS 2020 uses a lightweight double-blind review process. Authors must omit their names and affiliations in their paper submissions.
Submission Site
Please take a moment to read the instructions below before using the submission site. After acceptance, the 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. Author–year and numeric citation styles are both acceptable.
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: \documentclass[10pt,sigplan]{acmart}
. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size.
For reviewing, 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 are limited to 12 pages and 10pt including bibliographic references and appendices. For the second phase, the page limit is 14 pages including bibliographic references.
Second-Phase Revisions
DLS 2020 uses a two-phase review system to provide authors with extra support and an opportunity to revise submissions. The extent of revisions is limited by the available time of about 4 weeks, so the program committee will use the two-phase process only for mandatory revisions that can be completed in that time.
To facilitate reviewing, we ask the author to submit their revisions accompanied by:
- a latexdiff to the original submission, or a similarly annotated document
- as well as a high-level description of the made changes and a discussion of the points raised by the reviews
For the second phase, the page limit is 14 pages, including bibliographic references.
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.