PLAS aims to provide a forum for exploring and evaluating ideas on the use of programming language and program analysis techniques to improve the security of software systems. Strongly encouraged are proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and important problems. We are especially interested in position papers that are radical, forward-looking, and likely to lead to lively and insightful discussions that will influence future research that lies at the intersection of programming languages and security.

The scope of PLAS includes, but is not limited to:

Submission Guidelines

We invite both full papers and short papers. For short papers we especially encourage the submission of position papers that are likely to generate lively discussion.

Submissions should be PDF documents formatted according to the CCS 2017 formatting requirements provided at Both full and short papers must describe work not published in other refereed venues. Accepted papers will appear in workshop proceedings, which will be distributed to the workshop participants and be available in the ACM Digital Library.

PLAS welcomes submissions by authors of all nationalities and we do not wish to exclude any potential authors who may have difficulty traveling due to recent changes in US immigration practices. We will allow presenting papers electronically or with non-author presenters in cases where paper authors are unable to travel to the United States.


Invited Speakers

Important Dates

Paper Submission
July 28, 2017
August 4, 2017 (extended)
September 04, 2017
Camera Ready due
September 17, 2017
October 30, 2017

Submission website

PLAS 2017 hotcrp

Program Committee


  • Nataliia Bielova
  • Marco Gaboardi
    University at Buffalo, SUNY