Onward! 2017
Sun 22 - Fri 27 October 2017
Vancouver, Canada
co-located with
SPLASH 2017
Toggle navigation
Attending
Venue: Hyatt Regency Vancouver
SPLASH 2017
General Chair's Welcome
OOPSLA Chair's Welcome
Awards
Registration
Student Support
Sponsorship
Visas and ETA
Childcare
Code Of Conduct
Program
Complete Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Tracks
Onward! 2017
Onward! Essays
Onward! Papers
Organization
Onward! 2017
Organizing Committee
Steering Committee
Onward! Essays
Program Committee
Onward! Papers
Program Committee
Contributors
People Index
Search
Series
Series
SPLASH - Onward! 2019 and later
Onward! 2018
Onward! 2017
Onward! 2016
Onward! 2015
Onward! 2014
Onward! 2013
Sign in
Sign up
SPLASH 2017
(
series
) /
Onward! 2017
(
series
) /
Hyatt Regency Vancouver
/
Room information: Prince of Wales
Venue
Hyatt Regency Vancouver
Room name
Prince of Wales
Floor
3
Capacity
100
Additional information
There is no additional information of this room available.
Display in different 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-06: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-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) 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-03:00) Brasilia
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(GMT+01:00) Greenwich Mean Time : Belfast
(GMT+01:00) Greenwich Mean Time : Dublin
(GMT+01:00) Greenwich Mean Time : Lisbon
(GMT+01:00) Greenwich Mean Time : 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) 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+04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) 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+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
Apply
Program
Detailed Table
Session Timeline
Detailed Timeline
Sun 22 Oct
(GMT-07:00) Tijuana, Baja California
change
px-17-2
08:30 - 10:00:
PX/17.2
- Session 1 at
Prince of Wales
px-17-2
08:30 - 10:00
Talk
[Keynote] Shaping the Programming Experiences of Students: Reflections on a Course on Game Design for Problem Solving
Steven Tanimoto
University of Washington, Seattle
Link to publication
px-17-2
10:30 - 12:00:
PX/17.2
- Session 2 at
Prince of Wales
px-17-2
10:30 - 11:15
Talk
Designing a Live Development Experience for Web Components
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
px-17-2
11:15 - 12:00
Talk
Incremental Coverage of Legacy Software Languages
Vadim Zaytsev
Raincode Labs, Belgium
Pre-print
px-17-2
13:30 - 15:00:
PX/17.2
- Session 3 at
Prince of Wales
px-17-2
13:30 - 14:15
Talk
Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP
Yoshiki Ohshima
HARC / Y Combinator Research
,
Bert Freudenberg
,
Dan Amelang
Viewpoints Research Institute
Pre-print
px-17-2
14:15 - 15:00
Talk
Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools
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
px-17-2
15:30 - 17:00:
PX/17.2
- Session 4 at
Prince of Wales
px-17-2
15:30 - 16:15
Talk
The Entangled Strands of Time in Software Development
Matthias Hauswirth
Università della Svizzera italiana (USI)
,
Mohammad Reza Azadmanesh
University of Lugano
Pre-print
px-17-2
16:15 - 17:00
Talk
Towards Concept-aware Programming Environments for Guiding Software Modularity
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
(GMT-07:00) Tijuana, Baja California
change
agere-2017
08:30 - 10:00:
AGERE 2017
- Introduction + Keynote at
Prince of Wales
agere-2017
08:45 - 09:00
Talk
Welcome and Introduction
agere-2017
09:00 - 10:00
Talk
AGERE! Keynote: Advanced Features of the Orleans Programming Framework
Keynote
Philip A. Bernstein
Microsoft Research
File Attached
agere-2017
10:30 - 12:00:
AGERE 2017
- Session 1: Verification and Language Models at
Prince of Wales
Chair(s):
Joeri De Koster
Vrije Universiteit Brussel, Belgium
agere-2017
10:30 - 11:00
Talk
Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors
Humberto Rodriguez Avila
Vrije Universiteit Brussel
,
Joeri De Koster
Vrije Universiteit Brussel, Belgium
,
Wolfgang De Meuter
Vrije Universiteit Brussel
File Attached
agere-2017
11:00 - 11:30
Talk
Tree Topologies for Causal Message Delivery
Sebastian Blessing
Imperial College London
,
Sylvan Clebsch
Imperial College London
,
Sophia Drossopoulou
agere-2017
11:30 - 12:00
Talk
Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
Mehdi Bagherzadeh
Oakland University
,
Hridesh Rajan
Iowa State University
File Attached
agere-2017
13:30 - 15:00:
AGERE 2017
- Session 2: Runtime Environments and Debugging at
Prince of Wales
Chair(s):
Joeri De Koster
Vrije Universiteit Brussel, Belgium
agere-2017
13:30 - 14:00
Talk
Locality-Guided Scheduling in CAF
Sebastian Wölke
None
,
Raphael Hiesgen
,
Dominik Charousset
,
Thomas C. Schmidt
HAW Hamburg
File Attached
agere-2017
14:00 - 14:30
Talk
A Principled Approach Towards Debugging Communicating Event-Loops
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
agere-2017
14:30 - 15:00
Talk
Actoverse: A Reversible Debugger for Actors
Kazuhiro Shibanai
Tokyo Institute of Technology
,
Takuo Watanabe
Tokyo Institute of Technology
Link to publication
DOI
agere-2017
15:30 - 17:00:
AGERE 2017
- Keynote + Discussion/Panel at
Prince of Wales
agere-2017
15:30 - 16:30
Talk
AGERE! Keynote: Actors for Big Data: Applications and Open Problems
Keynote
Gul Agha
agere-2017
16:30 - 17:00
Talk
Discussion/Panel
Tue 24 Oct
(GMT-07:00) Tijuana, Baja California
change
splash-2017-PLMW
08:30 - 10:00:
PL Mentoring Workshop (PLMW)
- Session 1 at
Prince of Wales
splash-2017-PLMW
08:00 - 08:10
Day opening
Welcome and Greeting
Barbara Ryder
Virginia Tech
,
Lori Pollock
University of Delaware, USA
File Attached
splash-2017-PLMW
08:10 - 08:50
Talk
Research is a social process / What Programming Languages Researchers Do and How
Kathryn S McKinley
Google
File Attached
splash-2017-PLMW
08:50 - 09:30
Talk
Why do a Ph.D. and how to pick an area?
Yannis Smaragdakis
University of Athens
File Attached
splash-2017-PLMW
09:30 - 10:10
Talk
The Influence of Programming Languages on Augmenting Human Understanding
Benjamin Zorn
Microsoft Research
Media Attached
File Attached
splash-2017-PLMW
10:30 - 12:00:
PL Mentoring Workshop (PLMW)
- Session 2 at
Prince of Wales
splash-2017-PLMW
10:30 - 11:10
Talk
What to do and who to ask?
Y. Annie Liu
Stony Brook University
File Attached
splash-2017-PLMW
11:10 - 12:10
Other
Panel of new Ph.D.s
Michael Hilton
Carnegie Mellon University, USA
,
Kathryn Stolee
North Carolina State University
,
David Darais
University of Maryland, USA
,
Annie T.T. Ying
EquitySim
splash-2017-PLMW
13:30 - 15:00:
PL Mentoring Workshop (PLMW)
- Session 3 at
Prince of Wales
splash-2017-PLMW
13:30 - 14:10
Talk
My 25 years in OO
Jan Vitek
Northeastern University, USA
File Attached
splash-2017-PLMW
14:10 - 14:50
Talk
Choosing your mentor and learning to present your ideas clearly
Ana Milanova
Rensselaer Polytechnic Institute
File Attached
splash-2017-PLMW
15:30 - 17:00:
PL Mentoring Workshop (PLMW)
- Session 4 at
Prince of Wales
splash-2017-PLMW
15:20 - 16:00
Talk
Navigating the process of doing a rewarding Ph.D.
Mayur Naik
University of Pennsylvania
File Attached
splash-2017-PLMW
16:00 - 17:00
Other
Panel: Industry & Academia
Kathryn S McKinley
Google
,
Julia Rubin
University of British Columbia
,
Benjamin Zorn
Microsoft Research
,
Mayur Naik
University of Pennsylvania
splash-2017-PLMW
17:00 - 17:15
Day closing
Wrap Up
File Attached
splash-2017-PLMW
17:15 - 18:30
Social Event
Post-Workshop Reception
Thu 26 Oct
(GMT-07:00) Tijuana, Baja California
change
splash-2017-Student-Research-Competition
15:30 - 17:00:
Student Research Competition
- SRC 2nd Round: Presentations at
Prince of Wales
Chair(s):
Jennifer B. Sartor
Vrije Universiteit Brussel
,
Shan Shan Huang
LogicBlox, Inc.
splash-2017-Student-Research-Competition
15:30 - 15:45
Talk
Abstracting Resource Effects
Valerie Zhao
Wellesley College
splash-2017-Student-Research-Competition
15:45 - 16:00
Talk
Automatic Testing of Interactive JavaScript Debuggers
Daniel Lehmann
TU Darmstadt
splash-2017-Student-Research-Competition
16:00 - 16:15
Talk
Devirtualization in LLVM
Piotr Padlewski
splash-2017-Student-Research-Competition
16:15 - 16:30
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Germán Ceballos
Uppsala University
splash-2017-Student-Research-Competition
16:30 - 16:45
Talk
How to Efficiently Process 2^100 Different Lists
Lukas Lazarek
splash-2017-Student-Research-Competition
16:45 - 17:00
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
David Leopoldseder
Johannes Kepler University Linz
Sun 22 Oct
(GMT-07:00) 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
17: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
(GMT-07:00) 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
17: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
(GMT-07:00) 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
17:00
30
Prince of Wales
SPLASH PL Mentoring Workshop (PLMW)
Session 1
SPLASH PL Mentoring Workshop (PLMW)
Session 2
SPLASH PL Mentoring Workshop (PLMW)
Session 3
SPLASH PL Mentoring Workshop (PLMW)
Session 4
Thu 26 Oct
(GMT-07:00) Tijuana, Baja California
change
Room
15:00
30
16:00
30
17:00
30
Prince of Wales
SPLASH Student Research Competition
SRC 2nd Round: Presentations
Sun 22 Oct
(GMT-07:00) 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
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
(GMT-07:00) 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
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
(GMT-07:00) 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
(GMT-07:00) Tijuana, Baja California
change
Room
15:00
15
30
45
16:00
15
30
45
17: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
Sun 7 Jun 12:07