Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security

Abstract

It is our great pleasure to welcome you to the 11th ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS 2016). For the first time since PLAS began in 2006, PLAS 2016 is co-located with the ACM Conference on Computer and Communications Security (CCS). Over its now ten-year history, PLAS has provided a unique forum for researchers and practitioners to exchange ideas about programming language and program analysis techniques with the goal of improving the security of software systems. This year, PLAS received its third-highest number of submissions, attesting to the continued vitality of the community whose work sits at the intersection of programming languages and security. PLAS has always welcomed the submission of both long research papers as well as short papers presenting preliminary or exploratory work. But, in a slight departure from previous years, the 2016 Call for Papers explicitly solicited short position papers presenting radical, open-ended and forward-looking ideas that are likely to generate lively discussion. The Call for Papers attracted 21 submissions---of which, 10 were short papers---from 13 countries (Australia, Belgium, Canada, Czech Republic, Denmark, Estonia, France, Germany, India, Italy, Romania, Sweden, USA), with authors spanning both academia and industry. PLAS 2016 is delighted to have two excellent invited talks: Flow: Analysis of JavaScript for type checking and beyond, Avik Chaudhuri (Facebook)Verified Secure Implementations for the HTTPS Ecosystem, Cédric Fournet (Microsoft Research)