Write a Blog >>
DLS 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
co-located with
SPLASH 2018
Toggle navigation
Attending
Venue: Boston Park Plaza Hotel
SPLASH 2018
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Program
DLS Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Track/Call
Organization
DLS 2018 Committees
Track Committees
Program 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 2018
(
series
) /
DLS 2018 (
series
) /
Boston Park Plaza Hotel
/
Room information: The Loft
Venue
Boston Park Plaza Hotel
Room name
The Loft
Floor
4
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Guadalajara, Mexico City, Monterrey
.
Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey
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-07: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-05: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-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02: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+11: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
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Semantics
DLS 2018
at
The Loft
Chair(s):
Tim Felgentreff
Oracle Labs, Potsdam
10:30
30m
Talk
The Behavior of Gradual Types: A User Study
DLS 2018
Preston Tunnell Wilson
Brown University, USA
,
Ben Greenman
Northeastern University, USA
,
Justin Pombrio
Brown University, USA
,
Shriram Krishnamurthi
Brown University, USA
11:00
30m
Talk
A Trustworthy Mechanized Formalization of R
DLS 2018
Martin Bodin
Imperial College London
,
Tomás Diaz
University of Chile, Chile
,
Éric Tanter
University of Chile & Inria Paris
13:30 - 15:00
Optimization
DLS 2018
at
The Loft
Chair(s):
Stefan Marr
University of Kent
13:30
30m
Talk
Log++ Logging for a Cloud-Native World
DLS 2018
Mark Marron
Microsoft Research
14:00
30m
Talk
HorseIR: Bringing Array Programming Languages Together with Database Query Processing
DLS 2018
Hanfeng Chen
McGill University, Canada
,
Joseph Vinish D'Silva
McGill University, Canada
,
Hongji Chen
McGill University, Canada
,
Bettina Kemme
McGill University, Canada
,
Laurie Hendren
McGill University, Canada
14:30
30m
Talk
JavaScript AOT Compilation
DLS 2018
Manuel Serrano
Inria, France
15:30 - 17:00
Systems
DLS 2018
at
The Loft
15:30
30m
Talk
Query-Based Object-Oriented Programming: A Declarative Web of Objects
DLS 2018
Yoav Seginer
cdl-lang.org, Netherlands
,
Theo Vosse
cdl-lang.org, Netherlands
,
Gil Harari
cdl-lang.org, Israel
,
Uri Kolodny
cdl-lang.org, Israel
16:00
30m
Talk
Self-Contained Development Environments
DLS 2018
Guido Chari
Czech Technical University, Czechia
,
Javier Pimás
Palantir Solutions, Argentina
,
Jan Vitek
Northeastern University
,
Olivier Flückiger
Northeastern University, USA
16:30
30m
Talk
Numerical Computing on the Web: Benchmarking for the Future
DLS 2018
David Herrera
McGill University, Canada
,
Hanfeng Chen
McGill University, Canada
,
Erick Lavoie
McGill University, Canada
,
Laurie Hendren
McGill University, Canada
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Usability and Reusability
Onward! Papers
at
The Loft
Chair(s):
Elisa Gonzalez Boix
Vrije Universiteit Brussel
10:30
30m
Talk
On the Usage of “Pythonic” Idioms in Python Programs
Onward! Papers
Carol V. Alexandru
University of Zurich
,
José J. Merchante
Universidad Rey Juan Carlos
,
Sebastiano Panichella
Zurich University of Applied Science/University of Zurich
,
Sebastian Proksch
University of Zurich
,
Harald Gall
University of Zurich
,
Gregorio Robles
Universidad Rey Juan Carlos
11:00
30m
Talk
Inference and Regeneration of Programs that Store and Retrieve Data
Onward! Papers
Martin C. Rinard
Massachusetts Institute of Technology
,
Jiasi Shen
Massachusetts Institute of Technology
,
Varun Mangalick
MIT
13:30 - 15:00
DSLs and Language Design Principles
Onward! Papers
at
The Loft
Chair(s):
Stefan Marr
University of Kent
13:30
30m
Talk
The Open Authorial Principle - Supporting Networks of Authors in Creating Externalisable Designs
Onward! Papers
Antranig Basman
,
Clayton Lewis
University of Colorado Boulder
,
Colin Clark
14:00
30m
Talk
Tool: Accessible Automated Reasoning for Human Robot Collaboration
Onward! Papers
Ortwin Mailahn
ZeMA
,
Rainer Müller
ZeMA
,
Richard Peifer
ZeMA
,
Damien Zufferey
MPI-SWS
,
Ivan Gavran
MPI-SWS
15:30 - 17:00
Session 1
Onward! Essays
at
The Loft
15:30
45m
Full-paper
Fatal Abstraction
Onward! Essays
Friedrich Steimann
Fernuniversität
Link to publication
DOI
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Data Structures
Onward! Papers
at
The Loft
Chair(s):
Stefan Marr
University of Kent
10:30
30m
Talk
Cflat: A New Modular Approach to Implementing Efficient and Tunable Collections
Onward! Papers
Stephan Brandauer
Uppsala University
,
Elias Castegren
Uppsala University
,
Tobias Wrigstad
Uppsala University
Pre-print
11:00
30m
Talk
Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming
Onward! Papers
Akio Oka
Tokyo Institute of Technology
,
Hidehiko Masuhara
Tokyo Institute of Technology
,
Tomoyuki Aotani
Tokyo Institute of Technology
13:30 - 15:00
Language Design
Onward! Papers
at
The Loft
Chair(s):
Philipp Haller
KTH, Sweden
13:30
30m
Talk
A CAPable distributed programming model
Onward! Papers
Florian Myter
Vrije Universiteit Brussel, Belgium
,
Christophe Scholliers
Universiteit Gent, Belgium
,
Wolfgang De Meuter
Vrije Universiteit Brussel
14:00
30m
Talk
Protecting Chatbots from Toxic Content
Onward! Papers
Guillaume Baudart
IBM Research
,
Julian Dolby
IBM Research
,
Evelyn Duesterwald
IBM Research
,
Martin Hirzel
IBM Research
,
Avraham Shinnar
IBM Research
14:30
30m
Talk
JEff: Objects for Effect
Onward! Papers
Pablo Inostroza
CWI
,
Tijs van der Storm
CWI & University of Groningen
15:30 - 17:00
Session 2
Onward! Essays
at
The Loft
15:30
45m
Full-paper
We Should Stop Claiming Generality in our Domain-Specific Language Papers
Onward! Essays
Daco Harkes
Delft University of Technology
Link to publication
16:15
45m
Full-paper
Interdisciplinary Programming Language Design
Onward! Essays
Michael Coblenz
Carnegie Mellon University
,
Jonathan Aldrich
Carnegie Mellon University
,
Brad A. Myers
Carnegie Mellon University
,
Joshua Sunshine
Carnegie Mellon University
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
The Loft
DLS 2018
Semantics
DLS 2018
Optimization
DLS 2018
Systems
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
The Loft
Onward! Papers
Usability and Reusability
Onward! Papers
DSLs and Language Design Principles
Onward! Essays
Session 1
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
The Loft
Onward! Papers
Data Structures
Onward! Papers
Language Design
Onward! Essays
Session 2
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
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
The Loft
DLS
The Behavior of Gradual Types: A User Study
10:30 - 11:00
DLS
A Trustworthy Mechanized Formalization of R
11:00 - 11:30
DLS
Log++ Logging for a Cloud-Native World
13:30 - 14:00
DLS
HorseIR: Bringing Array Programming Languages Together with Database Qu ...
14:00 - 14:30
DLS
JavaScript AOT Compilation
14:30 - 15:00
DLS
Query-Based Object-Oriented Programming: A Declarative Web of Objects
15:30 - 16:00
DLS
Self-Contained Development Environments
16:00 - 16:30
DLS
Numerical Computing on the Web: Benchmarking for the Future
16:30 - 17:00
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
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
The Loft
Onward! Papers
On the Usage of “Pythonic” Idioms in Python Programs
10:30 - 11:00
Onward! Papers
Inference and Regeneration of Programs that Store and Retrieve Data
11:00 - 11:30
Onward! Papers
The Open Authorial Principle - Supporting Networks of Authors in Creati ...
13:30 - 14:00
Onward! Papers
Tool: Accessible Automated Reasoning for Human Robot Collaboration
14:00 - 14:30
Onward! Essays
Fatal Abstraction
15:30 - 16:15
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
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
The Loft
Onward! Papers
Cflat: A New Modular Approach to Implementing Efficient and Tunable Col ...
10:30 - 11:00
Onward! Papers
Live, Synchronized, and Mental Map Preserving Visualization for Data St ...
11:00 - 11:30
Onward! Papers
A CAPable distributed programming model
13:30 - 14:00
Onward! Papers
Protecting Chatbots from Toxic Content
14:00 - 14:30
Onward! Papers
JEff: Objects for Effect
14:30 - 15:00
Onward! Essays
We Should Stop Claiming Generality in our Domain-Specific Language Papers
15:30 - 16:15
Onward! Essays
Interdisciplinary Programming Language Design
16:15 - 17:00
x
Thu 21 Nov 19:02