PLE 2015
Mon 6 - Fri 10 July 2015 Prague, Czech Republic
co-located with ECOOP 2015
VenueMarriott
Room nameHluboka II
Floor0
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

Conference Day
Mon 6 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:10
WelcomeNetPL at Hluboka II
Chair(s): Robert SouléUniversità della Svizzera italiana, Marco CaniniUniversité catholique de Louvain
09:00
10m
Day opening
Welcome
NetPL
C: Marco CaniniUniversité catholique de Louvain, C: Robert SouléUniversità della Svizzera italiana
09:10 - 09:50
BallaniNetPL at Hluboka II
09:10
40m
Talk
Enabling End Host Network Functions
NetPL
Hitesh BallaniMicrosoft Research, UK
Link to publication
10:10 - 11:10
KrishnamurthiNetPL at Hluboka II
10:10
60m
Talk
Static and Dynamic Reasoning for SDNs
NetPL
Shriram KrishnamurthiBrown University
Link to publication
11:50 - 12:30
11:50
40m
Talk
Program Synthesis for Network Updates
NetPL
Pavol CernyUniversity of Colorado Boulder
Link to publication
18:00 - 18:40
Beerageous opinionNetPL at Hluboka II
18:00
40m
Other
Beerageous opinion
NetPL

Conference Day
Tue 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:05 - 10:20
WelcomePLE at Hluboka II
10:05
15m
Day opening
Introduction
PLE
Dominic OrchardImperial College London
10:20 - 11:10
Session 1PLE at Hluboka II
10:20
25m
Talk
On the origin of the block concept
PLE
Gauthier van den HoveUniversity of Amsterdam
10:45
25m
Talk
Retrofitting static typing to Python
PLE
11:10 - 11:40
DiscussionPLE at Hluboka II
11:10
30m
Other
Discussion
PLE

Conference Day
Mon 6 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Tue 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Tue 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change