Conference Dates
Conference Dates are in time zone (GMT-05:00) Guadalajara, Mexico City, Monterrey, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Tue 6 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
| 10:30 - 11:00 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 - 11:30 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 - 14:00 Talk | Log++ Logging for a Cloud-Native World DLS 2018 Mark MarronMicrosoft Research | ||
| 14:00 - 14:30 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 - 15:00 Talk | JavaScript AOT Compilation DLS 2018 Manuel SerranoInria, France | ||
| 15:30 - 16:00 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 - 16:30 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 - 17:00 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
Tue 6 Nov
Times are displayed in time zone: 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 6 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Tue 6 Nov
Times are displayed in time zone: 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 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 JavaScript AOT Compilation 14:30 - 15:00 | DLS Self-Contained Development Environments 16:00 - 16:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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