NOOL 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-210: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-211: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-213:30 - 14:15
Talk
Yoshiki OhshimaHARC / Y Combinator Research, Bert Freudenberg, Dan AmelangViewpoints Research Institute
Pre-print
px-17-214: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-215:30 - 16:15
Talk
Matthias HauswirthUniversità della Svizzera italiana (USI), Mohammad Reza AzadmaneshUniversity of Lugano
Pre-print
px-17-216: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-201708:45 - 09:00
Talk
agere-201709: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-201710:30 - 11:00
Talk
Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
File Attached
agere-201711:00 - 11:30
Talk
Sebastian BlessingImperial College London, Sylvan ClebschImperial College London, Sophia Drossopoulou
agere-201711: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-201713:30 - 14:00
Talk
File Attached
agere-201714: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-201714: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-201715:30 - 16:30
Talk
agere-201716: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-PLMW08:00 - 08:10
Day opening
Barbara RyderVirginia Tech, Lori PollockUniversity of Delaware, USA
File Attached
splash-2017-PLMW08:10 - 08:50
Talk
File Attached
splash-2017-PLMW08:50 - 09:30
Talk
Yannis SmaragdakisUniversity of Athens
File Attached
splash-2017-PLMW09: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-PLMW10:30 - 11:10
Talk
Y. Annie LiuStony Brook University
File Attached
splash-2017-PLMW11: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-PLMW13:30 - 14:10
Talk
Jan VitekNortheastern University, USA
File Attached
splash-2017-PLMW14: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-PLMW15:20 - 16:00
Talk
Mayur NaikUniversity of Pennsylvania
File Attached
splash-2017-PLMW16:00 - 17:00
Other
Kathryn S McKinleyGoogle, Julia RubinUniversity of British Columbia, Benjamin ZornMicrosoft Research, Mayur NaikUniversity of Pennsylvania
splash-2017-PLMW17:00 - 17:15
Day closing
File Attached
splash-2017-PLMW17: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-Competition15:30 - 15:45
Talk
Valerie ZhaoWellesley College
splash-2017-Student-Research-Competition15:45 - 16:00
Talk
Daniel LehmannTU Darmstadt
splash-2017-Student-Research-Competition16:00 - 16:15
Talk
splash-2017-Student-Research-Competition16:15 - 16:30
Talk
Germán CeballosUppsala University
splash-2017-Student-Research-Competition16:30 - 16:45
Talk
splash-2017-Student-Research-Competition16: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