Write a Blog >>
DLS 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
co-located with
SPLASH 2018
Toggle navigation
Attending
Venue: Boston Park Plaza Hotel
SPLASH 2018
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Program
DLS Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Track/Call
Organization
DLS 2018 Committees
Track Committees
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
DLS 2023
DLS 2022
DLS 2021
DLS 2020
DLS 2019
DLS 2018
DLS 2017
DLS 2016
DLS 2015
DLS
DLS 2013
DLS 2012
DLS 2011
Sign in
Sign up
SPLASH 2018
(
series
) /
DLS 2018 (
series
) /
Boston Park Plaza Hotel
/
Room information: White Hill
Venue
Boston Park Plaza Hotel
Room name
White Hill
Floor
4
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Guadalajara, Mexico City, Monterrey
.
Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
13:30 - 14:30
Chlipala
SPLASH -I
at
White Hill
13:30
60m
Talk
Mechanized Proofs of System Correctness in Production: Cryptography and Beyond
SPLASH -I
Adam Chlipala
MIT
15:30 - 16:30
White
SPLASH -I
at
White Hill
15:30
60m
Talk
Software is eating the world, but ML is going to eat software
SPLASH -I
John Myles White
Facebook
16:30 - 17:30
Ramanathan
SPLASH -I
at
White Hill
16:30
60m
Talk
Reliable Deployment at Uber Scale
SPLASH -I
Murali Krishna Ramanathan
Uber
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
13:30 - 14:30
Szabó
SPLASH -I
at
White Hill
13:30
60m
Talk
Better living through incrementality: Immediate static analysis feedback without loss of precision
SPLASH -I
Sebastian Erdweg
TU Delft
,
Tamás Szabó
itemis / TU Delft
Link to publication
15:30 - 16:30
Gottschlich
SPLASH -I
at
White Hill
15:30
60m
Talk
The Future of AI: Machine Programmers and Their Necessary Self-Awareness
SPLASH -I
Justin Gottschlich
Intel Labs
16:30 - 17:30
Wilkinson
SPLASH -I
at
White Hill
16:30
60m
Talk
Automatic Visualization
SPLASH -I
Leland Wilkinson
H2O.ai
17:30 - 18:30
Fisher
SPLASH -I
at
White Hill
17:30
60m
Talk
Provably Eliminating Exploitable Bugs
SPLASH -I
Kathleen Fisher
Tufts University, USA
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
11:00 - 12:00
Larus
SPLASH -I
at
White Hill
11:00
60m
Talk
Programming NVM
SPLASH -I
James Larus
EPFL
13:30 - 14:30
Hendren
SPLASH -I
at
White Hill
13:30
60m
Talk
Developing Opal, an App for Cancer Patients, as a Computer Scientist and Cancer Patient
SPLASH -I
Laurie Hendren
McGill University, Canada
15:30 - 16:30
Chen
SPLASH -I
at
White Hill
15:30
60m
Talk
Robustly benchmarking Julia in noisy environments
SPLASH -I
Jiahao Chen
Capital One
Pre-print
16:30 - 17:30
Bezanson
SPLASH -I
at
White Hill
16:30
60m
Talk
The Rise of Compilerization
SPLASH -I
Jeff Bezanson
Julia Computing
17:30 - 18:30
Noble
SPLASH -I
at
White Hill
17:30
60m
Talk
Two Decades of Ownership Types
SPLASH -I
James Noble
Victoria University of Wellington
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
11:00 - 12:00
Burka
SPLASH -I
at
White Hill
11:00
60m
Talk
Establishing a culture of code review
SPLASH -I
Peter Burka
Two Sigma
13:30 - 14:30
Matsakis
SPLASH -I
at
White Hill
13:30
60m
Talk
Rust: Reach Further
SPLASH -I
Nicholas Matsakis
Mozilla Corporation
15:30 - 16:30
Taft
SPLASH -I
at
White Hill
15:30
60m
Talk
Provably Safe Pointers for a Parallel World
SPLASH -I
Tucker Taft
AdaCore
16:30 - 17:30
Pizlo
SPLASH -I
at
White Hill
16:30
60m
Talk
All about JavaScriptCore's many compilers
SPLASH -I
Filip Pizlo
Apple
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
White Hill
SPLASH -I
Chlipala
SPLASH -I
White
SPLASH -I
Ramanathan
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
White Hill
SPLASH -I
Szabó
SPLASH -I
Gottschlich
SPLASH -I
Wilkinson
SPLASH -I
Fisher
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
White Hill
SPLASH -I
Larus
SPLASH -I
Hendren
SPLASH -I
Chen
SPLASH -I
Bezanson
SPLASH -I
Noble
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
White Hill
SPLASH -I
Burka
SPLASH -I
Matsakis
SPLASH -I
Taft
SPLASH -I
Pizlo
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
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
White Hill
SPLASH -I
Mechanized Proofs of System Correctness in Production: Cryptography and ...
13:30 - 14:30
SPLASH -I
Software is eating the world, but ML is going to eat software
15:30 - 16:30
SPLASH -I
Reliable Deployment at Uber Scale
16:30 - 17:30
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
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
18:00
15
30
45
White Hill
SPLASH -I
Better living through incrementality: Immediate static analysis feedbac ...
13:30 - 14:30
SPLASH -I
The Future of AI: Machine Programmers and Their Necessary Self-Awareness
15:30 - 16:30
SPLASH -I
Automatic Visualization
16:30 - 17:30
SPLASH -I
Provably Eliminating Exploitable Bugs
17:30 - 18:30
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
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
18:00
15
30
45
White Hill
SPLASH -I
Programming NVM
11:00 - 12:00
SPLASH -I
Developing Opal, an App for Cancer Patients, as a Computer Scientist an ...
13:30 - 14:30
SPLASH -I
Robustly benchmarking Julia in noisy environments
15:30 - 16:30
SPLASH -I
The Rise of Compilerization
16:30 - 17:30
SPLASH -I
Two Decades of Ownership Types
17:30 - 18:30
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
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
White Hill
SPLASH -I
Establishing a culture of code review
11:00 - 12:00
SPLASH -I
Rust: Reach Further
13:30 - 14:30
SPLASH -I
Provably Safe Pointers for a Parallel World
15:30 - 16:30
SPLASH -I
All about JavaScriptCore's many compilers
16:30 - 17:30
x
Sun 22 Dec 20:51