[TYPES/announce] PLAS 2011: call for papers

Aslan Askarov aslan at cs.cornell.edu
Wed Feb 16 11:24:36 EST 2011


			   Call for Papers

		    Sixth ACM SIGPLAN Workshop on
	   Programming Languages and Analysis for Security
			     (PLAS 2011)

			    June 05, 2011
	   Co-located with PLDI 2011, San Jose, California


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

The scope of PLAS includes but is not limited to:

* Compiler-based security mechanisms or runtime-based security
 mechanisms such as inline reference monitors
* Program analysis techniques for discovering security vulnerabilities
* Automated introduction and/or verification of security enforcement
* Language-based verification of security properties in software
 including verification of cryptographic protocols
* Specifying and enforcing security policies for information flow and
 access control
* Model-driven approaches to security
* Security concerns for web programming languages
* Language design for security in new domains such as cloud computing
 and embedded platforms
* Applications, case studies, and implementations of these techniques

Submissions due:      Tuesday, March 29, 2010
Author notification:  Friday, April 29, 2010
PLAS 2010 workshop:   Sunday, June 05, 2010


We invite papers in two categories:

* Full papers should be at most 12 pages long including bibliography
 and appendices. Papers in this category are expected to have
 relatively mature content. Full paper presentations will be 25
 minutes each.

* Position papers should be at most 6 pages long including
 bibliography and appendices. Preliminary and exploratory work are
 welcome in this category. Position paper presentations will be 10
 minutes each. Authors submitting papers in this category must
 prepend the phrase "Position Paper: " (without quotes) to the title
 of the submitted paper.

Submissions should be PDF documents typeset in the ACM proceedings
format using 10pt fonts. SIGPLAN-approved templates 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. All
submissions must be in English. Page limits are strict.

Both full and position papers must describe work not published in
other refereed venues (see the SIGPLAN republication policy at
http://www.acm.org/sigs/sigplan/republicationpolicy.htm for
details). Accepted papers will appear in the workshop proceedings
which will be distributed to workshop participants and be available in
the ACM Digital Library.


Aslan Askarov (Cornell University) (co-chair)
Brendan Eich (Mozilla Corporation)
Deepak Garg (Carnegie Mellon University)
Joshua Guttman (Worcester Polytechnic Institute) (co-chair)
Ranjit Jhala (University of California, San Diego) 
Sergio Maffeis (Imperial College London)
Marco Pistoia (IBM TJ Watson Research Center)
Nikhil Swamy (Microsoft Research)

More information about the Types-announce mailing list