VenueHilton Philadelphia at Penn's Landing
Room nameDiscovery C
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 18 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Morning Session IFMS at Discovery C
09:15
75m
Talk
Designing hardware to be free of covert channels by construction
FMS
Andrew Myers Cornell University
11:00 - 12:15
Morning Session IIFMS at Discovery C
11:00
75m
Talk
Everest: Verifying and Deploying Secure Components in the HTTPS Ecosystem
FMS
Nikhil Swamy Microsoft Research
16:10 - 17:25
Breakout sessions/PanelFMS at Discovery C
16:10
60m
Meeting
Breakout sessions / Discussion
FMS

17:10
15m
Meeting
Wrapup
FMS

Tue 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Declarative Program Analysis with QLPLDI Tutorials at Discovery C
09:00
90m
Other
Declarative Program Analysis with QL
PLDI Tutorials
11:00 - 12:15
Declarative Program Analysis with QLPLDI Tutorials at Discovery C
11:00
75m
Other
Declarative Program Analysis with QL
PLDI Tutorials
14:00 - 15:40
Verified Low-Level Programming in F*PLDI Tutorials at Discovery C
14:00
1h40m
Other
Verified Low-Level Programming in F*
PLDI Tutorials
Jonathan Protzenko Microsoft Research, Redmond, Nikhil Swamy Microsoft Research, Tahina Ramananandro Microsoft Research, n.n.
16:10 - 17:35
Verified Low-Level Programming in F*PLDI Tutorials at Discovery C
16:10
85m
Other
Verified Low-Level Programming in F*
PLDI Tutorials
Jonathan Protzenko Microsoft Research, Redmond, Nikhil Swamy Microsoft Research, Tahina Ramananandro Microsoft Research, n.n.

Mon 18 Jun

Displayed time zone: Eastern Time (US & Canada) change

Tue 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Discovery C