From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 39EDFBBAF for ; Thu, 5 Nov 2009 18:39:29 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhQCAAqc8kqAAtnFnGdsb2JhbACbZwEBAQEBCAsICRO1dQIBhX+ITIJVAYFnBA X-IronPort-AV: E=Sophos;i="4.44,687,1249250400"; d="scan'208";a="39600836" Received: from smtp02.srv.cs.cmu.edu ([128.2.217.197]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 05 Nov 2009 18:39:28 +0100 Received: from [128.2.142.43] (POSSIBILITY.CYLAB.CMU.EDU [128.2.142.43]) (authenticated bits=0) by smtp02.srv.cs.cmu.edu (8.13.6/8.13.6) with ESMTP id nA5HdNAg020893 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 5 Nov 2009 12:39:23 -0500 (EST) Message-ID: <4AF30DEC.7060603@cs.cmu.edu> Date: Thu, 05 Nov 2009 12:39:56 -0500 From: Deepak Garg User-Agent: Thunderbird 2.0.0.23 (X11/20090817) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Preliminary call for papers PLAS 2010 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Scanned-By: mimedefang-cmuscs on 128.2.217.197 X-Spam: no; 0.00; deepak:01 sigplan:01 co-located:01 pldi:01 prepend:01 sigs:01 sigplan:01 sigs:01 barthe:01 avik:01 deepak:01 shriram:01 10,:98 monitors:98 cloud:98 *********************************************************************** Preliminary Call for Papers ACM SIGPLAN Fifth Workshop on Programming Languages and Analysis for Security (PLAS 2010) http://software.imdea.org/events/plas2010/index.html June 10, 2010 Co-located with PLDI 2010, Toronto, Canada *********************************************************************** SCOPE 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 IMPORTANT INFORMATION Submissions due: Friday, March 12, 2010 Author notification: Friday, April 23, 2010 Revised papers due: Monday, May 10, 2010 PLAS 2010 workshop: Thursday, June 10, 2010 Submission URL: https://www.easychair.org/login.cgi?conf=plas2010 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: " (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. Papers may be submitted via EasyChair at https://www.easychair.org/login.cgi?conf=plas2010. The submission deadline is Friday, March 12, 2010. PROGRAM COMMITTEE Anindya Banerjee (IMDEA Software) (co-chair) Gilles Barthe (IMDEA Software) Avik Chaudhuri (University of Maryland) Veronique Cortier (LORIA, CNRS) Brendan Eich (Mozilla Corporation) Ulfar Erlingsson (Microsoft Research and Reykjavik University) Deepak Garg (Carnegie Mellon University) (co-chair) Andrew D. Gordon (Microsoft Research) Joshua Guttman (Worcester Polytechnic Institute) Shriram Krishnamurthi (Brown University) Sergio Maffeis (Imperial College London) Todd Millstein (University of California, Los Angeles) John Mitchell (Stanford University) Marco Pistoia (IBM TJ Watson Research Center) Andrei Sabelfeld (Chalmers University) Zhendong Su (University of California, Davis)