Cartesian Hoare Logic for Verifying k-Safety Properties (PLDI 2016 - Research Papers) - PLDI 2016

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

Who

Marcelo Sousa, Işıl Dillig

Track

PLDI 2016 Research Papers

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

When

Wed 15 Jun 2016 11:00 - 11:30 at Grand Ballroom San Rafael - Verification I Chair(s): Işıl Dillig

Marcelo Sousa

University of Oxford

Işıl Dillig

University of Texas, Austin

Turkey

Cartesian Hoare Logic for Verifying k-Safety Properties - Marcelo Sousa

slides [pdf]

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

Session Program

Wed 15 Jun
Displayed time zone: Tijuana, Baja California change

	10:30 - 12:00	Verification IResearch Papers at Grand Ballroom San Rafael Chair(s): Işıl Dillig University of Texas, Austin

	10:30 30m Talk		Data-Driven Precondition Inference with Learned Features Research Papers Saswat Padhi University of California, Los Angeles, Rahul Sharma Stanford University, Todd Millstein University of California, Los Angeles Media Attached
	11:00 30m Talk		Cartesian Hoare Logic for Verifying k-Safety Properties Research Papers Marcelo Sousa University of Oxford, Işıl Dillig University of Texas, Austin Media Attached
	11:30 30m Talk		Verifying Bit Manipulations of Floating-Point Research Papers Wonyeol Lee Stanford University, Rahul Sharma Stanford University, Alex Aiken Stanford University Media Attached