Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security

Abstract

It is our great pleasure to welcome you to the 12th ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS 2017), co-located with the ACM Conference on Computer and Communications Security (CCS). Over its now more than 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 a good number of submissions attesting the continued vitality of the community whose work sits at the intersection of programming languages and security. PLAS 2017 welcomed the submission of both long research papers as well as short papers presenting preliminary or exploratory work aiming at generating lively discussions at the workshop. PLAS 2017 attracted 16 submissions-of which, 6 were short papers-from 9 countries (Australia, France, Germany, India, Singapore, Sweden, Taiwan, UK, USA), with authors spanning both academia and industry. PLAS 2017 is delighted to have two excellent invited talks: Authorization Contracts, Stephen Chong (Harvard University) Languages for Oblivious Computation, Michael Hicks (University of Maryland)