ACM SIGPLAN Workshop on 
          Programming Languages and Analysis for Security

              San Diego, California, June 14, 2007

                   Sponsored by ACM SIGPLAN
                with support from IBM Research
           Co-located with PLDI'07 as part of FCRC.

               Submission Deadline: April 1, 2007

         **Publication options changed since first CFP**

Call For Papers

PLAS aims to provide a forum for exploring and evaluating ideas on the
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

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

  * Language-based techniques for security
  * Verification of security properties in software
  * Automated introduction and/or verification of security enforcement
  * Program analysis techniques for discovering security
  * Compiler-based security mechanisms, such as host-based intrusion
    detection and in-line reference monitors
  * Specifying and enforcing security policies for information flow
    and access control 
  * Model-driven approaches to security
  * Applications, examples, and implementations of these security

Important Dates

  Submissions due: April 1, 2007
  Notification of acceptance: May 1, 2007
  Final version due: May 21, 2007
  Workshop meeting: June 14, 2007

Submission Guidelines

We invite papers of two kinds: (1) Technical papers for long
presentations during the workshop, and (2) papers for short
presentations (10 minutes). Papers submitted for the long format
should contain relatively mature content. Short format papers can also
contain mature work, but may present more preliminary work, position
statements, or work that is more exploratory in nature. Long papers
will appear in a formal proceedings. Short papers fall into two
categories: formal short papers to appear in the proceedings, and
informal short papers that will not; authors choose the category at
the time of submission. The idea is to allow prospective participants
to talk about less mature work that is not yet ready for formal

Papers to appear in the proceedings must describe work unpublished in
refereed venues, and not submitted for publication elsewhere
(including journals and formal proceedings of conferences and
workshops). See the SIGPLAN republication policy for more details The
proceedings will be made available to the participants at the
workshop, and its papers will be available in the ACM Digital
Library. A CD containing the proceedings will made available to the
participants after the meeting (due to publication time constraints
due to affiliation with FCRC).

Informal short presentations will have their abstracts included in the
final proceedings, and may include previously-published material
(which should be cited in the submission). Informal short
presentations are not precluded for future publication at other
conference venues or journals. Authors must indicate that they do not
intend their paper to appear in the proceedings by prepending
"Informal Presentation:" to the title of the submitted paper.

Submitted papers must be formatted according the ACM proceedings
format: long submissions should not exceed 12 pages in this format;
short submissions should not exceed 6 pages. These page limits include
everything (i.e., they are the total length of the paper). Papers
submitted for the long category may be accepted as short presentations
at the program committee's discretion.

Submissions should be in PDF (preferably) or Postscript that is
interpretable by Ghostscript and printable on US Letter and A4 sized
paper. Templates for SIGPLAN-approved LaTeX format can be found at . We recommend
using this format, which improves greatly on the ACM LaTeX format.

Program Committee

Michael Hicks, University of Maryland, College Park (Chair)
Martin Abadi, Microsoft Research and University of California, Santa Cruz
Steve Chong, Cornell University
Adriana Compagnoni, Stevens Institute of Technology
Jeff Foster, University of Maryland, College Park
K. Rustan M. Leino, Microsoft Research, Redmond
Marco Pistoia, IBM T. J. Watson Research Center
Andrei Sabelfeld, Chalmers University of Technology
Dawn Xiaodong Song, Carnegie-Mellon University
Eijiro Sumii, Tohoku University
Jan Vitek, Purdue University
David Walker, Princeton University
Xialolan (Catherine) Zhang, IBM T. J. Watson Research Center