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

Wed 15 Jun
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

10:30 - 12:00: Verification IResearch Papers at Grand Ballroom San Rafael
Chair(s): Isil DilligUniversity of Texas, Austin
10:30 - 11:00
Talk
Research Papers
Saswat PadhiUniversity of California, Los Angeles, Rahul SharmaStanford University, Todd MillsteinUniversity of California, Los Angeles
Media Attached
11:00 - 11:30
Talk
Research Papers
Marcelo SousaUniversity of Oxford, Isil DilligUniversity of Texas, Austin
Media Attached
11:30 - 12:00
Talk
Research Papers
Wonyeol Lee, Rahul SharmaStanford University, Alex AikenStanford University
Media Attached