Onward! 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 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

px-17-2
10:30 - 12:00: PX/17.2 - Session 2 at Prince of Wales
px-17-2150866100000010:30 - 11:15
Talk
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
px-17-2150866370000011:15 - 12:00
Talk
Vadim ZaytsevRaincode Labs, Belgium
Pre-print
px-17-2
13:30 - 15:00: PX/17.2 - Session 3 at Prince of Wales
px-17-2150867180000013:30 - 14:15
Talk
Yoshiki OhshimaHARC / Y Combinator Research, Bert Freudenberg, Dan AmelangViewpoints Research Institute
Pre-print
px-17-2150867450000014:15 - 15:00
Talk
Patrick ReinHasso Plattner Institute, Jens LinckeHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI
Pre-print
px-17-2
15:30 - 17:00: PX/17.2 - Session 4 at Prince of Wales
px-17-2150867900000015:30 - 16:15
Talk
Matthias HauswirthUniversità della Svizzera italiana (USI), Mohammad Reza AzadmaneshUniversity of Lugano
Pre-print
px-17-2150868170000016:15 - 17:00
Talk
Toni MattisHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI
Pre-print

Mon 23 Oct

agere-2017
08:30 - 10:00: AGERE 2017 - Introduction + Keynote at Prince of Wales
agere-2017150874110000008:45 - 09:00
Talk
agere-2017150874200000009:00 - 10:00
Talk
Philip A. BernsteinMicrosoft 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 KosterVrije Universiteit Brussel, Belgium
agere-2017150874740000010:30 - 11:00
Talk
Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
File Attached
agere-2017150874920000011:00 - 11:30
Talk
Sebastian BlessingImperial College London, Sylvan ClebschImperial College London, Sophia Drossopoulou
agere-2017150875100000011:30 - 12:00
Talk
Mehdi BagherzadehOakland University, Hridesh RajanIowa 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 KosterVrije Universiteit Brussel, Belgium
agere-2017150875820000013:30 - 14:00
Talk
File Attached
agere-2017150876000000014:00 - 14:30
Talk
Carmen Torres Lopez, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria, Christophe ScholliersUniversiteit Gent, Belgium
agere-2017150876180000014:30 - 15:00
Talk
Kazuhiro ShibanaiTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology
Link to publication DOI
agere-2017
15:30 - 17:00: AGERE 2017 - Keynote + Discussion/Panel at Prince of Wales
agere-2017150876540000015:30 - 16:30
Talk
agere-2017150876900000016:30 - 17:00
Talk

Tue 24 Oct

splash-2017-PLMW
08:30 - 10:00: PL Mentoring Workshop (PLMW) - Session 1 at Prince of Wales
splash-2017-PLMW150882480000008:00 - 08:10
Day opening
Barbara RyderVirginia Tech, Lori PollockUniversity of Delaware, USA
File Attached
splash-2017-PLMW150882540000008:10 - 08:50
Talk
File Attached
splash-2017-PLMW150882780000008:50 - 09:30
Talk
Yannis SmaragdakisUniversity of Athens
File Attached
splash-2017-PLMW150883020000009:30 - 10:10
Talk
Benjamin ZornMicrosoft Research
Media Attached File Attached
splash-2017-PLMW
10:30 - 12:00: PL Mentoring Workshop (PLMW) - Session 2 at Prince of Wales
splash-2017-PLMW150883380000010:30 - 11:10
Talk
Y. Annie LiuStony Brook University
File Attached
splash-2017-PLMW150883620000011:10 - 12:10
Other
Michael HiltonCarnegie Mellon University, USA, Kathryn StoleeNorth Carolina State University, David DaraisUniversity of Maryland, USA, Annie T.T. YingEquitySim
splash-2017-PLMW
13:30 - 15:00: PL Mentoring Workshop (PLMW) - Session 3 at Prince of Wales
splash-2017-PLMW150884460000013:30 - 14:10
Talk
Jan VitekNortheastern University, USA
File Attached
splash-2017-PLMW150884700000014:10 - 14:50
Talk
Ana MilanovaRensselaer Polytechnic Institute
File Attached
splash-2017-PLMW
15:30 - 17:00: PL Mentoring Workshop (PLMW) - Session 4 at Prince of Wales
splash-2017-PLMW150885120000015:20 - 16:00
Talk
Mayur NaikUniversity of Pennsylvania
File Attached
splash-2017-PLMW150885360000016:00 - 17:00
Other
Kathryn S McKinleyGoogle, Julia RubinUniversity of British Columbia, Benjamin ZornMicrosoft Research, Mayur NaikUniversity of Pennsylvania
splash-2017-PLMW150885720000017:00 - 17:15
Day closing
File Attached
splash-2017-PLMW150885810000017:15 - 18:30
Social Event

Thu 26 Oct

splash-2017-Student-Research-Competition
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.
splash-2017-Student-Research-Competition150902460000015:30 - 15:45
Talk
Valerie ZhaoWellesley College
splash-2017-Student-Research-Competition150902550000015:45 - 16:00
Talk
Daniel LehmannTU Darmstadt
splash-2017-Student-Research-Competition150902640000016:00 - 16:15
Talk
splash-2017-Student-Research-Competition150902730000016:15 - 16:30
Talk
Germán CeballosUppsala University
splash-2017-Student-Research-Competition150902820000016:30 - 16:45
Talk
splash-2017-Student-Research-Competition150902910000016:45 - 17:00
Talk
David LeopoldsederJohannes Kepler University Linz

Sun 22 Oct 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Prince of Wales
08:30 - 10:00
10:30 - 12:00
13:30 - 15:00
15:30 - 17:00

Mon 23 Oct 2017

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

Tue 24 Oct 2017

Thu 26 Oct 2017