CPP 2018
Mon 8 - Sat 13 January 2018
Los Angeles, California, United States
co-located with
POPL 2018
Toggle navigation
Attending
Venue: Omni Hotel
Program
Complete Program
Your Program
Mon 8 Jan
Tue 9 Jan
Wed 10 Jan
Thu 11 Jan
Fri 12 Jan
Sat 13 Jan
Track/Call
Organization
CPP 2018 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
CPP 2024
CPP 2023
CPP 2022
CPP 2021
CPP 2020
CPP 2019
CPP 2018
CPP 2017
CPP 2016
Sign in
Sign up
POPL 2018
(
series
) /
CPP 2018
(
series
) /
Omni Hotel
/
Room information: Hershey
Venue
Omni Hotel
Room name
Hershey
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-08:00) Tijuana, Baja California
.
Use conference time zone: (GMT-08:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07: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-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03: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+07: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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 8 Jan
Displayed time zone:
Tijuana, Baja California
change
09:00 - 10:30
Programming and Reasoning with Infinite Data in Isabelle
POPL TutorialFest
at
Hershey
09:00
90m
Talk
Programming and Reasoning with Infinite Data in Isabelle/HOL.
POPL TutorialFest
A:
Mathias Fleury
MPI-INF
,
A:
Andreas Lochbihler
,
A:
Andrei Popescu
Middlesex University, London
Media Attached
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
change
09:00 - 10:00
Morning Session 1
NetPL
at
Hershey
09:00
30m
Talk
Store, Translate and Forward: From Model to Metal in 25 Years
NetPL
Jonathan Smith
DARPA
09:30
30m
Talk
Common Models for Network Configuration and Behavioral Validation
NetPL
Anees Shaikh
Google
10:30 - 12:00
Morning Session 2
NetPL
at
Hershey
10:30
30m
Talk
Very Large Scale Network Verification
NetPL
Andrey Rybalchenko
Microsoft Research
11:00
60m
Other
Working Groups
NetPL
13:30 - 15:30
Afternoon Session 1
NetPL
at
Hershey
14:00
30m
Other
Working Groups Debrief
NetPL
14:30
30m
Talk
Safety Verification of Stateful Networks
NetPL
Sharon Shoham
Tel Aviv university
15:00
30m
Talk
Understand and verify your network using Header Space Analysis
NetPL
Peyman Kazemian
Forward Networks
16:00 - 18:00
Afternoon Session 2
NetPL
at
Hershey
16:00
30m
Talk
P4: A Language for Data Plane Programming
NetPL
Calin Cascaval
Barefoot Networks
16:30
30m
Talk
A Vision for Network Design Automation
NetPL
George Varghese
UCLA
17:00
30m
Other
Panel
NetPL
Nate Foster
Cornell University
,
David Walker
Princeton University
,
Barath Raghavan
ICSI
,
Jonathan Smith
DARPA
17:30
30m
Day closing
Wrap Up
NetPL
Marco Canini
KAUST
,
Nate Foster
Cornell University
,
Todd Millstein
University of California, Los Angeles
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
30
10:00
30
Hershey
POPL TutorialFest
Programming and Reasoning with Infinite Data in Isabelle
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
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
Hershey
NetPL
Morning Session 1
NetPL
Morning Session 2
NetPL
Afternoon Session 1
NetPL
Afternoon Session 2
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
15
30
45
10:00
15
30
45
Hershey
POPL TutorialFest
Programming and Reasoning with Infinite Data in Isabelle/HOL.
09:00 - 10:30
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
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
Hershey
NetPL
Store, Translate and Forward: From Model to Metal in 25 Years
09:00 - 09:30
NetPL
Common Models for Network Configuration and Behavioral Validation
09:30 - 10:00
NetPL
Very Large Scale Network Verification
10:30 - 11:00
NetPL
Working Groups
11:00 - 12:00
NetPL
Working Groups Debrief
14:00 - 14:30
NetPL
Safety Verification of Stateful Networks
14:30 - 15:00
NetPL
Understand and verify your network using Header Space Analysis
15:00 - 15:30
NetPL
P4: A Language for Data Plane Programming
16:00 - 16:30
NetPL
A Vision for Network Design Automation
16:30 - 17:00
NetPL
Panel
17:00 - 17:30
NetPL
Wrap Up
17:30 - 18:00
x
Sat 20 Apr 07:50