Context

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:

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.

Sponsors

Invited Speakers

Important Dates

Paper Submission
July 28, 2017
Notification
September 04, 2017
Camera Ready due
September 17, 2017
Workshop
October 30, 2017

Submission website


TBA

Organizers

  • Nataliia Bielova
    INRIA
  • Marco Gaboardi
    University at Buffalo, SUNY
  • Program Committee

    TBA