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

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