ECOOP 2015
Sun 5 - Fri 10 July 2015
Prague, Czech Republic
Toggle navigation
Attending
Venue: Marriott
Restaurant: Velka Klasterni (Curry On)
Restaurant: Hergertova Cihelna (ECOOP)
Venue: FIT
Welcome
History
Students
Registration
Hotels
Food
Travel
Sponsoring
Conduct
Program
ECOOP Program
Your Program
Sun 5 Jul
Mon 6 Jul
Tue 7 Jul
Wed 8 Jul
Thu 9 Jul
Fri 10 Jul
Tracks
ECOOP 2015
Artifacts
Curry On
Doctoral Symposium
Summer School
Posters
Research Track
Student Volunteers
Workshops
Workshops
COP
COP
COP
DSLDI
DSLDI
DSLDI
FTfJP
FTfJP
FTfJP
ICOOOLPS
JSTools
JSTools
JSTools
MASPEGHI
MASPEGHI
MASPEGHI
ML4PL
ML4PL
ML4PL
NetPL
PLAS
PLAS
PLAS
PLE
PLE
PLE
Pharo
Pharo
Pharo
RIOT
RIOT
RIOT
STOP
Truffle
Organization
ECOOP 2015 Committees
Organizing Committee
Track Committees
Artifacts
Doctoral Symposium
Academic Panel
Program Committee
Summer School
Posters
Research Track
Student Volunteers
Workshops
Contributors
People Index
Workshops
COP
Program Committee
DSLDI
Program Committee
FTfJP
Program committee
Steering Committee
ICOOOLPS
Program Committee
JSTools
Program Committee
MASPEGHI
Committee
ML4PL
Organization
Program committee
NetPL
Invited Speakers
Program Committee
PLAS
Program Committee
PLE
Organizers
Programme Committee
Pharo
Organizers
RIOT
Program Committee
STOP
Program Committee
Speakers
Truffle
Program Committee
Search
Series
Series
ECOOP 2025
ECOOP 2024
ECOOP 2023
ECOOP 2022
ECOOP 2021
ECOOP 2020
ECOOP 2019
ECOOP 2018
ECOOP 2017
ECOOP 2016
ECOOP 2015
2014: Uppsala
2013: Montpellier
2012: Beijing
2011: Lancaster
2010: Maribor
2009: Genova
2008: Cyprus
2007: Berlin
2006: Nice
2005: Glasgow
Sign in
Sign up
ECOOP 2015
(
series
) /
Marriott
/
Room information: Hluboka II
Venue
Marriott
Room name
Hluboka II
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:30) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
Welcome
NetPL
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
Ballani
NetPL
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
Krishnamurthi
NetPL
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
Madhavapeddy
NetPL
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
Cerny
NetPL
at
Hluboka II
11:50
40m
Talk
Program Synthesis for Network Updates
NetPL
Pavol Cerny
University of Colorado Boulder
Link to publication
14:00 - 15:00
Dixon
NetPL
at
Hluboka II
14:00
60m
Talk
The State of (Open Source) SDN and Programming Languages Opportunities
NetPL
Colin Dixon
Brocade
Link to publication
15:00 - 15:40
Capone
NetPL
at
Hluboka II
15:00
40m
Talk
From Dumb to Smarter Switches in Software Defined Networks: Towards a Stateful Data Plane
NetPL
Antonio Capone
Politecnico di Milano
Link to publication
16:00 - 17:00
Wattenhofer
NetPL
at
Hluboka II
16:00
60m
Talk
Managing Dynamic Networks: Distributed or Centralized Control?
NetPL
Roger Wattenhofer
ETHZ
Link to publication
17:00 - 17:30
Yinben
NetPL
at
Hluboka II
17:00
30m
Talk
NEMO-An Intent Oriented Network Programming Language
NetPL
Xia Yinben
Huawei
Link to publication
17:30 - 18:00
Dimitropoulos
NetPL
at
Hluboka II
17:30
30m
Talk
Policy-Compliant Path Diversity and Bisection Bandwidth
NetPL
Xenofontas Dimitropoulos
University of Crete & FORTH
Link to publication
18:00 - 18:40
Beerageous opinion
NetPL
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
Welcome
PLE
at
Hluboka II
10:05
15m
Day opening
Introduction
PLE
Dominic Orchard
Imperial College London
10:20 - 11:10
Session 1
PLE
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
Jukka Lehtosalo
Dropbox
11:10 - 11:40
Discussion
PLE
at
Hluboka II
11:10
30m
Other
Discussion
PLE
11:40 - 12:30
Session 2
PLE
at
Hluboka II
11:40
25m
Talk
Fine grained language composition
PLE
Laurence Tratt
King's College London
12:05
25m
Talk
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript
PLE
Michael Pradel
TU Darmstadt
13:50 - 14:40
Keynote
PLE
at
Hluboka II
13:50
50m
Talk
What - if anything - have we learned from C++? *** in room Bohemia I **
PLE
S:
Bjarne Stroustrup
Morgan Stanley
Media Attached
Mon 6 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Hluboka II
NetPL
Welcome
NetPL
Ballani
NetPL
Krishnamurthi
NetPL
Madhavapeddy
NetPL
Cerny
NetPL
Dixon
NetPL
Capone
NetPL
Wattenhofer
NetPL
Yinben
NetPL
Dimitropoulos
NetPL
Beerageous opinion
Tue 7 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
Hluboka II
PLE
Welcome
PLE
Session 1
PLE
Discussion
PLE
Session 2
PLE
Keynote
Mon 6 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Hluboka II
NetPL
Welcome
09:00 - 09:10
NetPL
Enabling End Host Network Functions
09:10 - 09:50
NetPL
Static and Dynamic Reasoning for SDNs
10:10 - 11:10
NetPL
Immutable Distributed Infrastructure with Unikernels
11:10 - 11:50
NetPL
Program Synthesis for Network Updates
11:50 - 12:30
NetPL
The State of (Open Source) SDN and Programming Languages Opportunities
14:00 - 15:00
NetPL
From Dumb to Smarter Switches in Software Defined Networks: Towards a S ...
15:00 - 15:40
NetPL
Managing Dynamic Networks: Distributed or Centralized Control?
16:00 - 17:00
NetPL
NEMO-An Intent Oriented Network Programming Language
17:00 - 17:30
NetPL
Policy-Compliant Path Diversity and Bisection Bandwidth
17:30 - 18:00
NetPL
Beerageous opinion
18:00 - 18:40
Tue 7 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
Hluboka II
PLE
Introduction
10:05 - 10:20
PLE
On the origin of the block concept
10:20 - 10:45
PLE
Retrofitting static typing to Python
10:45 - 11:10
PLE
Discussion
11:10 - 11:40
PLE
Fine grained language composition
11:40 - 12:05
PLE
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Co ...
12:05 - 12:30
PLE
What - if anything - have we learned from C++? *** in room Bohemia I **
13:50 - 14:40
x
Sat 21 Dec 17:38