Important Dates

• Submission Deadline: April 1, 2007
• Notification of acceptance: May 1, 2007
• Final version due: May 21, 2007
• Workshop meeting: June 14, 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 of technical papers 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

Sponsored by  Association for  Computing Machinery (ACM) Sponsored by     ACM Special Interest Group on Programming Languages (SIGPLAN)

With support from  Research