From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=-0.0 required=5.0 tests=NO_RELAYS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: by yquem.inria.fr (Postfix, from userid 18965) id 39FC9BBAF; Sun, 14 Dec 2008 14:40:28 +0100 (CET) Date: Sun, 14 Dec 2008 14:40:28 +0100 From: Francois Pottier To: Caml Mailing List Subject: PLAS 2009 Call for Papers Message-ID: <20081214134028.GA6502@yquem.inria.fr> Reply-To: Francois.Pottier@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.5.9i X-Spam: no; 0.00; ocaml:01 sigplan:01 sigplan:01 co-located:01 pldi:01 pldi:01 tohoku:01 2009:98 2009:98 dublin:98 monitors:98 pasquale:98 tamara:98 abstract:01 cristal:01 Hi all, If you are doing something exciting that involves programming languages (ocaml or other) and security, consider submitting to PLAS! (Apologies for multiple postings.) -- François Pottier Francois.Pottier@inria.fr http://cristal.inria.fr/~fpottier/ ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (PLAS 2009) Dublin, Ireland, June 15, 2009 Sponsored by ACM SIGPLAN Co-located with PLDI '09 Supported by IBM Research and Microsoft Research http://www.cs.stevens.edu/~naumann/plas2009.html Submission Deadline: April 3, 2009 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 in domains including web applications, embedded software, etc. Important Dates and Submission Guidelines * Submission due date: Friday, April 3, 2009 * Author notification: Friday, May 1, 2009 * Revised papers due: TBA * Student travel grant applications due: Friday, May 29, 2009 * PLAS 2009 workshop: Monday, June 15, 2009 We invite papers of two kinds: (1) Technical papers about relatively mature work, for "long" presentations during the workshop, and (2) papers for "short" presentations about more preliminary work, position statements, or work that is more exploratory in nature. Short papers marked as "Informal Presentation" will have only their abstract published in the proceedings. All other papers will be included in the formal proceedings and must describe original work in compliance with the SIGPLAN republication policy. Page limits are 12 pages for long papers and 6 pages for short papers. Student Travel Grants Student attendees of PLAS can apply for a travel grant (in addition to any PLDI grants), thanks to the generous support of IBM Research and Microsoft Research. The application forms will be on the workshop web site. Program Committee * Aslan Askarov, Chalmers University of Technology, Sweden * Brian Chess, Fortify Software, USA * Stephen Chong, Harvard University, USA (co-chair) * Úlfar Erlingsson, Reykjavík University, Iceland * Kevin W. Hamlen, University of Texas at Dallas, USA * Benjamin Livshits, Microsoft Research, USA * Pasquale Malacaria, Queen Mary University of London, UK * David Naumann, Stevens Institute of Technology, USA (co-chair) * Marco Pistoia, IBM Research, USA * François Pottier, INRIA Paris-Rocquencourt, France * Tamara Rezk, INRIA Sophia Antipolis-Méditerranée, France * Tachio Terauchi, Tohoku University, Japan * David Wagner, University of California, Berkeley, USA