Write a Blog >>
SAVR 2017
Tue 24 Oct 2017 Vancouver, Canada
co-located with SPLASH 2017
VenueHyatt Regency Vancouver
Room namePrince of Wales
Floor3
Capacity100
Room InformationNo extra information available
Program

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

10:30 - 12:00
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
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
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

10:30 - 12:00
Session 1: Verification and Language ModelsAGERE 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 DebuggingAGERE at Prince of Wales
Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium
13:30
30m
Talk
Locality-Guided Scheduling in CAF
AGERE
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

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
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)
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
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
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
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: PresentationsSPLASH 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
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
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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Prince of Wales

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

Thu 26 Oct

Displayed time zone: Tijuana, Baja California change