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-papers10: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-papers11:00 - 11:30
Talk
David CostanzoYale University, Zhong ShaoYale University, Ronghui GuYale University
Pre-print Media Attached
pldi-2016-papers11: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