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 3D2EB7F0A6 for ; Fri, 21 Aug 2015 06:28:27 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of manuel.hermenegildo@imdea.org) identity=pra; client-ip=138.100.8.76; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="herme@clip.dia.fi.upm.es"; x-sender="manuel.hermenegildo@imdea.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of herme@clip.dia.fi.upm.es designates 138.100.8.76 as permitted sender) identity=mailfrom; client-ip=138.100.8.76; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="herme@clip.dia.fi.upm.es"; x-sender="herme@clip.dia.fi.upm.es"; 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@relay3.fi.upm.es) identity=helo; client-ip=138.100.8.76; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="herme@clip.dia.fi.upm.es"; x-sender="postmaster@relay3.fi.upm.es"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BMAQA3qNZVl0wIZIpdg29pAbRSinwKiAQBAQEBAQESAQEBAQEIFgdPhEdLgS49iCUECak6piWQBIMODEGBMQWFb4E2BYZkhxuEIGWJNEaDaIgrjBiEJXCBBIFHAQEB X-IPAS-Result: A0BMAQA3qNZVl0wIZIpdg29pAbRSinwKiAQBAQEBAQESAQEBAQEIFgdPhEdLgS49iCUECak6piWQBIMODEGBMQWFb4E2BYZkhxuEIGWJNEaDaIgrjBiEJXCBBIFHAQEB X-IronPort-AV: E=Sophos;i="5.15,719,1432591200"; d="scan'208";a="174369133" Received: from relay.fi.upm.es (HELO relay3.fi.upm.es) ([138.100.8.76]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 21 Aug 2015 06:28:26 +0200 Received: from localhost (localhost.localdomain [127.0.0.1]) by relay3.fi.upm.es (Postfix) with ESMTP id BEAB1ACDA00; Fri, 21 Aug 2015 06:28:25 +0200 (CEST) X-Virus-Scanned: by amavisd-new using ClamAV at efiltro.fi.upm.es Received: from clip.dia.fi.upm.es (www.clip.dia.fi.upm.es [138.100.11.74]) by relay3.fi.upm.es (Postfix) with ESMTP id 8DFCDACDA3E; Fri, 21 Aug 2015 06:28:25 +0200 (CEST) Received: from clip.dia.fi.upm.es (clip.software.imdea.org [193.147.107.22]) by clip.dia.fi.upm.es (Postfix) with ESMTPS id 8641E182E5; Fri, 21 Aug 2015 06:28:24 +0200 (CEST) Received: from herme by clip.dia.fi.upm.es with local-rmail (Exim 4.80) (envelope-from ) id 1ZSdwG-0005mi-6j; Fri, 21 Aug 2015 06:28:24 +0200 X-Mailer: emacs 23.4.1 (via feedmail 11-beta-1 Q); VM 8.2.0b under 24.4.1 (x86_64-apple-darwin14.3.0) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Message-ID: <21974.42788.283535.334287@gazelle.local> Date: Fri, 21 Aug 2015 06:20:52 +0200 From: Manuel Hermenegildo To: caml-list@inria.fr X-SA-Exim-Connect-IP: X-SA-Exim-Mail-From: herme@clip.dia.fi.upm.es X-SA-Exim-Scanned: No (on clip.dia.fi.upm.es); SAEximRunCond expanded to false X-Validation-by: manuel@hermenegildo.org Subject: [Caml-list] CFP: 25th International Conference on Compiler Construction (CC) [ Please forward. Apologies for any duplicates. ]=20 ***************************************************************************= ***** CALL FOR PAPERS 25th International Conference on Compiler Construction (CC 2016) March 17-18 2016, Barcelona, Spain Co-located with CGO, HPCA, PPoPP, and EuroLLVM ***************************************************************************= ***** Important dates --------------- Abstracts due: 13 November 2015=20 Papers due: 20 November 2015=20 Author notification: 27 January 2016 Conference: 17-18 March 2016 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 and optimization; - 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 and programming models. CC 2016 is the 25th edition of the conference. It will be co-located with CGO, HPCA, PPoPP, and EuroLLVM on March 17-18 2016, in Barcelona, Spain. Submission ---------- Papers should be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=3Dcc2016. Papers must be written in English and be submitted in pdf in ACM SIGPLAN proceedings format (http://www.sigplan.org/Resources/Author/). 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 Ayal Zaks Intel and Technion, Israel Program Committee Chair=20 Manuel Hermenegildo IMDEA SW Institute and Technical U. of Madrid, Spain Program Committee Raj Barik, Intel Labs, Santa Clara, CA Uday Bondhugula, IIS Bangalore Maria Garzaran, U. of Illinois UC and Intel Laurie Hendren, McGill U. Manuel Hermenegildo, IMDEA and T.U. Madrid Xavier Leroy, INRIA Ondrej Lhotak, U of Waterloo Francesco Logozzo, Facebook Antoine Min=E9, Ecole Normale Sup=E9rieure, Paris Jose Morales, IMDEA SW Diego Novillo, Google Dorit Nuzman, Intel Haifa Jens Palsberg, UCLA Xipeng Shen, North Carolina State University Walid Taha, Rice U. Zheng Wang, Lancaster U. Steering Committee Koen De Bosschere, Ghent U. Bj=F6rn Franke, U. of Edinburgh Michael O'Boyle, U. of Edinburgh Albert Cohen, INRIA Web site http://cc2016.eew.technion.ac.il/ --=20