[TYPES/announce] PLAS 2013 : Call for papers

Nikhil Swamy nswamy at microsoft.com
Sat Jan 12 15:58:11 EST 2013

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

                        June 20, 2013              
                         Seattle, USA 
                    Co-located with PLDI 2013

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

Important Dates

Submissions due:    March 1, 2013
Notification:  	    April 5, 2013
PLAS 2012 workshop: June 20, 2013

Call for papers

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

 * 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

Submission guidelines

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: to the title of the submitted

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 more
details). Accepted papers will appear in the workshop proceedings
which will be distributed to workshop participants and be available in
the ACM Digital Library.

Program committee

   Aslan Askarov (Harvard University)
   Karthikeyan Bhargavan (INRIA)
   Nataliia Bielova (INRIA-Rennes)
   Vinod Ganapathy (Rutgers)
   Ana Almeida Matos (Instituto Superior Técnico and Instituto de Telecomunicações)
   Prasad Naldurg (co-chair) (MSR India)
   Grigore Rosu (University of Illinois at Urbana-Champaign)
   Nikhil Swamy (co-chair) (MSR Redmond)
   Ankur Taly (Google)

More information about the Types-announce mailing list