SPLASH 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
Toggle navigation
About
Venue: Boston Park Plaza Hotel
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Schedule
SPLASH Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Tracks
SPLASH 2018
OOPSLA
Artifacts
Keynotes
Posters
SPLASH-I
Meetups
SPLASH-E
Workshops
PLMW
Breakfasts
DocSymposium
Volunteers
SRC
Social
Co-hosted Conferences
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
SLE
Workshops
AGERE
AI-SEPS
BLOCKS+
DSLDI
GRACE
HILT
LIVE
META
NJR
OCAP
PLATEAU
REBLS
SLEBoK
TURBO
VMIL
Co-hosted Symposia
DLS
Organization
SPLASH 2018 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Reviewers
Distinguished Paper Committee
Artifacts
Posters
SPLASH-I
Speakers
Organizers
SPLASH-E
Workshops
PLMW
Organizing Committee
Speakers
Breakfasts
DocSymposium
Academic Panel
Organizers
Program Committee
Volunteers
SRC
Organizers
Reviewers
Judges
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
SLE
Keynote Speaker
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
AGERE
Organizing Committee
Program Committee
AI-SEPS
Organizing Committee
Program Committee
BLOCKS+
Organizing Committee
Program Committee
DSLDI
Organizing Committee
Program Committee
GRACE
Organizing Committee
Program Committee
HILT
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
META
Organizing Committee
Program Committee
NJR
Organizing Committee
Program Committee
OCAP
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
SLEBoK
Organizing Committee
Program Committee
TURBO
Organizing Committee
VMIL
Program Committee
Steering Committee
Co-hosted Symposia
DLS
Program Committee
Steering Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 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
Thu 21 Nov 10:40