SLE 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
SLE Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Track/Call
Organization
SLE 2018 Committees
Track Committees
Keynote Speaker
Organizing Committee
Program Committee
Artifact Evaluation Committee
Contributors
People Index
Search
Series
Series
SLE 2025
SLE 2024
SLE 2023
SLE 2022
SLE 2021
SLE 2020
SLE 2019
SLE 2018
SLE 2017
SLE 2016
SLE 2015
SLE 2013
Sign in
Sign up
SPLASH 2018
(
series
) /
SLE 2018 (
series
) /
Boston Park Plaza Hotel
/
Room information: Charles River
Venue
Boston Park Plaza Hotel
Room name
Charles River
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
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:30 - 10:00
I
SPLASH DocSymposium
at
Charles River
Chair(s):
Philipp Haller
KTH, Sweden
08:30
3m
Day opening
Welcome and Introduction
SPLASH DocSymposium
Philipp Haller
KTH, Sweden
08:33
12m
Talk
Lightning Talks
SPLASH DocSymposium
Philipp Haller
KTH, Sweden
08:45
45m
Talk
A DSL for Distributed, Reactive Workflows
SPLASH DocSymposium
Mathijs Saey
Vrije Universiteit Brussel
09:30
30m
Talk
Invited Talk 1
SPLASH DocSymposium
Heather Miller
Carnegie Mellon University
10:30 - 12:00
II
SPLASH DocSymposium
at
Charles River
Chair(s):
Philipp Haller
KTH, Sweden
10:30
45m
Talk
Building Correct and Safe Distributed Systems
SPLASH DocSymposium
Maryam Dabaghchian
University of Utah
11:15
45m
Talk
The Software Architecture of Economy Mechanics in Digital Games
SPLASH DocSymposium
Wilson Mizutani
University of São Paulo
13:30 - 15:00
III
SPLASH DocSymposium
at
Charles River
Chair(s):
Philipp Haller
KTH, Sweden
13:30
45m
Talk
Efficient Static Analyses to Identify Opportunities for Replacing Type Code with Subclass and State
SPLASH DocSymposium
Jyothi Vedurada
IIT Madras
14:15
45m
Talk
Safely Adding a Moving Garbage Collector to a Non Garbage Collected Language
SPLASH DocSymposium
Jacob Hughes
King's College London
15:30 - 17:00
IV
SPLASH DocSymposium
at
Charles River
Chair(s):
Philipp Haller
KTH, Sweden
15:30
45m
Talk
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
SPLASH DocSymposium
Anna-Katharina Wickert
TU Darmstadt
16:15
30m
Talk
Invited Talk 2
SPLASH DocSymposium
Ross Tate
Cornell University
16:45
5m
Day closing
Closing Remarks
SPLASH DocSymposium
Philipp Haller
KTH, Sweden
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Charles River
SPLASH DocSymposium
I
SPLASH DocSymposium
II
SPLASH DocSymposium
III
SPLASH DocSymposium
IV
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
8:00
15
30
45
9:00
15
30
45
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
Charles River
SPLASH DocSymposium
Welcome and Introduction
08:30 - 08:33
SPLASH DocSymposium
Lightning Talks
08:33 - 08:45
SPLASH DocSymposium
A DSL for Distributed, Reactive Workflows
08:45 - 09:30
SPLASH DocSymposium
Invited Talk 1
09:30 - 10:00
SPLASH DocSymposium
Building Correct and Safe Distributed Systems
10:30 - 11:15
SPLASH DocSymposium
The Software Architecture of Economy Mechanics in Digital Games
11:15 - 12:00
SPLASH DocSymposium
Efficient Static Analyses to Identify Opportunities for Replacing Type ...
13:30 - 14:15
SPLASH DocSymposium
Safely Adding a Moving Garbage Collector to a Non Garbage Collected Lan ...
14:15 - 15:00
SPLASH DocSymposium
Automated Rule Inference for Cryptographic APIs through Source Code Rep ...
15:30 - 16:15
SPLASH DocSymposium
Invited Talk 2
16:15 - 16:45
SPLASH DocSymposium
Closing Remarks
16:45 - 16:50
x
Thu 21 Nov 14:34