[TYPES/announce] PLAS 2007: call for papers

[Michael Hicks]

-- Note to types readers: we encourage submissions to PLAS that aim  
to provide measures of security using types; e.g., by type checking,  
type-based analysis, type-based specification, etc.


                      ACM SIGPLAN Workshop on
           Programming Languages and Analysis for Security

               San Diego, California, June 14, 2007

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

           http://www.cs.umd.edu/~mwh/PLAS07/index.html

                Submission Deadline: April 1, 2007


Call For Papers

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:

   * Language-based techniques for security
   * Verification of security properties in software
   * Automated introduction and/or verification of security enforcement
     mechanisms
   * Program analysis techniques for discovering security
     vulnerabilities
   * 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
     techniques


Submission Guidelines

The deadline for submissions is April 1, 2007.

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
present more preliminary work, position statements, or work that is
more exploratory in nature.

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
http://www.acm.org/sigs/sigplan/authorInformation.htm.  We recommend
using this format, which improves greatly on the ACM LaTeX format.


Publication Options

Accepted papers will be made available to the participants at the
workshop as part of an informal printed proceedings.  Authors of
accepted papers may choose whether they would like their work
published in a formal proceedings as well, to be included in the ACM
Digital Library and mailed to workshop participants on a CD shortly
after the workshop.  Those papers that are not published in the formal
proceedings are not precluded for future publication in journal or
other conference venues.

Submitted papers 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
http://www.acm.org/sigs/sigplan/republicationpolicy.htm.


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