Program - DLS 2018

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

Apply

Filter

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
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: DLS 2018 - Semantics at The Loft
Chair(s): Tim FelgentreffOracle Labs, Potsdam

10:30 - 11:00
Talk

The Behavior of Gradual Types: A User Study

Preston Tunnell WilsonBrown University, USA, Ben GreenmanNortheastern University, USA, Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA

11:00 - 11:30
Talk

A Trustworthy Mechanized Formalization of R

Martin BodinImperial College London, Tomás DiazUniversity of Chile, Chile, Éric TanterUniversity of Chile & Inria Paris

13:30 - 15:00: DLS 2018 - Optimization at The Loft
Chair(s): Stefan MarrUniversity of Kent

13:30 - 14:00
Talk

Log++ Logging for a Cloud-Native World

Mark MarronMicrosoft Research

14:00 - 14:30
Talk

HorseIR: Bringing Array Programming Languages Together with Database Query Processing

Hanfeng ChenMcGill University, Canada, Joseph Vinish D'SilvaMcGill University, Canada, Hongji ChenMcGill University, Canada, Bettina KemmeMcGill University, Canada, Laurie HendrenMcGill University, Canada

14:30 - 15:00
Talk

JavaScript AOT Compilation

Manuel SerranoInria, France

15:30 - 17:00: DLS 2018 - Systems at The Loft

15:30 - 16:00
Talk

Query-Based Object-Oriented Programming: A Declarative Web of Objects

Yoav Seginercdl-lang.org, Netherlands, Theo Vossecdl-lang.org, Netherlands, Gil Hararicdl-lang.org, Israel, Uri Kolodnycdl-lang.org, Israel

16:00 - 16:30
Talk

Self-Contained Development Environments

Guido ChariCzech Technical University, Czechia, Javier PimásPalantir Solutions, Argentina, Jan VitekNortheastern University, Olivier FlückigerNortheastern University, USA

16:30 - 17:00
Talk

Numerical Computing on the Web: Benchmarking for the Future

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: (GMT-05:00) 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						17:00						30
The Loft							DLS Semantics																																				DLS Optimization																								DLS Systems

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) 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			17: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

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

DLS 2018 Program

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

DLS

DLS

DLS

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tracks

Display in different time zone

DLS 2018 Program

Tue 6 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 6 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

DLS

DLS

DLS

Tue 6 Nov Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change