Santa Rosa East - PLDI 2016

Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States

VenueThe Fess Parker, Santa Barbara, CA

Room nameSanta Rosa East

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

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 programSpecify 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 13 Jun
Displayed time zone: Tijuana, Baja California change

09:00 - 10:00	Invited Talks Session IFMS at Santa Rosa East

09:00 15m Day opening		Opening remarks FMS
09:15 45m Talk		Privacy and Algorithmic Accountability FMS Anupam Dutta Carnegie Mellon University

10:30 - 12:00	Invited Talks Session IIFMS at Santa Rosa East

10:30 45m Talk		Report on the NSF Workshop on Formal Methods for Security FMS Stephen Chong Harvard University, Joshua Guttman Worcester Polytechnic Institute
11:15 45m Talk		Ironclad: Full Verification of Complex Systems FMS Bryan Parno

13:30 - 15:00	Invited Talks Session IIIFMS at Santa Rosa East

13:30 45m Talk		Scalable Security Analysis of Android Apps FMS Gogul Balakrishnan Google
14:15 45m Talk		Verifying Constant-Time Implementations FMS Michael Emmi IMDEA Software Institute

15:30 - 17:00	Breakout sessions and Panel DiscussionsFMS at Santa Rosa East

15:30 45m Other		Breakout Sessions FMS
16:15 45m Other		Panel Discussion FMS

Mon 13 Jun
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
Santa Rosa East	FMS Invited Talks Session I																		FMS Invited Talks Session II																																				FMS Invited Talks Session III																								FMS Breakout sessions and Panel Discussions

Mon 13 Jun
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
Santa Rosa East	FMS Opening remarks 09:00 - 09:15			FMS Privacy and Algorithmic Accountability 09:15 - 10:00															FMS Report on the NSF Workshop on Formal Methods for Security 10:30 - 11:15									FMS Ironclad: Full Verification of Complex Systems 11:15 - 12:00																											FMS Scalable Security Analysis of Android Apps 13:30 - 14:15									FMS Verifying Constant-Time Implementations 14:15 - 15:00															FMS Breakout Sessions 15:30 - 16:15									FMS Panel Discussion 16:15 - 17:00

Room information: Santa Rosa East

Mon 13 Jun
Displayed time zone: Tijuana, Baja California change

Mon 13 Jun
Displayed time zone: Tijuana, Baja California change

FMS

FMS

FMS

FMS

Mon 13 Jun
Displayed time zone: Tijuana, Baja California change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Santa Rosa East

Program Display Configuration

Mon 13 JunDisplayed time zone: Tijuana, Baja California change

Mon 13 JunDisplayed time zone: Tijuana, Baja California change

FMS

FMS

FMS

FMS

Mon 13 JunDisplayed time zone: Tijuana, Baja California change

Mon 13 Jun
Displayed time zone: Tijuana, Baja California change

Mon 13 Jun
Displayed time zone: Tijuana, Baja California change

Mon 13 Jun
Displayed time zone: Tijuana, Baja California change