SPLASH 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
Toggle navigation
About
Venue: Boston Park Plaza Hotel
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Schedule
Complete Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Tracks
SPLASH 2018
OOPSLA
Artifacts
Keynotes
Posters
SPLASH-I
Meetups
SPLASH-E
Workshops
PLMW
Breakfasts
DocSymposium
Volunteers
SRC
Social
Co-hosted Conferences
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
SLE
Workshops
AGERE
AI-SEPS
BLOCKS+
DSLDI
GRACE
HILT
LIVE
META
NJR
OCAP
PLATEAU
REBLS
SLEBoK
TURBO
VMIL
Co-hosted Symposia
DLS
Organization
SPLASH 2018 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Reviewers
Distinguished Paper Committee
Artifacts
Posters
SPLASH-I
Speakers
Organizers
SPLASH-E
Workshops
PLMW
Organizing Committee
Speakers
Breakfasts
DocSymposium
Academic Panel
Organizers
Program Committee
Volunteers
SRC
Organizers
Reviewers
Judges
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
SLE
Keynote Speaker
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
AGERE
Organizing Committee
Program Committee
AI-SEPS
Organizing Committee
Program Committee
BLOCKS+
Organizing Committee
Program Committee
DSLDI
Organizing Committee
Program Committee
GRACE
Organizing Committee
Program Committee
HILT
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
META
Organizing Committee
Program Committee
NJR
Organizing Committee
Program Committee
OCAP
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
SLEBoK
Organizing Committee
Program Committee
TURBO
Organizing Committee
VMIL
Program Committee
Steering Committee
Co-hosted Symposia
DLS
Program Committee
Steering Committee
Search
Series
Series
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
Sign in
Sign up
SPLASH 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
at
The Loft
Chair(s):
Tim Felgentreff
Oracle Labs, Potsdam
10:30
30m
Talk
The Behavior of Gradual Types: A User Study
DLS
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
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
at
The Loft
Chair(s):
Stefan Marr
University of Kent
13:30
30m
Talk
Log++ Logging for a Cloud-Native World
DLS
Mark Marron
Microsoft Research
14:00
30m
Talk
HorseIR: Bringing Array Programming Languages Together with Database Query Processing
DLS
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
Manuel Serrano
Inria, France
15:30 - 17:00
Systems
DLS
at
The Loft
15:30
30m
Talk
Query-Based Object-Oriented Programming: A Declarative Web of Objects
DLS
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
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
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
Semantics
DLS
Optimization
DLS
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
Tue 12 Nov 17:10