Prince of Wales - Onward! 2017

VenueHyatt Regency Vancouver

Room namePrince of Wales

Floor3

Room number

Capacity100

Additional informationThere is no additional information of this room available.

Program

Sun 22 Oct

08:30 - 10:00: PX/17.2 - Session 1 at Prince of Wales

08:30 - 10:00
Talk

[Keynote] Shaping the Programming Experiences of Students: Reflections on a Course on Game Design for Problem Solving

Steven TanimotoUniversity of Washington, Seattle

Link to publication

10:30 - 12:00: PX/17.2 - Session 2 at Prince of Wales

10:30 - 11:15
Talk

Designing a Live Development Experience for Web Components

Jens LinckeHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI, Marcel TaeumelHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam

Pre-print

11:15 - 12:00
Talk

Incremental Coverage of Legacy Software Languages

Vadim ZaytsevRaincode Labs, Belgium

Pre-print

13:30 - 15:00: PX/17.2 - Session 3 at Prince of Wales

13:30 - 14:15
Talk

Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP

Yoshiki OhshimaHARC / Y Combinator Research, Bert Freudenberg, Dan AmelangViewpoints Research Institute

Pre-print

14:15 - 15:00
Talk

Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools

Patrick ReinHasso Plattner Institute, Jens LinckeHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI

Pre-print

15:30 - 17:00: PX/17.2 - Session 4 at Prince of Wales

15:30 - 16:15
Talk

The Entangled Strands of Time in Software Development

Matthias HauswirthUniversità della Svizzera italiana (USI), Mohammad Reza AzadmaneshUniversity of Lugano

Pre-print

16:15 - 17:00
Talk

Towards Concept-aware Programming Environments for Guiding Software Modularity

Toni MattisHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI

Pre-print

Mon 23 Oct

08:30 - 10:00: AGERE 2017 - Introduction + Keynote at Prince of Wales

08:45 - 09:00
Talk

Welcome and Introduction

09:00 - 10:00
Talk

AGERE! Keynote: Advanced Features of the Orleans Programming FrameworkKeynote

Philip A. BernsteinMicrosoft Research

File Attached

10:30 - 12:00: AGERE 2017 - Session 1: Verification and Language Models at Prince of Wales
Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium

10:30 - 11:00
Talk

Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors

Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel

File Attached

11:00 - 11:30
Talk

Tree Topologies for Causal Message Delivery

Sebastian BlessingImperial College London, Sylvan ClebschImperial College London, Sophia Drossopoulou

11:30 - 12:00
Talk

Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency

Mehdi BagherzadehOakland University, Hridesh RajanIowa State University

File Attached

13:30 - 15:00: AGERE 2017 - Session 2: Runtime Environments and Debugging at Prince of Wales
Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium

13:30 - 14:00
Talk

Locality-Guided Scheduling in CAF

Sebastian WölkeNone, Raphael Hiesgen, Dominik Charousset, Thomas C. SchmidtHAW Hamburg

File Attached

14:00 - 14:30
Talk

A Principled Approach Towards Debugging Communicating Event-Loops

Carmen Torres Lopez, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria, Christophe ScholliersUniversiteit Gent, Belgium

14:30 - 15:00
Talk

Actoverse: A Reversible Debugger for Actors

Kazuhiro ShibanaiTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology

Link to publication DOI

15:30 - 17:00: AGERE 2017 - Keynote + Discussion/Panel at Prince of Wales

15:30 - 16:30
Talk

AGERE! Keynote: Actors for Big Data: Applications and Open ProblemsKeynote

Gul Agha

16:30 - 17:00
Talk

Discussion/Panel

Tue 24 Oct

08:30 - 10:00: PL Mentoring Workshop (PLMW) - Session 1 at Prince of Wales

08:00 - 08:10
Day opening

Welcome and Greeting

Barbara RyderVirginia Tech, Lori PollockUniversity of Delaware, USA

File Attached

08:10 - 08:50
Talk

Research is a social process / What Programming Languages Researchers Do and How

Kathryn S McKinleyGoogle

File Attached

08:50 - 09:30
Talk

Why do a Ph.D. and how to pick an area?

Yannis SmaragdakisUniversity of Athens

File Attached

09:30 - 10:10
Talk

The Influence of Programming Languages on Augmenting Human Understanding

Benjamin ZornMicrosoft Research

Media Attached File Attached

10:30 - 12:00: PL Mentoring Workshop (PLMW) - Session 2 at Prince of Wales

