- From: <mwh@cs.umd.edu>
- Date: Fri, 12 Jan 2007 23:48:53 -0500
- To: www-math@w3.org
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
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
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
Received on Saturday, 13 January 2007 18:14:02 UTC