Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
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
Pre-print
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

Tue 24 Oct 2017

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

Thu 26 Oct 2017