VenueHilton Philadelphia at Penn's Landing
Room nameDiscovery C
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Eastern Time (US & Canada) change

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

Tue 19 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

09:00 - 10:30: Declarative Program Analysis with QLPLDI Tutorials at Discovery C
09:00 - 10:30
Other
Declarative Program Analysis with QL
PLDI Tutorials
11:00 - 12:15: Declarative Program Analysis with QLPLDI Tutorials at Discovery C
11:00 - 12:15
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 - 15:40
Other
Verified Low-Level Programming in F*
PLDI Tutorials
Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.
16:10 - 17:35: Verified Low-Level Programming in F*PLDI Tutorials at Discovery C
16:10 - 17:35
Other
Verified Low-Level Programming in F*
PLDI Tutorials
Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.

Mon 18 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Mon 18 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

Tue 19 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

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