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

Wed 15 Jun

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