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 0CC8280198 for ; Tue, 11 Jul 2017 12:49:04 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=wies@cs.nyu.edu; spf=None smtp.mailfrom=wies@cs.nyu.edu; spf=None smtp.helo=postmaster@smtp.cs.nyu.edu Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of wies@cs.nyu.edu) identity=pra; client-ip=128.122.49.97; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wies@cs.nyu.edu"; x-sender="wies@cs.nyu.edu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of wies@cs.nyu.edu) identity=mailfrom; client-ip=128.122.49.97; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wies@cs.nyu.edu"; x-sender="wies@cs.nyu.edu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.cs.nyu.edu) identity=helo; client-ip=128.122.49.97; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wies@cs.nyu.edu"; x-sender="postmaster@smtp.cs.nyu.edu"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AXNGZjhaR8X7blP4O4zhxOx7/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMi4bnLW6fgltlLVR4KTs6sC0LuJ9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT6/bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjA57W/ZlM9+gqxVrx2uuxNxzJXZYJ2WOfdkYq/RYd0XSGhHU81MVyJBGIS8?= =?us-ascii?q?b44XAuQfPeZYqIz9qEEVrRCjBQasBf3gyiRVjXLx06w60vouERrd0QM8BNICqn?= =?us-ascii?q?LUrdXoNKsIT++60bTIwCzFYvhL1zn9743IfQogofGKRb9wd8rQyVQ1Gwzbk1qQ?= =?us-ascii?q?tJTpMC2P2eQWs2mU8+pgWviui249sQ1xpSKvxsgqh4LUhYwV0kjJ+ThnzIs2P9?= =?us-ascii?q?G0VVB3bcC+HJZfsyyWLY97T8E6T212pCo3xKcKtJ25cSQQ1Zgr2RHSZ+aaf4WI?= =?us-ascii?q?7R/uUvuaLy1ii3J/Yr2/gg6/8Ui+xe34Ucm5yE1Kri9ZktnUrHwCywfT5tKBSv?= =?us-ascii?q?p940etwyiA2B3O6u1cIEA0k7TUK4I5z7ItiJYesl7PEjLolEnolqObeUEp9vKs?= =?us-ascii?q?5unlernmo4WTN45wigHwKKQuncm/DPw2MwgPQWeb4v+x26H4/UHjRrVLjuA2nr?= =?us-ascii?q?PHv5/HOMQXvrS5DBNN0oY/9xa/CC+r38gCknkCKFJJYRaHj4nyO1HSO/34Fve+?= =?us-ascii?q?g1G0kDhx3fzGP7vhAo/MLnfZirvhc6x9uAZgz184xNVbopZVEa0pIfTpW0a3us?= =?us-ascii?q?aLIAU+NlmIw+HiAc416YITQirbHa6UK4vZqhmO9/9pLuWRMtxG8A3hIuQosqa9?= =?us-ascii?q?xUQynkUQKPGk?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D8DAALrGRZ/2ExeoBdHhgHDBgHgyJkA?= =?us-ascii?q?6BkmDYBK4IPhnNDFAEBAQEBAQEBAQEBaiiCMyKCZwYPAQUuAkYCJgJsCAEBiio?= =?us-ascii?q?BEJtKkA6CJogEB4NegQuCHYUuKwuEKoFqgSBwgkeCYQWJXI1ah2mHSI5QhUuDP?= =?us-ascii?q?hGGf4xpiFk2IYEKMSEIHROFaIIThkmCPwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0D8DAALrGRZ/2ExeoBdHhgHDBgHgyJkA6BkmDYBK4IPhnN?= =?us-ascii?q?DFAEBAQEBAQEBAQEBaiiCMyKCZwYPAQUuAkYCJgJsCAEBiioBEJtKkA6CJogEB?= =?us-ascii?q?4NegQuCHYUuKwuEKoFqgSBwgkeCYQWJXI1ah2mHSI5QhUuDPhGGf4xpiFk2IYE?= =?us-ascii?q?KMSEIHROFaIIThkmCPwEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,345,1496095200"; d="scan'208";a="282931747" Received: from smtp.cs.nyu.edu ([128.122.49.97]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Jul 2017 12:49:02 +0200 Received: from [192.168.8.195] (154.124.87.203.static.sa.chariot.net.au [203.87.124.154] (may be forged)) (authenticated bits=0) by smtp.cs.nyu.edu (8.15.2/8.15.1) with ESMTPSA id v6BAmtr6022092 (version=TLSv1.2 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Tue, 11 Jul 2017 06:49:00 -0400 (EDT) From: Thomas Wies To: caml-list@inria.fr Message-ID: Date: Tue, 11 Jul 2017 06:48:54 -0400 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] TAPAS 2017: Call for Abstracts Call for Abstracts ---------------------------------------------------------------------- 8th Workshop on Tools for Automatic Program Analysis TAPAS 2017 ---------------------------------------------------------------------- August 29, 2017 New York, NY, USA A Satellite Workshop of SAS 2017 http://cs.nyu.edu/acsys/tapas2017/ Important Dates --------------- * Submission deadline: July 14, 2017 (extended) * Notification: July 24, 2017 * Workshop: August 29, 2017 Objectives ---------- In recent 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 proven 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 static analysis tool users. Scope ----- The technical program of TAPAS 2017 will consist of invited lectures together with presentations based on submitted extended abstracts. Submissions can cover any aspect of program analysis tools including, but not limited to the following: * design and implementation of static analysis tools (including practical techniques used for obtaining precision and performance); * components of static analysis tools (front-ends, abstract domains, etc.); * integration of static analyzers (in proof assistants, test generation tools, IDEs, etc.); * reusable software infrastructure (analysis algorithms and frameworks); * experience reports on the use of static analyzers (both research prototypes and industrial tools). Submission ---------- Please visit the submission website: . All submitted abstracts will be reviewed by the program committee. Submitted abstracts should be up to 3 pages in the two-column sub-format of the new ACM proceedings format. Invited Speakers ---------------- Forthcoming. Program Chair ------------- * Thomas Wies (NYU, USA) Program Committee ----------------- * Michael Emmi (Nokia Bell Labs, USA) * Samir Genaim (UCM, Spain) * Arie Gurfinkel (University of Waterloo, Canada) * Laura Kovacs (TU Wien, Austria) * Isabella Maestroni (University of Verona, Italy) * Antoine Miné (UPMC University, France) * Damien Zufferey (MPI-SWS, Germany)