Verifying Bit Manipulations of Floating-Point (PLDI 2016 - Research Papers)

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

Who

Wonyeol Lee, Rahul Sharma, Alex Aiken

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

Save

When

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

Wonyeol Lee

Stanford University

United States

Rahul Sharma

Stanford University

Alex Aiken

Stanford University

Verifying Bit Manipulations of Floating-Point - Wonyeol Lee

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

Display full programSpecify a time band

Save

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