PLAS 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

Mon 6 Jul

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

09:00 - 09:10
WelcomeNetPL at Hluboka II
Chair(s): Marco Canini Université catholique de Louvain, Robert Soulé Università della Svizzera italiana
09:00
10m
Day opening
Welcome
NetPL
C: Marco Canini Université 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 Ballani Microsoft 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 Krishnamurthi Brown University
Link to publication
11:10 - 11:50
MadhavapeddyNetPL at Hluboka II
11:10
40m
Talk
Immutable Distributed Infrastructure with Unikernels
NetPL
Anil Madhavapeddy University of Cambridge
Link to publication
11:50 - 12:30
11:50
40m
Talk
Program Synthesis for Network Updates
NetPL
Pavol Cerny University of Colorado Boulder
Link to publication
18:00 - 18:40
Beerageous opinionNetPL at Hluboka II
18:00
40m
Other
Beerageous opinion
NetPL

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 Orchard Imperial 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 Hove University 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

Mon 6 Jul

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

Tue 7 Jul

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