DLS 2019
Sun 20 - Fri 25 October 2019
Athens, Greece
co-located with
SPLASH 2019
Toggle navigation
Attending
Venue: Royal Olympic Hotel
Banquet Venue: Aegli
SPLASH 2019
Awards
Local information
Students
Registration
Visa
Sponsoring SPLASH
Code of conduct
Remote participation
Program
DLS Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
DLS 2019 Committees
Track Committees
Program Committee
Organizing Committee
Steering Committee
Contributors
People Index
Search
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
Sign in
Sign up
SPLASH 2019
(
series
) /
DLS 2019 (
series
) /
Royal Olympic Hotel
/
Room information: Room 2A
Venue
Royal Olympic Hotel
Room name
Room 2A
Floor
2
Room number
2
Capacity
60
Room Information
half of 2nd floor conference room
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+03:00) Beirut
.
Use conference time zone: (GMT+03:00) Beirut
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 20 Oct
Displayed time zone:
Beirut
change
09:00 - 10:30
Keynote
DLS 2019
at
Room 2A
Chair(s):
Stefan Marr
University of Kent
09:15
15m
Day opening
Welcome
DLS 2019
Stefan Marr
University of Kent
09:30
60m
Talk
Untangling the web: Memory management in Chrome’s web platform implementation
Keynote
DLS 2019
I:
Michael Lippautz
Google
Media Attached
11:00 - 12:30
Types and Tools
DLS 2019
at
Room 2A
Chair(s):
Nick Papoulias
Université Grenoble Alpes, France
11:00
30m
Talk
First-class Dynamic Types
Research Paper
DLS 2019
Michael Homer
Victoria University of Wellington
,
Timothy Jones
Montoux
,
James Noble
Victoria University of Wellington
Pre-print
Media Attached
11:30
30m
Talk
Language-independent Development Environment Support For Dynamic Runtimes
Experience Paper
DLS 2019
Daniel Stolpe
Hasso-Plattner-Institut
,
Tim Felgentreff
Oracle Labs, Potsdam
,
Christian Humer
Oracle Labs, Switzerland
,
Fabio Niephaus
Hasso Plattner Institute, University of Potsdam
,
Robert Hirschfeld
Hasso-Plattner-Institut (HPI), Germany
Pre-print
Media Attached
12:00
30m
Talk
Optimizing and Evaluating Transient Gradual Typing
Research Paper
DLS 2019
Michael M. Vitousek
Indiana University
,
Jeremy G. Siek
Indiana University, USA
,
Avik Chaudhuri
Facebook, USA
Media Attached
14:00 - 15:30
Optimizing Computations
DLS 2019
at
Room 2A
Chair(s):
Marc Feeley
Université de Montréal
14:00
30m
Talk
Reflections on the Compatibility, Performance, and Scalability of Parallel Python
Experience Paper
DLS 2019
Remigius Meier
ETH Zurich, Switzerland
,
Thomas Gross
ETH Zurich, Switzerland
14:30
30m
Talk
R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments
Research Paper
DLS 2019
Olivier Flückiger
Northeastern University
,
Guido Chari
Czech Technical University
,
Jan Ječmen
Czech Technical University
,
Ming-Ho Yee
Northeastern University
,
Jakob Hain
Northeastern University
,
Jan Vitek
Northeastern University
Link to publication
DOI
Pre-print
Media Attached
15:00
30m
Talk
Python Programmers have GPUs too: Automatic Python Loop Parallelization with Staged Dependence Analysis
Research Paper
DLS 2019
Dejice Jacob
University of Glasgow
,
Phil Trinder
University of Glasgow
,
Jeremy Singer
University of Glasgow
Link to publication
DOI
Authorizer link
16:00 - 17:30
Beyond the Language
DLS 2019
at
Room 2A
Chair(s):
Stefan Marr
University of Kent
16:00
30m
Talk
Lazy Pointer Update for Low Heap Compaction Pause Times
Research Paper
DLS 2019
Clément Béra
Google, Aarhus
,
Eliot Miranda
Cadence Design Systems
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel, Belgium
16:30
30m
Talk
Sindarin: a Versatile Scripting API for the Pharo Debugger
Research Paper
DLS 2019
Thomas Dupriez
Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL
,
Guillermo Polito
Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille
,
Steven Costiou
INRIA Lille
,
Vincent Aranega
Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL
,
Stéphane Ducasse
INRIA Lille
Media Attached
17:00
30m
Talk
Standard Object Out: Streaming Objects with Polymorphic Write Streams
Experience Paper
DLS 2019
Marcel Weiher
Hasso-Plattner-Institut (HPI), Germany
,
Robert Hirschfeld
Hasso-Plattner-Institut (HPI), Germany
Pre-print
Media Attached
Mon 21 Oct
Displayed time zone:
Beirut
change
09:00 - 10:30
Session 1
NJR
at
Room 2A
09:00
45m
Talk
Beyond Neural Networks for Programming: How to Learn from Programs
NJR
Veselin Raychev
DeepCode AG
09:45
45m
Talk
Renaissance: Benchmarking Suite for Parallel Applications on the JVM
NJR
Lubomír Bulej
Charles University
11:00 - 12:30
Session 2
NJR
at
Room 2A
11:00
45m
Talk
From analysing programs to testing program analyses: How research relies on and enriches SE knowledge
NJR
Mira Mezini
Technische Universität Darmstadt
11:45
45m
Talk
Deep Structural Learning of Code
NJR
Uri Alon
Technion
14:00 - 15:30
Session 3
NJR
at
Room 2A
14:00
30m
Talk
Understanding the Gaps in Static Program Analysis
NJR
Jens Dietrich
Victoria University of Wellington
14:30
30m
Talk
50K-C: A Dataset of Compilable, and Compiled, Java Projects
NJR
Rohan Achar
UC Irvine
15:00
30m
Talk
NJR: Executable, Scriptable, and Searchable Java Programs
NJR
Jens Palsberg
University of California, Los Angeles
16:00 - 17:30
Session 4
NJR
at
Room 2A
16:00
30m
Talk
NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories
NJR
Andrea Rosà
University of Lugano, Switzerland
16:30
30m
Talk
Corpus Distillation Techniques for Effective Fuzzing: A Comprehensive Evaluation
NJR
Tony Hosking
Australian National University / Data61
17:00
30m
Talk
MadMax and Friends: Program Analysis for Smart Contracts
NJR
Neville Grech
University of Athens
Tue 22 Oct
Displayed time zone:
Beirut
change
09:00 - 10:30
Opening keynote
LIVE
at
Room 2A
09:00
60m
Talk
Dark: a holistic programming language
LIVE
Paul Biggar
10:00
30m
Talk
Steady Typing
LIVE
Yair Chuchem
Lamdu
,
Eyal Lotem
Lamdu
11:00 - 12:30
Session 2
LIVE
at
Room 2A
11:00
30m
Talk
Mech - A Programming Language for Data Driven, Reactive Systems
LIVE
Corey Montella
Lehigh University
11:30
30m
Talk
Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
LIVE
Ikuta Tanigawa
Kyushu University
,
Harumi Watanabe
Tokai University
,
Nobuhiro Ohe
Tokai Univ.
,
Mikiko Sato
Tokai University
,
Nobuhiko Ogura
Tokyo City University
,
Takeshi Ohkawa
Tokai Univ.
,
Kenji Hisazumi
Kyushu University
,
Akira Fukuda
Kyushu University
12:00
30m
Talk
An Exploratory Literature Study on Live-Tooling in the Game Industry
LIVE
Tom Beckmann
Hasso Plattner Institute
,
Christian Flach
Hasso Plattner Institute, University of Potsdam, Germany
,
Eva Krebs
Hasso Plattner Institute
,
Stefan Ramson
Hasso Plattner Institute, Germany
,
Patrick Rein
Hasso Plattner Institute, Germany
,
Robert Hirschfeld
Hasso-Plattner-Institut (HPI), Germany
14:00 - 15:30
Session 3
LIVE
at
Room 2A
14:00
30m
Talk
Userland: creating an integrated dataflow environment for end-users
LIVE
Hisham Muhammad
14:30
30m
Talk
Puppy: An Educational Simplification of Python with a Live Playground
LIVE
Taku Tada
Yokohama National University
,
Yuka Akinobu
Japan Women’s University
,
Makoto Sakane
Japan Women’s University
,
Kimio Kuramitsu
Japan Women’s University
Media Attached
15:00
30m
Talk
Histogram: You have to know the past to understand the present
LIVE
Tomas Petricek
University of Kent
16:00 - 17:30
Closing keynote
LIVE
at
Room 2A
16:00
60m
Talk
The Act of Computer Programming
LIVE
James Noble
Victoria University of Wellington
Sun 20 Oct
Displayed time zone:
Beirut
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room 2A
DLS 2019
Keynote
DLS 2019
Types and Tools
DLS 2019
Optimizing Computations
DLS 2019
Beyond the Language
Mon 21 Oct
Displayed time zone:
Beirut
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room 2A
NJR
Session 1
NJR
Session 2
NJR
Session 3
NJR
Session 4
Tue 22 Oct
Displayed time zone:
Beirut
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room 2A
LIVE
Opening keynote
LIVE
Session 2
LIVE
Session 3
LIVE
Closing keynote
Sun 20 Oct
Displayed time zone:
Beirut
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Room 2A
DLS
Welcome
09:15 - 09:30
DLS
Keynote
Untangling the web: Memory management in Chrome’s web platform implemen ...
09:30 - 10:30
DLS
Research Paper
First-class Dynamic Types
11:00 - 11:30
DLS
Experience Paper
Language-independent Development Environment Support For Dynamic Runtimes
11:30 - 12:00
DLS
Research Paper
Optimizing and Evaluating Transient Gradual Typing
12:00 - 12:30
DLS
Experience Paper
Reflections on the Compatibility, Performance, and Scalability of Paral ...
14:00 - 14:30
DLS
Research Paper
R Melts Brains -- An IR for First-Class Environments and Lazy Effectful ...
14:30 - 15:00
DLS
Research Paper
Python Programmers have GPUs too: Automatic Python Loop Parallelization ...
15:00 - 15:30
DLS
Research Paper
Lazy Pointer Update for Low Heap Compaction Pause Times
16:00 - 16:30
DLS
Research Paper
Sindarin: a Versatile Scripting API for the Pharo Debugger
16:30 - 17:00
DLS
Experience Paper
Standard Object Out: Streaming Objects with Polymorphic Write Streams
17:00 - 17:30
Mon 21 Oct
Displayed time zone:
Beirut
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Room 2A
NJR
Beyond Neural Networks for Programming: How to Learn from Programs
09:00 - 09:45
NJR
Renaissance: Benchmarking Suite for Parallel Applications on the JVM
09:45 - 10:30
NJR
From analysing programs to testing program analyses: How research relie ...
11:00 - 11:45
NJR
Deep Structural Learning of Code
11:45 - 12:30
NJR
Understanding the Gaps in Static Program Analysis
14:00 - 14:30
NJR
50K-C: A Dataset of Compilable, and Compiled, Java Projects
14:30 - 15:00
NJR
NJR: Executable, Scriptable, and Searchable Java Programs
15:00 - 15:30
NJR
NAB: Automated Large-scale Multi-language Dynamic Program Analysis in P ...
16:00 - 16:30
NJR
Corpus Distillation Techniques for Effective Fuzzing: A Comprehensive E ...
16:30 - 17:00
NJR
MadMax and Friends: Program Analysis for Smart Contracts
17:00 - 17:30
Tue 22 Oct
Displayed time zone:
Beirut
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Room 2A
LIVE
Dark: a holistic programming language
09:00 - 10:00
LIVE
Steady Typing
10:00 - 10:30
LIVE
Mech - A Programming Language for Data Driven, Reactive Systems
11:00 - 11:30
LIVE
Context-Oriented Live Programming Environments with Mixed Reality Syste ...
11:30 - 12:00
LIVE
An Exploratory Literature Study on Live-Tooling in the Game Industry
12:00 - 12:30
LIVE
Userland: creating an integrated dataflow environment for end-users
14:00 - 14:30
LIVE
Puppy: An Educational Simplification of Python with a Live Playground
14:30 - 15:00
LIVE
Histogram: You have to know the past to understand the present
15:00 - 15:30
LIVE
The Act of Computer Programming
16:00 - 17:00
x
Thu 21 Nov 15:59