Write a Blog >>
DLS 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018

Dates
Rooms
Tracks
Badges
Your 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 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
OptimizationDLS 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
SystemsDLS 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