Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017
Vancouver, Canada
Toggle navigation
Attending
Venue: Hyatt Regency Vancouver
General Chair's Welcome
OOPSLA Chair's Welcome
Awards
Registration
Student Support
Sponsorship
Visas and ETA
Childcare
Code Of Conduct
Program
SPLASH Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Tracks
SPLASH 2017
Keynotes
OOPSLA
OOPSLA Artifacts
Doctoral Symposium
PL Mentoring Workshop (PLMW)
Posters
SPLASH-E
SPLASH-I
Student Research Competition
Student Volunteers
Workshops
Social Program
Co-hosted Conferences
GPCE
GPCE
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
PLoP
PLoP
PLoP
SLE
Workshops
AGERE
CHESE
CoCoS
DSLDI
Escaped
FOSD
LIVE
META
NJR
NOOL
OCAP
PLATEAU
PX/17.2
Parsing@SLE
REBLS
REBELS
SAVR
SEPS
VMIL
WODA
Co-hosted Symposia
DLS
Scala
Organization
SPLASH 2017 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Program Committee
External Program Committee
OOPSLA Artifacts
Doctoral Symposium
Invited Talks
Program Committee
PL Mentoring Workshop (PLMW)
PLMW Organizing Committee
PLMW Speakers
Posters
SPLASH-E
Program Committee
Steering Committee
SPLASH-I
Student Research Competition
Workshops
Organizing Committee
Program Committee
Contributors
People Index
Co-hosted Conferences
GPCE
Keynote speaker
Organizing Committee
Program Committee
Steering Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
PLoP
Organizing Committee
Program Committee
SLE
Keynote Speaker
Organizing Committee
Artifact Evaluation Committee
Program Committee
Steering Committee
Workshops
AGERE
Organizing Committee
Program Committee
CHESE
Steering Committee
Program Committee
CoCoS
Organizing Committee
Publicity
Program Committee
DSLDI
Keynote Speaker
Organizing Committee
Program Committee
Escaped
Organizing Committee
Program Committee
FOSD
Keynote Speaker
Organizing Committee
Program Committee
LIVE
Program Committee
META
Invited Talks
Organizing Committee
Program Committee
NJR
Organizing Committee
NOOL
Organizing Committee
Program Committee
OCAP
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Program Committee
PX/17.2
Organizing Committee
Program Committee
Parsing@SLE
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
SAVR
Organizing Committee
Program Committee
SEPS
Organizing Committee
Program Committee
VMIL
Organizing Committee
Program Committee
WODA
Organizing Committee
Co-hosted Symposia
DLS
Organizing Committee
Program Committee
Steering Committee
Scala
Organizing Committee
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 2017
(
series
) /
Hyatt Regency Vancouver
/
Room information: Prince of Wales
Venue
Hyatt Regency Vancouver
Room name
Prince of Wales
Floor
3
Capacity
100
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-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
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-06: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-04: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-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03: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 22 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Session 1
PX/17.2
at
Prince of Wales
08:30
90m
Talk
[Keynote] Shaping the Programming Experiences of Students: Reflections on a Course on Game Design for Problem Solving
PX/17.2
K:
Steven Tanimoto
University of Washington, Seattle
Link to publication
10:30 - 12:00
Session 2
PX/17.2
at
Prince of Wales
10:30
45m
Talk
Designing a Live Development Experience for Web Components
PX/17.2
Jens Lincke
Hasso Plattner Institute
,
Stefan Ramson
Hasso Plattner Institute, Potsdam
,
Patrick Rein
Hasso Plattner Institute
,
Robert Hirschfeld
HPI
,
Marcel Taeumel
Hasso Plattner Institute
,
Tim Felgentreff
Hasso-Plattner-Institute, Potsdam
Pre-print
11:15
45m
Talk
Incremental Coverage of Legacy Software Languages
PX/17.2
Vadim Zaytsev
Raincode Labs, Belgium
Pre-print
13:30 - 15:00
Session 3
PX/17.2
at
Prince of Wales
13:30
45m
Talk
Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP
PX/17.2
Yoshiki Ohshima
HARC / Y Combinator Research
,
Bert Freudenberg
,
Dan Amelang
Viewpoints Research Institute
Pre-print
14:15
45m
Talk
Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools
PX/17.2
Patrick Rein
Hasso Plattner Institute
,
Jens Lincke
Hasso Plattner Institute
,
Stefan Ramson
Hasso Plattner Institute, Potsdam
,
Toni Mattis
Hasso Plattner Institute
,
Robert Hirschfeld
HPI
Pre-print
15:30 - 17:00
Session 4
PX/17.2
at
Prince of Wales
15:30
45m
Talk
The Entangled Strands of Time in Software Development
PX/17.2
Matthias Hauswirth
Università della Svizzera italiana (USI)
,
Mohammad Reza Azadmanesh
University of Lugano
Pre-print
16:15
45m
Talk
Towards Concept-aware Programming Environments for Guiding Software Modularity
PX/17.2
Toni Mattis
Hasso Plattner Institute
,
Patrick Rein
Hasso Plattner Institute
,
Stefan Ramson
Hasso Plattner Institute, Potsdam
,
Jens Lincke
Hasso Plattner Institute
,
Robert Hirschfeld
HPI
Pre-print
Mon 23 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Introduction + Keynote
AGERE
at
Prince of Wales
08:45
15m
Talk
Welcome and Introduction
AGERE
09:00
60m
Talk
AGERE! Keynote: Advanced Features of the Orleans Programming Framework
Keynote
AGERE
Philip A. Bernstein
Microsoft Research
File Attached
10:30 - 12:00
Session 1: Verification and Language Models
AGERE
at
Prince of Wales
Chair(s):
Joeri De Koster
Vrije Universiteit Brussel, Belgium
10:30
30m
Talk
Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors
AGERE
Humberto Rodriguez Avila
Vrije Universiteit Brussel
,
Joeri De Koster
Vrije Universiteit Brussel, Belgium
,
Wolfgang De Meuter
Vrije Universiteit Brussel
File Attached
11:00
30m
Talk
Tree Topologies for Causal Message Delivery
AGERE
Sebastian Blessing
Imperial College London
,
Sylvan Clebsch
Imperial College London
,
Sophia Drossopoulou
11:30
30m
Talk
Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
AGERE
Mehdi Bagherzadeh
Oakland University
,
Hridesh Rajan
Iowa State University
File Attached
13:30 - 15:00
Session 2: Runtime Environments and Debugging
AGERE
at
Prince of Wales
Chair(s):
Joeri De Koster
Vrije Universiteit Brussel, Belgium
13:30
30m
Talk
Locality-Guided Scheduling in CAF
AGERE
Sebastian Wölke
None
,
Raphael Hiesgen
,
Dominik Charousset
,
Thomas C. Schmidt
HAW Hamburg
File Attached
14:00
30m
Talk
A Principled Approach Towards Debugging Communicating Event-Loops
AGERE
Carmen Torres Lopez
,
Stefan Marr
University of Kent
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel
,
Hanspeter Mössenböck
JKU Linz, Austria
,
Christophe Scholliers
Universiteit Gent, Belgium
14:30
30m
Talk
Actoverse: A Reversible Debugger for Actors
AGERE
Kazuhiro Shibanai
Tokyo Institute of Technology
,
Takuo Watanabe
Tokyo Institute of Technology
Link to publication
DOI
15:30 - 17:00
Keynote + Discussion/Panel
AGERE
at
Prince of Wales
15:30
60m
Talk
AGERE! Keynote: Actors for Big Data: Applications and Open Problems
Keynote
AGERE
Gul Agha
16:30
30m
Talk
Discussion/Panel
AGERE
Tue 24 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Session 1
PL Mentoring Workshop (PLMW)
at
Prince of Wales
08:00
10m
Day opening
Welcome and Greeting
PL Mentoring Workshop (PLMW)
Barbara Ryder
Virginia Tech
,
Lori Pollock
University of Delaware, USA
File Attached
08:10
40m
Talk
Research is a social process / What Programming Languages Researchers Do and How
PL Mentoring Workshop (PLMW)
Kathryn S McKinley
Google
File Attached
08:50
40m
Talk
Why do a Ph.D. and how to pick an area?
PL Mentoring Workshop (PLMW)
Yannis Smaragdakis
University of Athens
File Attached
09:30
40m
Talk
The Influence of Programming Languages on Augmenting Human Understanding
PL Mentoring Workshop (PLMW)
Benjamin Zorn
Microsoft Research
Media Attached
File Attached
10:30 - 12:00
Session 2
PL Mentoring Workshop (PLMW)
at
Prince of Wales
10:30
40m
Talk
What to do and who to ask?
PL Mentoring Workshop (PLMW)
Y. Annie Liu
Stony Brook University
File Attached
11:10
60m
Other
Panel of new Ph.D.s
PL Mentoring Workshop (PLMW)
Michael Hilton
Carnegie Mellon University, USA
,
Kathryn Stolee
North Carolina State University
,
David Darais
University of Maryland, USA
,
Annie T.T. Ying
EquitySim
13:30 - 15:00
Session 3
PL Mentoring Workshop (PLMW)
at
Prince of Wales
13:30
40m
Talk
My 25 years in OO
PL Mentoring Workshop (PLMW)
Jan Vitek
Northeastern University, USA
File Attached
14:10
40m
Talk
Choosing your mentor and learning to present your ideas clearly
PL Mentoring Workshop (PLMW)
Ana Milanova
Rensselaer Polytechnic Institute
File Attached
15:30 - 17:00
Session 4
PL Mentoring Workshop (PLMW)
at
Prince of Wales
15:20
40m
Talk
Navigating the process of doing a rewarding Ph.D.
PL Mentoring Workshop (PLMW)
Mayur Naik
University of Pennsylvania
File Attached
16:00
60m
Other
Panel: Industry & Academia
PL Mentoring Workshop (PLMW)
Kathryn S McKinley
Google
,
Julia Rubin
University of British Columbia
,
Benjamin Zorn
Microsoft Research
,
Mayur Naik
University of Pennsylvania
17:00
15m
Day closing
Wrap Up
PL Mentoring Workshop (PLMW)
File Attached
17:15
75m
Social Event
Post-Workshop Reception
PL Mentoring Workshop (PLMW)
Thu 26 Oct
Displayed time zone:
Tijuana, Baja California
change
15:30 - 17:00
SRC 2nd Round: Presentations
Student Research Competition
at
Prince of Wales
Chair(s):
Shan Shan Huang
LogicBlox, Inc.
,
Jennifer B. Sartor
Vrije Universiteit Brussel
15:30
15m
Talk
Abstracting Resource Effects
Student Research Competition
Valerie Zhao
Wellesley College
15:45
15m
Talk
Automatic Testing of Interactive JavaScript Debuggers
Student Research Competition
Daniel Lehmann
TU Darmstadt
16:00
15m
Talk
Devirtualization in LLVM
Student Research Competition
Piotr Padlewski
16:15
15m
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Student Research Competition
Germán Ceballos
Uppsala University
16:30
15m
Talk
How to Efficiently Process 2^100 Different Lists
Student Research Competition
Lukas Lazarek
16:45
15m
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
Student Research Competition
David Leopoldseder
Johannes Kepler University Linz
Sun 22 Oct
Displayed time zone:
Tijuana, Baja California
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
Prince of Wales
PX/17.2
Session 1
PX/17.2
Session 2
PX/17.2
Session 3
PX/17.2
Session 4
Mon 23 Oct
Displayed time zone:
Tijuana, Baja California
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
Prince of Wales
AGERE
Introduction + Keynote
AGERE
Session 1: Verification and Language Models
AGERE
Session 2: Runtime Environments and Debugging
AGERE
Keynote + Discussion/Panel
Tue 24 Oct
Displayed time zone:
Tijuana, Baja California
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
Prince of Wales
PL Mentoring Workshop (PLMW)
Session 1
PL Mentoring Workshop (PLMW)
Session 2
PL Mentoring Workshop (PLMW)
Session 3
PL Mentoring Workshop (PLMW)
Session 4
Thu 26 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
15:00
30
16:00
30
Prince of Wales
Student Research Competition
SRC 2nd Round: Presentations
Sun 22 Oct
Displayed time zone:
Tijuana, Baja California
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
Prince of Wales
PX/17.2
[Keynote] Shaping the Programming Experiences of Students: Reflections ...
08:30 - 10:00
PX/17.2
Designing a Live Development Experience for Web Components
10:30 - 11:15
PX/17.2
Incremental Coverage of Legacy Software Languages
11:15 - 12:00
PX/17.2
Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP
13:30 - 14:15
PX/17.2
Living in your Programming Environment: Enabling Exploratory Programmin ...
14:15 - 15:00
PX/17.2
The Entangled Strands of Time in Software Development
15:30 - 16:15
PX/17.2
Towards Concept-aware Programming Environments for Guiding Software Mod ...
16:15 - 17:00
Mon 23 Oct
Displayed time zone:
Tijuana, Baja California
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
Prince of Wales
AGERE
Welcome and Introduction
08:45 - 09:00
AGERE
Keynote
AGERE! Keynote: Advanced Features of the Orleans Programming Framework
09:00 - 10:00
AGERE
Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors
10:30 - 11:00
AGERE
Tree Topologies for Causal Message Delivery
11:00 - 11:30
AGERE
Order Types: Static Reasoning about Message Races in Asynchronous Messa ...
11:30 - 12:00
AGERE
Locality-Guided Scheduling in CAF
13:30 - 14:00
AGERE
A Principled Approach Towards Debugging Communicating Event-Loops
14:00 - 14:30
AGERE
Actoverse: A Reversible Debugger for Actors
14:30 - 15:00
AGERE
Keynote
AGERE! Keynote: Actors for Big Data: Applications and Open Problems
15:30 - 16:30
AGERE
Discussion/Panel
16:30 - 17:00
Tue 24 Oct
Displayed time zone:
Tijuana, Baja California
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
Prince of Wales
SPLASH PL Mentoring Workshop (PLMW)
Welcome and Greeting
08:00 - 08:10
SPLASH PL Mentoring Workshop (PLMW)
Research is a social process / What Programming Languages Researchers D ...
08:10 - 08:50
SPLASH PL Mentoring Workshop (PLMW)
Why do a Ph.D. and how to pick an area?
08:50 - 09:30
SPLASH PL Mentoring Workshop (PLMW)
The Influence of Programming Languages on Augmenting Human Understanding
09:30 - 10:10
SPLASH PL Mentoring Workshop (PLMW)
What to do and who to ask?
10:30 - 11:10
SPLASH PL Mentoring Workshop (PLMW)
Panel of new Ph.D.s
11:10 - 12:10
SPLASH PL Mentoring Workshop (PLMW)
My 25 years in OO
13:30 - 14:10
SPLASH PL Mentoring Workshop (PLMW)
Choosing your mentor and learning to present your ideas clearly
14:10 - 14:50
SPLASH PL Mentoring Workshop (PLMW)
Navigating the process of doing a rewarding Ph.D.
15:20 - 16:00
SPLASH PL Mentoring Workshop (PLMW)
Panel: Industry & Academia
16:00 - 17:00
SPLASH PL Mentoring Workshop (PLMW)
Wrap Up
17:00 - 17:15
SPLASH PL Mentoring Workshop (PLMW)
Post-Workshop Reception
17:15 - 18:30
Thu 26 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
15:00
15
30
45
16:00
15
30
45
Prince of Wales
SPLASH Student Research Competition
Abstracting Resource Effects
15:30 - 15:45
SPLASH Student Research Competition
Automatic Testing of Interactive JavaScript Debuggers
15:45 - 16:00
SPLASH Student Research Competition
Devirtualization in LLVM
16:00 - 16:15
SPLASH Student Research Competition
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks I ...
16:15 - 16:30
SPLASH Student Research Competition
How to Efficiently Process 2^100 Different Lists
16:30 - 16:45
SPLASH Student Research Competition
Simulation-based Code Duplication for Enhancing Compiler Optimizations
16:45 - 17:00
x
Thu 21 Nov 09:31