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 D9E577FD2F for ; Sun, 22 Nov 2015 13:36:22 +0100 (CET) IronPort-PHdr: 9a23:vsxx2RFyRJG++4zf5dx+A51GYnF86YWxBRYc798ds5kLTJ75os+wAkXT6L1XgUPTWs2DsrQf27eQ7fCrAjxIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niqbsq9aIM01hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdK09SflcDS86G2Ez/szi8xfZHiWV4X5Jd2wQjxdMSyjI9hT3WJr+sy/2saIp3SCcIMDyC7A5QzGv6apkSRvkjw8GMjI0+SfQkMMm3/ETmw6ouxEqm92cW4qSLvcrJq4= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=manuel.hermenegildo@imdea.org; spf=Pass smtp.mailfrom=herme@clip.dia.fi.upm.es; spf=None smtp.helo=postmaster@relay4.fi.upm.es 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.77; 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.77 as permitted sender) identity=mailfrom; client-ip=138.100.8.77; 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@relay4.fi.upm.es) identity=helo; client-ip=138.100.8.77; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="herme@clip.dia.fi.upm.es"; x-sender="postmaster@relay4.fi.upm.es"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BEAADytVFWl00IZIpehA5vAbdohygBDYF8CodKFAEBAQEBAQEBEAEBAQEBCBYHT4ItgisdLoEuPYglBAmedJ9rhlSJMoMHDEGBMQWGDoE5CocAh3+EP2WJaEmDd4hMjWQfAQGER3KDYIFKAQEB X-IPAS-Result: A0BEAADytVFWl00IZIpehA5vAbdohygBDYF8CodKFAEBAQEBAQEBEAEBAQEBCBYHT4ItgisdLoEuPYglBAmedJ9rhlSJMoMHDEGBMQWGDoE5CocAh3+EP2WJaEmDd4hMjWQfAQGER3KDYIFKAQEB X-IronPort-AV: E=Sophos;i="5.20,332,1444687200"; d="scan'208";a="188585946" Received: from relay.fi.upm.es (HELO relay4.fi.upm.es) ([138.100.8.77]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 22 Nov 2015 13:36:22 +0100 Received: from localhost (localhost.localdomain [127.0.0.1]) by relay4.fi.upm.es (Postfix) with ESMTP id 449E33040B for ; Sun, 22 Nov 2015 13:36:21 +0100 (CET) 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 relay4.fi.upm.es (Postfix) with ESMTP id 1EDA530482 for ; Sun, 22 Nov 2015 13:36:21 +0100 (CET) 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 DDA3717ECD for ; Sun, 22 Nov 2015 13:36:20 +0100 (CET) Received: from herme by clip.dia.fi.upm.es with local-rmail (Exim 4.80) (envelope-from ) id 1a0TsS-0005bS-GZ; Sun, 22 Nov 2015 13:36:20 +0100 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=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <22097.46542.932440.748939@gazelle.local> Date: Sun, 22 Nov 2015 13:32:14 +0100 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: herme@clip.dia.fi.upm.es Subject: [Caml-list] CFP: 25th Int'l Conf. on Compiler Construction (CC) - Final Call [ Please forward. Apologies for any duplicates. ] ********************************************************************** FINAL 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 http://cc2016.eew.technion.ac.il/ ********************************************************************** Important dates --------------- Abstracts due: 23 November 2015 Papers due: 30 November 2015 (any time zone) Author notification: 27 January 2016 Camera ready versions: 10 February 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=cc2016. 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 Ayal Zaks Intel and Technion, Israel Program Committee Chair Manuel Hermenegildo IMDEA SW Institute and Technical U. of Madrid, Spain Program Committee Raj Barik, Intel Labs, Santa Clara, CA Uday Bondhugula, IIS Bangalore Matthew Flatt U. of Utah 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 Mine, Ecole Normale Superieure, Paris Jose Morales, IMDEA SW Diego Novillo, Google Jens Palsberg, UCLA Xipeng Shen, North Carolina State University Vijay Sundaresan, IBM Walid Taha, Halmstadt U. Zheng Wang, Lancaster U. Steering Committee Koen De Bosschere, Ghent U. Bjoern Franke, U. of Edinburgh Michael O'Boyle, U. of Edinburgh Albert Cohen, INRIA Web site http://cc2016.eew.technion.ac.il/