[TYPES/announce] PLAS 2007: 2nd call for papers (publication options changed)

[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.

The publication options have changed since the last announcement.


                      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.

           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

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
publication.

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