10:30 - 11:10
Talk

What to do and who to ask?

Y. Annie LiuStony Brook University

File Attached

11:10 - 12:10
Other

Panel of new Ph.D.s

Michael HiltonCarnegie Mellon University, USA, Kathryn StoleeNorth Carolina State University, David DaraisUniversity of Maryland, USA, Annie T.T. YingEquitySim

13:30 - 15:00: PL Mentoring Workshop (PLMW) - Session 3 at Prince of Wales

13:30 - 14:10
Talk

My 25 years in OO

Jan VitekNortheastern University, USA

File Attached

14:10 - 14:50
Talk

Choosing your mentor and learning to present your ideas clearly

Ana MilanovaRensselaer Polytechnic Institute

File Attached

15:30 - 17:00: PL Mentoring Workshop (PLMW) - Session 4 at Prince of Wales

15:20 - 16:00
Talk

Navigating the process of doing a rewarding Ph.D.

Mayur NaikUniversity of Pennsylvania

File Attached

16:00 - 17:00
Other

Panel: Industry & Academia

Kathryn S McKinleyGoogle, Julia RubinUniversity of British Columbia, Benjamin ZornMicrosoft Research, Mayur NaikUniversity of Pennsylvania

17:00 - 17:15
Day closing

Wrap Up

File Attached

17:15 - 18:30
Social Event

Post-Workshop Reception

Thu 26 Oct

15:30 - 17:00: Student Research Competition - SRC 2nd Round: Presentations at Prince of Wales
Chair(s): Jennifer B. SartorVrije Universiteit Brussel, Shan Shan HuangLogicBlox, Inc.

15:30 - 15:45
Talk

Abstracting Resource Effects

Valerie ZhaoWellesley College

15:45 - 16:00
Talk

Automatic Testing of Interactive JavaScript Debuggers

Daniel LehmannTU Darmstadt

16:00 - 16:15
Talk

Devirtualization in LLVM

Piotr Padlewski

16:15 - 16:30
Talk

How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System

Germán CeballosUppsala University

16:30 - 16:45
Talk

How to Efficiently Process 2^100 Different Lists

Lukas Lazarek

16:45 - 17:00
Talk

Simulation-based Code Duplication for Enhancing Compiler Optimizations

David LeopoldsederJohannes Kepler University Linz

Sun 22 Oct 2017


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 08:30 - 10:00																								PX/17.2 Session 2 10:30 - 12:00																																				PX/17.2 Session 3 13:30 - 15:00																								PX/17.2 Session 4 15:30 - 17:00

Mon 23 Oct 2017


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 08:30 - 10:00																								AGERE Session 1: Verification and Language Models 10:30 - 12:00																																				AGERE Session 2: Runtime Environments and Debugging 13:30 - 15:00																								AGERE Keynote + Discussion/Panel 15:30 - 17:00

Tue 24 Oct 2017


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 08:30 - 10:00																								SPLASH PL Mentoring Workshop (PLMW) Session 2 10:30 - 12:00																																				SPLASH PL Mentoring Workshop (PLMW) Session 3 13:30 - 15:00																								SPLASH PL Mentoring Workshop (PLMW) Session 4 15:30 - 17:00

Thu 26 Oct 2017


Room	15:00						30						16:00						30						17:00						30
Prince of Wales							SPLASH Student Research Competition SRC 2nd Round: Presentations 15:30 - 17:00

Sun 22 Oct 2017


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 2017


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			AGEREKeynote 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												AGEREKeynote AGERE! Keynote: Actors for Big Data: Applications and Open Problems 15:30 - 16:30												AGERE Discussion/Panel 16:30 - 17:00

Tue 24 Oct 2017


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 2017


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

Room information: Prince of Wales

Sun 22 Oct

Mon 23 Oct

Tue 24 Oct

Thu 26 Oct

Sun 22 Oct 2017

PX/17.2

PX/17.2

PX/17.2

PX/17.2

Mon 23 Oct 2017

AGERE

AGERE

AGERE

AGERE

Tue 24 Oct 2017

SPLASH PL Mentoring Workshop (PLMW)

SPLASH PL Mentoring Workshop (PLMW)

SPLASH PL Mentoring Workshop (PLMW)

SPLASH PL Mentoring Workshop (PLMW)

Thu 26 Oct 2017

SPLASH Student Research Competition

Sun 22 Oct 2017

Mon 23 Oct 2017

Tue 24 Oct 2017

Thu 26 Oct 2017

Tracks