From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 72AF77EF01 for ; Fri, 12 Jun 2015 15:38:02 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D+AQDY33pVnAZZH8Bcg2RfAYJPrFkBhiKHPIIpHQqICwEBAQEBARIBAQEBAQgUCU+ERiF3DQEiBB2Icw2hYq8khTqPcHIBghoMQR2BFgWFVYEligqHHIRIgimBM0CDQZJVgQmDMiIxAYECAgcXgSQBAQE X-IPAS-Result: A0D+AQDY33pVnAZZH8Bcg2RfAYJPrFkBhiKHPIIpHQqICwEBAQEBARIBAQEBAQgUCU+ERiF3DQEiBB2Icw2hYq8khTqPcHIBghoMQR2BFgWFVYEligqHHIRIgimBM0CDQZJVgQmDMiIxAYECAgcXgSQBAQE X-IronPort-AV: E=Sophos;i="5.13,602,1427752800"; d="scan'208";a="164853546" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with SMTP; 12 Jun 2015 15:38:01 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 537C4121500; Fri, 12 Jun 2015 09:38:01 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20150612133801.537C4121500@mcclellan.cs.miami.edu> Date: Fri, 12 Jun 2015 09:38:01 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] TAPAS Call for Papers Call for Abstracts ---------------------------------------------------------------------- Sixth Workshop on Tools for Automatic Program Analysis TAPAS 2015 ---------------------------------------------------------------------- 8 September 2015 Saint-Malo, France Satellite Workshop of SAS 2015 http://research.berdine.net/tapas2015/ IMPORTANT DATES --------------- Submission deadline 26 June, 2015 Notification 17 July, 2015 Workshop 8 September, 2015 OBJECTIVES ---------- In the last ten years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proved or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly, and much effort is being put into engineering the tools. This workshop is intended to promote discussions and exchange experience between specialists in all areas of program analysis design and implementation, and users of static analysis tools. SCOPE ----- The technical program of TAPAS 2015 will consist of invited lectures together with presentations based on submitted abstracts. We welcome presentations on all aspects of program analysis tools including, but not limited to the following: - design and implementation of static analysis tools to check, prove or infer properties (including practical techniques used for obtaining precision and performance); - components and other reusable infrastructure of static analysis tools (front-ends, abstract domains, solvers, analysis algorithms, frameworks, etc.); - integration of static analyzers (in proof assistants, test generation tools, IDEs, etc.); - experience reports on the use of static analyzers (both research prototypes and industrial tools); - challenges for static analysis tools, such as new properties to address or bottlenecks to overcome; - usability of static analysis tools (including user interfaces and other tools helping to exploit static analysis results); and - tool demonstrations, and comparisons, by tool authors or experienced users. SUBMISSION ---------- Please visit the submission website: . All submitted abstracts will be reviewed by the program committee. Submitted abstracts should be 1-2 pages. INVITED SPEAKERS ---------------- Forthcoming. PROGRAM COMMITTEE ----------------- Josh Berdine Microsoft Research (chair) Arie Gurfinkel Software Engineering Inst, Carnegie Mellon Univ Jan Reineke Saarland University Manuel Hermenegildo T.U. Madrid (UPM), IMDEA Software Institute Ralf Huuck NICTA, Univ of New South Wales, Red Lizard Software Mihaela Sighireanu LIAFA, University of Paris Diderot, CNRS Laura Kovacs Chalmers University of Technology Andreas Podelski University of Freiburg Mooly Sagiv Tel-Aviv University