W3C home > Mailing lists > Public > www-math@w3.org > January 2007

2nd Call for Papers: PLAS 2007

From: <mwh@cs.umd.edu>
Date: Fri, 12 Jan 2007 23:48:53 -0500
To: www-math@w3.org
Message-ID: <20070113_044853_002076.mwh@cs.umd.edu>

                     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.


               Submission Deadline: April 1, 2007

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

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
Received on Saturday, 13 January 2007 18:14:02 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:38 UTC