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 A0EAA7EEF8 for ; Sun, 9 Aug 2015 17:28:17 +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: A0CgDgCccMdV/wZZH8Bdgz4xgi6BEapoAYZ1insGgkeFIQEBAQEBAYELhEchdzAEHYhyDadCoFCFEJABgw4MQR2BFAWFaYEzjW+FAodeghKXbiaBSoJPIoE4gUcBAQE X-IPAS-Result: A0CgDgCccMdV/wZZH8Bdgz4xgi6BEapoAYZ1insGgkeFIQEBAQEBAYELhEchdzAEHYhyDadCoFCFEJABgw4MQR2BFAWFaYEzjW+FAodeghKXbiaBSoJPIoE4gUcBAQE X-IronPort-AV: E=Sophos;i="5.15,639,1432591200"; d="scan'208";a="173090231" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with SMTP; 09 Aug 2015 17:28:16 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 21A2312154C; Sun, 9 Aug 2015 11:28:16 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20150809152816.21A2312154C@mcclellan.cs.miami.edu> Date: Sun, 9 Aug 2015 11:28:16 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] TAPAS Call for Participation Call for Participation ---------------------------------------------------------------------- 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/ 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. INVITED SPEAKERS ---------------- Patrick Cousot New York University Pascal Cuoq TrustInSoft Don Sannella Contemplate & University of Edinburgh Max Schaefer Semmle ACCEPTED PRESENTATIONS ---------------------- Wolfgang Ahrendt, Laura Kovacs and Simon Robillard. Loop Analysis Using Theorem Proving and Symbol Elimination Georges Dupéron and Roland Ducournau. k-l-CFA: A Practical Implementation Colin Runciman and Simon Thompson. Demur: Checking Functional-program Properties Using Bounded Recursion Boris Yakobowski. Fast Whole-program Verification Using On-the-fly Summarization 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