[TYPES/announce] Call for Papers - PLAS 2014

[Alejandro Russo]

[We apologize for multiple copies]

ACM SIGPLAN Ninth Workshop on Programming Languages and Analysis for 
Security
(PLAS), 29th July 2014, Uppsala, Sweden

http://researcher.ibm.com/researcher/view_project.php?id=5237


Call For Papers

This year, PLAS is co-located with the European Conference on 
Object-Oriented
Programming (ECOOP) (http://ecoop14.it.uu.se/)

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.

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

* Compiler-based security mechanisms or runtime-based security 
mechanisms such
   as inline reference monitors
* Program analysis techniques for discovering security vulnerabilities
* Automated introduction and/or verification of security enforcement 
mechanisms
* Language-based verification of security properties in software, including
   verification of cryptographic protocols
* Specifying and enforcing security policies for information flow and access
   control
* Model-driven approaches to security
* Security concerns for web programming languages
* Language design for security in new domains such as cloud computing and
   embedded platforms
* Applications, case studies, and implementations of these techniques


Submission Guidelines

We invite papers in two categories:

Full papers should be at most 12 pages long including bibliography and
appendices. Papers in this category are expected to have relatively mature
content. Full paper presentations will be 25 minutes each. Short papers 
should
be at most 6 pages long including bibliography and appendices. 
Preliminary and
exploratory work are welcome in this category. Short papers 
presentations will
be 10 minutes each. Authors submitting papers in this category must 
prepend the
phrase Short Paper: to the title of the submitted paper.

Submissions should be PDF documents typeset in the ACM proceedings 
format using
10pt fonts. SIGPLAN-approved templates can be found at
http://www.acm.org/sigs/sigplan/authorInformation.htm. We recommend 
using this
format, which improves greatly on the ACM LaTeX format. All submissions 
must be
in English. Page limits are strict.

Both full and short papers must describe work not published in other 
refereed
venues. (See the SIGPLAN republication policy at
http://www.sigplan.org/Resources/Policies/Republication for more details.)
Accepted papers will appear in the workshop ACM SIGPLAN proceedings 
which will
be distributed to the workshop participants and be available in the ACM 
Digital
Library.


Important dates

20th April 2014 (anywhere on earth): Deadline for paper submissions
19th May   2014: Authors notification
29th July  2014: Workshop


Program Committee

Paolina Centonze (Iona College)
Christos Dimoulas (Harvard University)
Boris Köpf (IMDEA Software Institute)
Stephen McCamant (University of Minnesota)
David Naumann (Stevens Institute of Technology)
Benjamin Pierce (University of Pennsylvania)
Frank Piessens (Katholieke Universiteit Leuven)
Marco Pistoia (IBM Research)
Alejandro Russo (Chalmers University of Technology) [co-chair]
Omer Tripp (IBM Research) [co-chair]

  _     _  __   __  _
|_)|  |_|(_     _)/ \/| |_|
|  |__| |__)   /__\_/ |   |

-- 
Alejandro Russo
Dept. of Computer Science and Engineering
Chalmers University of Technology
Phone: +46-(0)31-772-1098
Webpage: http://www.cse.chalmers.se/~russo/