From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B3BE47F0B9; Fri, 9 Sep 2016 11:48:37 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hack@cs.uni-saarland.de; spf=None smtp.mailfrom=hack@cs.uni-saarland.de; spf=None smtp.helo=postmaster@theia.rz.uni-saarland.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hack@cs.uni-saarland.de) identity=pra; client-ip=134.96.7.31; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hack@cs.uni-saarland.de"; x-sender="hack@cs.uni-saarland.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hack@cs.uni-saarland.de) identity=mailfrom; client-ip=134.96.7.31; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hack@cs.uni-saarland.de"; x-sender="hack@cs.uni-saarland.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@theia.rz.uni-saarland.de) identity=helo; client-ip=134.96.7.31; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hack@cs.uni-saarland.de"; x-sender="postmaster@theia.rz.uni-saarland.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AiXPaVBdf840kWJG9llfLVYSllGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc6zYh7h7PlgxGXEQZ/co6odzbGH6ua+BSdZvt7B6ClEK80UEUddyI?= =?us-ascii?q?0/pE8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0Iu?= =?us-ascii?q?frymUrDbg8n/7e2u4ZqbO1wO32vkJ+0uZ0zp5UWJ749N0NMkcv5wgjLy4VJwM9?= =?us-ascii?q?xMwm1pIV/B1z3d3eyXuKBZziJLpvg6/NRBW6ipN44xTLhfESh0ezttvJ6jgzCY?= =?us-ascii?q?FVLKviJUEjxL00kAPw+Q1xzwV4ztsyL8/sp00yrSac3/RrMcUi/k8qFqDQThgT?= =?us-ascii?q?0DPjg1tm3a3J9elqVe9SmsrRVk34/dZsm1PfF9NvfddNgZbWFaGNtXVmlaC4qm?= =?us-ascii?q?a4IJA6wNMLAL/MHGu1ISoE7mVkGXD+T1x2oR23I=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BXAQAvhNJXhx8HYIZdRwEBFgEBBQEBg?= =?us-ascii?q?wEBAQEBAXV9pQiLQYd9ggMkh044FAEBAQEBAQEBAQEBEgEBAQoLCQkZL0ESgV8?= =?us-ascii?q?EAwMVgjQGQwJGAiYCXxyIQQ6hWo9mjD8BAQEHAQEBAQEBAQEBHoEGhyIIhmoEA?= =?us-ascii?q?wEBgmULLSuCLwWIMA2HKIl7gTmEaosPToQRgw6GBIxTg3seVIJkgVqEaoEADxc?= =?us-ascii?q?MAgyBbgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BXAQAvhNJXhx8HYIZdRwEBFgEBBQEBgwEBAQEBAXV9pQi?= =?us-ascii?q?LQYd9ggMkh044FAEBAQEBAQEBAQEBEgEBAQoLCQkZL0ESgV8EAwMVgjQGQwJGA?= =?us-ascii?q?iYCXxyIQQ6hWo9mjD8BAQEHAQEBAQEBAQEBHoEGhyIIhmoEAwEBgmULLSuCLwW?= =?us-ascii?q?IMA2HKIl7gTmEaosPToQRgw6GBIxTg3seVIJkgVqEaoEADxcMAgyBbgEBAQ?= X-IronPort-AV: E=Sophos;i="5.30,304,1470693600"; d="scan'208";a="192597685" Received: from theia.rz.uni-saarland.de ([134.96.7.31]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Sep 2016 11:48:36 +0200 Received: from dhcp222-17.cdl.uni-saarland.de (dhcp222-17.cdl.uni-saarland.de [134.96.222.17]) (authenticated bits=0) by theia.rz.uni-saarland.de (8.14.9/8.14.0) with ESMTP id u899ii5a007533 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Fri, 9 Sep 2016 11:45:06 +0200 X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.99.2 at HIZ-Mailrelay theia.rz.uni-saarland.de From: Sebastian Hack Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Date: Fri, 9 Sep 2016 11:45:06 +0200 To: Sebastian Hack Message-Id: <3E24D23F-0081-499C-9C04-5ED36075F242@cs.uni-saarland.de> Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Greylist: Sender succeeded SMTP AUTH authentication, not delayed by milter-greylist-3.0 (theia.rz.uni-saarland.de [134.96.7.31]); Fri, 09 Sep 2016 11:45:07 +0200 (CEST) X-Validation-by: hack@cs.uni-saarland.de Subject: [Caml-list] Call for Papers: Compiler Construction 2017 [ Please apologize if you receive multiple copies of this mail. ] ********************************************************************** CALL FOR PAPERS 26th International Conference on Compiler Construction (CC 2017) Feb 5-6 2016, Austin, TX, USA Co-located with CGO, HPCA, PPoPP http://conf.researchr.org/home/CC-2017/ ********************************************************************** Important dates --------------- Abstracts due: 01 November 2016 Papers due: 08 November 2016 Author notification: 23 December 2016 Camera ready versions: 05 January 2017 Conference: 05-06 February 2017 Information ----------- The International Conference on Compiler Construction (CC) is interested in work on processing programs in the most general sense: analyzing, transforming or executing input that describes how a system operates, including traditional compiler construction as a special case. Original contributions are solicited on the topics of interest which include, but are not limited to: - Compilation and interpretation techniques, including program representation, analysis, and transformation; code generation, optimization, synthesis and the verification thereof - Run-time techniques, including memory management, virtual machines, and dynamic and just-in-time compilation - Programming tools, including refactoring editors, checkers, verifiers, compilers, debuggers, and profilers - Techniques for specific domains, such as secure, parallel, distributed, embedded or mobile environments - Design and implementation of novel language constructs, programming models, and domain-specific languages CC 2017 is the 26th edition of the conference. It will be co-located with CGO, HPCA, PPoPP on Feb 05-06 2017, in Austin, TX, USA. Submission ---------- Papers should be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=3Dcc2017. Papers must be written in English and be submitted in pdf in ACM SIGPLAN proceedings format (http://www.sigplan.org/Resources/Author/, using the default 9pt font size). The proceedings will be published in the ACM Digital Library and will be made available freely for the period around the conference. Both regular papers (up to 11 pages) and tool papers (up to 2 3 pages), are invited. In tool papers the first part (2 pages) should describe the tool and the second (3 pages) explain the contents of the demo that will be presented with examples and screenshots. Submissions must adhere strictly to the page limits, including bibliography, figures, or appendices. Submissions that are clearly too long may be rejected immediately. Additional material intended for reviewers but not for publication in the final version (listings, data, proofs) may be included in a clearly marked appendix. Submitted papers must be unpublished and not be submitted for publication elsewhere. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Organizers ---------- General Chair Peng Wu (Huawei) Program Committee Chair Sebastian Hack (Saarland University) Program Committee Jade Alglave (University College London, UK)=20 Nelson Amaral (University of Alberta, Canada)=20 C=C3=A9dric Bastoul (Universit=C3=A9 de Strasbourg, France)=20 Eva Darulova (MPI-SWS, Germany)=20 Bjoern Franke (University of Edinburgh, UK)=20 Cindy Rubio Gonz=C3=A1lez (UC Davis, USA)=20 David Gregg (Trinity College, Ireland)=20 Rajiv Gupta (UC Riverside, USA)=20 Philipp Haller (KTH, Sweden)=20 Paul Kelly (Imperial College, UK)=20 Christoph Kessler (Link=C3=B6ping University, Sweden)=20 Sriram Krishnamoorthy (Pacific Northwest National Laboratory, USA)=20 Alan Mycroft (University of Cambridge, UK)=20 David Pichardie (ENS Rennes, France)=20=20 Fran=C3=A7ois Pottier (INRIA, France)=20 Sanjay Radjopadhye (Colorado State University, USA)=20 Fabrice Rastello (INRIA, France)=20 John Regehr (University of Utah, USA)=20 Andreas Rossberg (Google)=20 Bernhard Scholz (University of Sydney, Australia)=20 Helmut Seidl (TU M=C3=BCnchen, Germany)=20 Steering Committee Koen De Bosschere (Ghent University) Bjoern Franke (U. of Edinburgh) Michael O'Boyle (U. of Edinburgh) Albert Cohen (INRIA) Website http://conf.researchr.org/home/CC-2017/