SPLASH 2018 (series) / DLS 2018 (series) /
DLS 2018 Program
This is the DLS 2018 program - see the full program for SPLASH 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | |||
10:30 30mTalk | 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 30mTalk | 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 | |||
13:30 30mTalk | Log++ Logging for a Cloud-Native World DLS 2018 Mark Marron Microsoft Research | ||
14:00 30mTalk | 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 30mTalk | JavaScript AOT Compilation DLS 2018 Manuel Serrano Inria, France | ||
15:30 - 17:00 | |||
15:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 | ||