SPLASH 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
SPLASH 2018 (series) / Boston Park Plaza Hotel /

Room information: The Loft

VenueBoston Park Plaza Hotel
Room nameThe Loft
Floor4
Room InformationNo extra information available
Program

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
SemanticsDLS 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
OptimizationDLS 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
SystemsDLS 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 ReusabilityOnward! 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 1Onward! 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 StructuresOnward! 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 DesignOnward! 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 2Onward! 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

Room10:003011:003012:003013:003014:003015:003016:0030
The Loft

DLS

Semantics

DLS

Optimization

DLS

Systems

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room10:003011:003012:003013:003014:003015:003016:0030
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

Room10:003011:003012:003013:003014:003015:003016:0030
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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