Write a Blog >>
DLS 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
SemanticsDLS 2018 at The Loft
Chair(s): Tim FelgentreffOracle Labs, Potsdam
10:30
30m
Talk
The Behavior of Gradual Types: A User Study
DLS 2018
Preston Tunnell WilsonBrown University, USA, Ben GreenmanNortheastern University, USA, Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA
11:00
30m
Talk
A Trustworthy Mechanized Formalization of R
DLS 2018
Martin BodinImperial College London, Tomás DiazUniversity of Chile, Chile, Éric TanterUniversity of Chile & Inria Paris
13:30 - 15:00
OptimizationDLS 2018 at The Loft
Chair(s): Stefan MarrUniversity of Kent
13:30
30m
Talk
Log++ Logging for a Cloud-Native World
DLS 2018
Mark MarronMicrosoft Research
14:00
30m
Talk
HorseIR: Bringing Array Programming Languages Together with Database Query Processing
DLS 2018
Hanfeng ChenMcGill University, Canada, Joseph Vinish D'SilvaMcGill University, Canada, Hongji ChenMcGill University, Canada, Bettina KemmeMcGill University, Canada, Laurie HendrenMcGill University, Canada
14:30
30m
Talk
JavaScript AOT Compilation
DLS 2018
Manuel SerranoInria, 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 Seginercdl-lang.org, Netherlands, Theo Vossecdl-lang.org, Netherlands, Gil Hararicdl-lang.org, Israel, Uri Kolodnycdl-lang.org, Israel
16:00
30m
Talk
Self-Contained Development Environments
DLS 2018
Guido ChariCzech Technical University, Czechia, Javier PimásPalantir Solutions, Argentina, Jan VitekNortheastern University, Olivier FlückigerNortheastern University, USA
16:30
30m
Talk
Numerical Computing on the Web: Benchmarking for the Future
DLS 2018
David HerreraMcGill University, Canada, Hanfeng ChenMcGill University, Canada, Erick LavoieMcGill University, Canada, Laurie HendrenMcGill University, Canada

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room10:003011:003012:003013:003014:003015:003016:0030
The Loft
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)