Fri 17 Jun 2016 11:00 - 11:30 at Grand Ballroom Santa Ynez - Security Chair(s): Andrew Myers

Fri 17 Jun

pldi-2016-papers
10:30 - 12:00: Research Papers - Security at Grand Ballroom Santa Ynez
Chair(s): Andrew MyersCornell University
pldi-2016-papers146615220000010:30 - 11:00
Talk
Jean YangCarnegie Mellon University, Travis HanceDropbox, Thomas H. Austin, Armando Solar-LezamaMIT, Cormac FlanaganUC Santa Cruz, Stephen ChongHarvard University
Link to publication Media Attached
pldi-2016-papers146615400000011:00 - 11:30
Talk
David CostanzoYale University, Zhong ShaoYale University, Ronghui GuYale University
Pre-print Media Attached
pldi-2016-papers146615580000011:30 - 12:00
Talk
Rohit SinhaUniversity of California, Berkeley, Manuel CostaMicrosoft Research, Akash LalMicrosoft Research India, Nuno P. LopesMicrosoft Research, Sriram RajamaniMicrosoft Research, Sanjit SeshiaUC Berkeley, Kapil VaswaniMicrosoft Research
Media Attached