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: Cambridge
Venue
Boston Park Plaza Hotel
Room name
Cambridge
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
Sun 4 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
09:00 - 10:00
Keynote: Ramanathan
REBLS
at
Cambridge
Chair(s):
Francisco Sant'Anna
Rio de Janeiro State University
09:00
15m
Day opening
Welcome and Opening Remarks
REBLS
S:
Guido Salvaneschi
TU Darmstadt
,
S:
Wolfgang De Meuter
Vrije Universiteit Brussel
,
P:
Francisco Sant'Anna
Rio de Janeiro State University
File Attached
09:15
45m
Talk
Reacting to stream-based programming bugs
REBLS
K:
Murali Krishna Ramanathan
Uber
10:30 - 12:00
Embedded, IoT / Multitier, Distributed
REBLS
at
Cambridge
Chair(s):
Tetsuo Kamina
Oita University
10:30
22m
Talk
Where Do Events Come From? Reactive and Energy-Efficient Programming From The Ground Up
REBLS
Francisco Sant'Anna
Rio de Janeiro State University
,
Alexandre Sztajnberg
Rio de Janeiro State University
File Attached
10:52
22m
Talk
Synthesizing Manually Verifiable Code for Statecharts
REBLS
Steven Smyth
Kiel University
,
Christian Motika
Philotech Systementwicklung und Software GmbH
,
Reinhard von Hanxleden
Kiel University
File Attached
11:15
22m
Talk
RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming
REBLS
Orestis Melkonian
University of Utrecht
,
Angelos Charalambidis
NCSR "Demokritos''
File Attached
11:37
22m
Talk
Reactive Chatbot Programming
REBLS
Guillaume Baudart
IBM Research
,
Martin Hirzel
IBM Research
,
Louis Mandel
IBM Research
,
Avraham Shinnar
IBM Research
,
Jerome Simeon
Clause
File Attached
13:30 - 15:00
Multitier, Distributed
REBLS
at
Cambridge
Chair(s):
Louis Mandel
IBM Research
13:30
22m
Talk
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
REBLS
Jesse Zaman
Vrije Universiteit Brussel
,
Kennedy Kambona
Vrije Universiteit Brussel
,
Wolfgang De Meuter
Vrije Universiteit Brussel
File Attached
13:52
22m
Talk
Multitier Reactive Programming with ScalaLoci
REBLS
Pascal Weisenburger
Technische Universität Darmstadt
,
Guido Salvaneschi
TU Darmstadt
File Attached
14:15
22m
Talk
Distributing Thread-Safety for Reactive Programming
REBLS
Joscha Drechsler
Technische Universität Darmstadt
,
Mira Mezini
TU Darmstadt
Pre-print
File Attached
14:37
22m
Talk
Skitter: A DSL for Distributed Reactive Workflows
REBLS
Mathijs Saey
Vrije Universiteit Brussel
,
Joeri De Koster
Vrije Universiteit Brussel, Belgium
,
Wolfgang De Meuter
Vrije Universiteit Brussel
Pre-print
File Attached
15:30 - 17:00
Visualization, Debugging, Programming
REBLS
at
Cambridge
Chair(s):
Antony Courtney
Facebook
15:30
22m
Talk
Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment
REBLS
Bjarno Oeyen
Vrije Universiteit Brussel
,
Humberto Rodriguez Avila
Vrije Universiteit Brussel
,
Sam Van den Vonder
,
Wolfgang De Meuter
Vrije Universiteit Brussel
File Attached
15:52
22m
Talk
Explicitly Comprehensible Functional Reactive Programming
REBLS
Steven Krouse
Media Attached
File Attached
16:15
22m
Talk
A Reactive Language for Analyzing Cloud Logs
REBLS
Guillaume Baudart
IBM Research
,
Louis Mandel
IBM Research
,
Olivier Tardieu
IBM Research
,
Mandana Vaziri
IBM Research
File Attached
16:37
22m
Talk
Visualizing Reactive Execution History using Propagation Traces
REBLS
Takumi Hikosaka
Ritsumeikan University
,
Tetsuo Kamina
Oita University
,
Katsuhisa Maruyama
Ritsumeikan University
File Attached
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:30 - 10:00
Meta for Types
META
at
Cambridge
Chair(s):
Elisa Gonzalez Boix
Vrije Universiteit Brussel
08:30
30m
Talk
Code Generation for Higher Inductive Types
META
Paventhan Vivekanandan
Indiana University Bloomington
File Attached
09:00
30m
Talk
Recognizing heterogeneous sequences by rational type expression
META
Jim Newton
EPITA / LRDE https://www.lrde.epita.fr
,
Didier Verna
EPITA / LRDE
DOI
09:30
30m
Talk
Multiple Dispatch using Compile-Time Metaprogramming
META
Seyed Hossein Haeri
Université Catholique de Louvain
,
Paul Keir
10:30 - 12:00
Keynote: Burmako & Tooling
META
at
Cambridge
Chair(s):
Stefan Marr
University of Kent
10:30
60m
Talk
SemanticDB: a common data model for Scala developer tools ⭐️
Keynote
META
I:
Eugene Burmako
Twitter, Inc.
DOI
11:30
30m
Demonstration
Relit: Typed Literal Macros for Reason
META
Cyrus Omar
University of Chicago
,
Charles Chamberlain
University of Chicago
Link to publication
13:30 - 15:00
Keynote: Bonetta & Infrastructure
META
at
Cambridge
Chair(s):
Guido Chari
Czech Technical University, Czechia
13:30
60m
Talk
GraalVM: Metaprogramming inside a Polyglot System ⭐️
Keynote
META
Daniele Bonetta
Oracle Labs
DOI
14:30
30m
Talk
Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations?
META
Rodrigo Teixeira
INPE - National Institute for Space Research
,
Eduardo Guerra
INPE - National Institute for Space Research
,
Phyllipe Lima
INPE - National Institute for Space Research
,
Paulo Meirelles
Federal University of São Paulo
,
Fabio Kon
University of São Paulo
DOI
15:30 - 17:00
Keynote: Noble
META
at
Cambridge
Chair(s):
Stefan Marr
University of Kent
15:30
60m
Talk
Through a Glass, Darkly ⭐️
Keynote
META
I:
James Noble
Victoria University of Wellington
DOI
16:30
30m
Day closing
Discussion and Closing
META
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:45 - 10:00
Keynote: Steele
SPLASH Keynotes
/
SPLASH PLMW
at
Cambridge
Chair(s):
Barbara Ryder
Virginia Tech
08:45
15m
Welcome and Introduction
SPLASH PLMW
Barbara Ryder
Virginia Tech
File Attached
09:00
60m
Talk
50 Years of Programming and Language Design
KEYNOTE
SPLASH Keynotes
Guy L. Steele Jr.
Oracle Labs
File Attached
10:30 - 12:00
Mentoring Workshop
SPLASH PLMW
at
Cambridge
Chair(s):
Sarah Nadi
University of Alberta
10:30
30m
Talk
The story of Arjun Guha, or: the arc of a research project
SPLASH PLMW
Shriram Krishnamurthi
Brown University, USA
11:00
30m
Talk
From academia to industry and back again
SPLASH PLMW
Julia Rubin
University of British Columbia
File Attached
11:30
30m
Talk
Work/Life Balance
SPLASH PLMW
Kathleen Fisher
Tufts University, USA
File Attached
13:00 - 14:00
Panel: Industry and Academia
SPLASH PLMW
at
Cambridge
Chair(s):
Sarah Nadi
University of Alberta
13:00
60m
Panel: Industrial and Academic Research
SPLASH PLMW
Kathleen Fisher
Tufts University, USA
,
Mayur Naik
University of Pennsylvania
,
Julia Rubin
University of British Columbia
,
Frank Tip
Northeastern University
14:00 - 15:30
Mentoring Workshop
SPLASH PLMW
at
Cambridge
Chair(s):
Jonathan Bell
George Mason University
14:00
30m
Talk
Navigating the process of doing a rewarding Ph.D.
SPLASH PLMW
Mayur Naik
University of Pennsylvania
14:30
30m
Talk
Interaction: the Key to Joining a Research Community
SPLASH PLMW
Kathi Fisler
Brown University
File Attached
15:00
30m
Talk
Advice on your advisor
SPLASH PLMW
Marsha Chechik
University of Toronto
File Attached
16:00 - 21:00
Mentoring Workshop
SPLASH PLMW
at
Cambridge
Chair(s):
Jonathan Bell
George Mason University
16:00
30m
Talk
How to Select Good Research Topics?
SPLASH PLMW
Frank Tip
Northeastern University
File Attached
16:30
60m
Panel of Recent Ph.Ds
SPLASH PLMW
Michael Carbin
Massachusetts Institute of Technology
,
Benjamin Lerner
Northeastern University
,
Sarah Nadi
University of Alberta
,
Shiyi Wei
The University of Texas at Dallas
17:30
15m
Discussion and Concluding Remarks
SPLASH PLMW
File Attached
18:00
3h
End-of-Workshop Dinner at The Brahmin American (All PLMW attendees, speakers, panelists and mentors are invited)
SPLASH PLMW
Sun 4 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Cambridge
REBLS
Keynote: Ramanathan
REBLS
Embedded, IoT / Multitier, Distributed
REBLS
Multitier, Distributed
REBLS
Visualization, Debugging, Programming
Mon 5 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
Cambridge
META
Meta for Types
META
Keynote: Burmako & Tooling
META
Keynote: Bonetta & Infrastructure
META
Keynote: Noble
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
17:00
30
18:00
30
19:00
30
20:00
30
Cambridge
SPLASH Keynotes + SPLASH PLMW
Keynote: Steele
SPLASH PLMW
Mentoring Workshop
SPLASH PLMW
Panel: Industry and Academia
SPLASH PLMW
Mentoring Workshop
SPLASH PLMW
Mentoring Workshop
Sun 4 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
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
Cambridge
REBLS
Welcome and Opening Remarks
09:00 - 09:15
REBLS
Reacting to stream-based programming bugs
09:15 - 10:00
REBLS
Where Do Events Come From? Reactive and Energy-Efficient Programming Fr ...
10:30 - 10:52
REBLS
Synthesizing Manually Verifiable Code for Statecharts
10:52 - 11:15
REBLS
RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for ...
11:15 - 11:37
REBLS
Reactive Chatbot Programming
11:37 - 12:00
REBLS
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-b ...
13:30 - 13:52
REBLS
Multitier Reactive Programming with ScalaLoci
13:52 - 14:15
REBLS
Distributing Thread-Safety for Reactive Programming
14:15 - 14:37
REBLS
Skitter: A DSL for Distributed Reactive Workflows
14:37 - 15:00
REBLS
Composable Higher-Order Reactors as the Basis for a Live Reactive Progr ...
15:30 - 15:52
REBLS
Explicitly Comprehensible Functional Reactive Programming
15:52 - 16:15
REBLS
A Reactive Language for Analyzing Cloud Logs
16:15 - 16:37
REBLS
Visualizing Reactive Execution History using Propagation Traces
16:37 - 17:00
Mon 5 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
Cambridge
META
Code Generation for Higher Inductive Types
08:30 - 09:00
META
Recognizing heterogeneous sequences by rational type expression
09:00 - 09:30
META
Multiple Dispatch using Compile-Time Metaprogramming
09:30 - 10:00
META
Keynote
SemanticDB: a common data model for Scala developer tools ⭐️
10:30 - 11:30
META
Relit: Typed Literal Macros for Reason
11:30 - 12:00
META
Keynote
GraalVM: Metaprogramming inside a Polyglot System ⭐️
13:30 - 14:30
META
Does It Make Sense to have Application-specific Code Conventions as a C ...
14:30 - 15:00
META
Keynote
Through a Glass, Darkly ⭐️
15:30 - 16:30
META
Discussion and Closing
16:30 - 17:00
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
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
Cambridge
SPLASH PLMW
Welcome and Introduction
08:45 - 09:00
SPLASH Keynotes
KEYNOTE
50 Years of Programming and Language Design
09:00 - 10:00
SPLASH PLMW
The story of Arjun Guha, or: the arc of a research project
10:30 - 11:00
SPLASH PLMW
From academia to industry and back again
11:00 - 11:30
SPLASH PLMW
Work/Life Balance
11:30 - 12:00
SPLASH PLMW
Panel: Industrial and Academic Research
13:00 - 14:00
SPLASH PLMW
Navigating the process of doing a rewarding Ph.D.
14:00 - 14:30
SPLASH PLMW
Interaction: the Key to Joining a Research Community
14:30 - 15:00
SPLASH PLMW
Advice on your advisor
15:00 - 15:30
SPLASH PLMW
How to Select Good Research Topics?
16:00 - 16:30
SPLASH PLMW
Panel of Recent Ph.Ds
16:30 - 17:30
SPLASH PLMW
Discussion and Concluding Remarks
17:30 - 17:45
SPLASH PLMW
End-of-Workshop Dinner at The Brahmin American (All PLMW attendees, spe ...
18:00 - 21:00
x
Thu 21 Nov 13:40