DLS 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
DLS Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Track/Call
Organization
DLS 2017 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
DLS 2023
DLS 2022
DLS 2021
DLS 2020
DLS 2019
DLS 2018
DLS 2017
DLS 2016
DLS 2015
DLS
DLS 2013
DLS 2012
DLS 2011
Sign in
Sign up
SPLASH 2017
(
series
) /
DLS 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
SPLASH PL Mentoring Workshop (PLMW)
at
Prince of Wales
08:00
10m
Day opening
Welcome and Greeting
SPLASH 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
SPLASH 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?
SPLASH PL Mentoring Workshop (PLMW)
Yannis Smaragdakis
University of Athens
File Attached
09:30
40m
Talk
The Influence of Programming Languages on Augmenting Human Understanding
SPLASH PL Mentoring Workshop (PLMW)
Benjamin Zorn
Microsoft Research
Media Attached
File Attached
10:30 - 12:00
Session 2
SPLASH PL Mentoring Workshop (PLMW)
at
Prince of Wales
10:30
40m
Talk
What to do and who to ask?
SPLASH PL Mentoring Workshop (PLMW)
Y. Annie Liu
Stony Brook University
File Attached
11:10
60m
Other
Panel of new Ph.D.s
SPLASH 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
SPLASH PL Mentoring Workshop (PLMW)
at
Prince of Wales
13:30
40m
Talk
My 25 years in OO
SPLASH 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
SPLASH PL Mentoring Workshop (PLMW)
Ana Milanova
Rensselaer Polytechnic Institute
File Attached
15:30 - 17:00
Session 4
SPLASH PL Mentoring Workshop (PLMW)
at
Prince of Wales
15:20
40m
Talk
Navigating the process of doing a rewarding Ph.D.
SPLASH PL Mentoring Workshop (PLMW)
Mayur Naik
University of Pennsylvania
File Attached
16:00
60m
Other
Panel: Industry & Academia
SPLASH 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
SPLASH PL Mentoring Workshop (PLMW)
File Attached
17:15
75m
Social Event
Post-Workshop Reception
SPLASH PL Mentoring Workshop (PLMW)
Thu 26 Oct
Displayed time zone:
Tijuana, Baja California
change
15:30 - 17:00
SRC 2nd Round: Presentations
SPLASH 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
SPLASH Student Research Competition
Valerie Zhao
Wellesley College
15:45
15m
Talk
Automatic Testing of Interactive JavaScript Debuggers
SPLASH Student Research Competition
Daniel Lehmann
TU Darmstadt
16:00
15m
Talk
Devirtualization in LLVM
SPLASH Student Research Competition
Piotr Padlewski
16:15
15m
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
SPLASH Student Research Competition
Germán Ceballos
Uppsala University
16:30
15m
Talk
How to Efficiently Process 2^100 Different Lists
SPLASH Student Research Competition
Lukas Lazarek
16:45
15m
Talk
Simulation-based Code Duplication for Enhancing Compiler Optimizations
SPLASH 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
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
Displayed time zone:
Tijuana, Baja California
change
Room
15:00
30
16:00
30
Prince of Wales
SPLASH 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
Sat 21 Dec 17:58