Write a Blog >>
ISMM 2018
co-located with PLDI 2018
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: (GMT-04:00) Eastern Time (US & Canada) change

09:00 - 10:30: Morning Session IFMS at Discovery C
09:15 - 10:30
Talk
FMS
Andrew MyersCornell University
11:00 - 12:15: Morning Session IIFMS at Discovery C
11:00 - 12:15
Talk
FMS
Nikhil SwamyMicrosoft Research
16:10 - 17:25: Breakout sessions/PanelFMS at Discovery C
16:10 - 17:10
Meeting
FMS
17:10 - 17:25
Meeting
FMS

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

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

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

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

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

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

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