Program - DLS 2018

Filter

Badges

Your Program

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

10:30 - 11:00
Talk

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

11:00 - 11:30
Talk

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

Mark MarronMicrosoft Research

14:00 - 14:30
Talk

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

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

15:30 - 16:00
Talk

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

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

16:30 - 17:00
Talk

David HerreraMcGill University, Canada, Hanfeng ChenMcGill University, Canada, Erick LavoieMcGill University, Canada, Laurie HendrenMcGill University, Canada


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 10:30 - 12:00																																				DLS Optimization 13:30 - 15:00																								DLS Systems 15:30 - 17:00


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