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

Toronto, Canada
June 10, 2010

Co-located with PLDI 2010

Important Dates

Submissions due: Friday, March 12, 2010 (23:59:59 Samoa Time)
Author notification: Friday, April 23, 2010
Revised papers due: Wednesday, May 5, 2010
Early registration deadline: Monday, May 10, 2010 (Register at
Student travel grant applications due: Friday, May 21, 2010
PLAS 2010 workshop: Thursday, June 10, 2010


Invited Speakers

PLAS 2010 features two invited speakers:


Workshop program (Links to a new page)

List of accepted papers

Efficient, Context-Sensitive Detection of Real-World Semantic Attacks
Michael D Bond, Varun Srivastava, Kathryn S. McKinley and Vitaly Shmatikov.

Position Paper: The Case for JavaScript Transactions
Mohan Dhawan, Chung-Chieh Shan and Vinod Ganapathy.

Position Paper: Secure Information Flow Analysis for Hardware Design: Using the Right Abstraction for the Job
Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood and Frederic T. Chong.

Permissive Dynamic Information Flow Analysis
Tom Austin and Cormac Flanagan.

Attack Model for Verification of Interval Security Properties for Smart Card C Codes
Pascal Berthomé, Karine Heydemann, Xavier Kauffman-Tourkestansky and Jean-Francois Lalande.

Restricted Delegation and Revocation in Language-Based Security (Position Paper)
Doaa Hassan, Mohammadreza Mousavi and Michel Reniers.

A More Precise Security Type System for Dynamic Security Tests
Gregory Malecha and Stephen Chong.

Class Properties for Security Review in an Object-Capability Subset of Java (Short Paper)
Adrian Mettler and David Wagner.

Registration, Accommodation and Travel

Registration and accommodation for the PLAS workshop are handled through the parent conference, PLDI. To register, please go to the PLDI website and click on the registration link on the left. The early registration deadline for discounted rates is May 10, 2010. For local and travel information follow the "Local Information" links on the same website.

Student Travel Grants

We are pleased to offer travel grants to student attendees of PLAS. The amount of each grant will depend on the number of applications we receive. However, each award will be at least US $350.

For details and to apply, please follow the instructions here: [PDF]. The deadline for applications is May 21, 2010.

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:

  • 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 mechanisms
  • 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 paper.

Submissions should be PDF documents typeset in the ACM proceedings format using 10pt fonts. SIGPLAN-approved templates can be found at 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 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.

Papers may be submitted via EasyChair at The submission deadline is Friday, March 12, 2010 (23:59:59 Samoa Time).

Program Committee