From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 41E967F72C for ; Fri, 19 Aug 2016 21:10:10 +0200 (CEST) IronPort-PHdr: 9a23:nmfC3hXP0NkZqFWJG4IQ0oxCsWPV8LGtZVwlr6E/grcLSJyIuqrYYRSHt8tkgFKBZ4jH8fUM07OQ6PG5HzZeqs/a6jhCKMUKDE5dz51O3kQJO42sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7MhdpdKyuQtaBx/q+2+36wZDPeQIA3GP7OuIrak/o5lyK7IFW2dIkcfdpjEOR4zNhQKd//StQP1WdnhLxtI+b3aVI1GBugc8n7NNKSq7gfq41HvRyBTUiNH0ptoWw7UGQBVjH2nxJXWkM1BVQByDE6Rj1GJnr9mP+v+990W+ePMPxZbQ1Qiiv9OF2Th72zSAdMzMw9nqRhNY0xLlYrRasuxt52KbVZo/TOfY4d6ibYNBeDXZQRstKEiVHBIShaYACJ+4AJvpD6ZLwrkBIsAOzAw/qCe/yjndBnWWz06ogzuEJGgDA0RdmEchK+H7PtNzxMI8YSvjw067SyTncbv9bnzDn58yAeRkkpbSIXKlsWcvX00gmUQ3fyh2QoJfmMjeR/uQEqGuW6+4mUvig2FQqswVgnj/6yN0hhoTTh4lTzlfZ8Shjz5s4DcC+SVA+ZsSgHZJWrGeULdhYWMQnFk9yOSq70LwN8bq8YSwH0ps6ylaLZeaKf4WS4xmlUOGMJTpii29oUK+5hgj39lKkx+T6TY+6ygAZ/WJ+jtDQuyVVhFTo4c+dR64l8w== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=frederic.loulergue@univ-orleans.fr; spf=Pass smtp.mailfrom=frederic.loulergue@univ-orleans.fr; spf=None smtp.helo=postmaster@sucre.univ-orleans.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of frederic.loulergue@univ-orleans.fr) identity=pra; client-ip=194.167.30.94; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="frederic.loulergue@univ-orleans.fr"; x-sender="frederic.loulergue@univ-orleans.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of frederic.loulergue@univ-orleans.fr designates 194.167.30.94 as permitted sender) identity=mailfrom; client-ip=194.167.30.94; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="frederic.loulergue@univ-orleans.fr"; x-sender="frederic.loulergue@univ-orleans.fr"; 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@sucre.univ-orleans.fr) identity=helo; client-ip=194.167.30.94; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="frederic.loulergue@univ-orleans.fr"; x-sender="postmaster@sucre.univ-orleans.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AFAACgWLdXl14ep8JeDoQMfbVghAwkgkKFIjwQAgEBAQEBAQEBEgEBAQEBCBYHSIIyFoI6Bg8BBTAQNgIFFgsCCwMCAQIBTAwIAQEFiCgECqo4hieKA4EChDGNBoJaBY4edoozXYVDimlOgjOBW4MPhXaIN4QGg3YCNYFsViJ6W4d9AQEB X-IPAS-Result: A0AFAACgWLdXl14ep8JeDoQMfbVghAwkgkKFIjwQAgEBAQEBAQEBEgEBAQEBCBYHSIIyFoI6Bg8BBTAQNgIFFgsCCwMCAQIBTAwIAQEFiCgECqo4hieKA4EChDGNBoJaBY4edoozXYVDimlOgjOBW4MPhXaIN4QGg3YCNYFsViJ6W4d9AQEB X-IronPort-AV: E=Sophos;i="5.28,545,1464645600"; d="scan'208";a="233311927" Received: from sucre.univ-orleans.fr ([194.167.30.94]) by mail2-smtp-roc.national.inria.fr with ESMTP; 19 Aug 2016 21:10:04 +0200 Received: from localhost (localhost [127.0.0.1]) by sucre.univ-orleans.fr (Postfix) with ESMTP id 86CD07C187; Fri, 19 Aug 2016 21:10:03 +0200 (CEST) Received: from sucre.univ-orleans.fr ([127.0.0.1]) by localhost (sucre.univ-orleans.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id TkDhGNkxy5un; Fri, 19 Aug 2016 21:10:03 +0200 (CEST) Received: from smtps.univ-orleans.fr (smtpkerb1.univ-orleans.fr [194.167.30.60]) by sucre.univ-orleans.fr (Postfix) with ESMTP id 76A107C181; Fri, 19 Aug 2016 21:10:03 +0200 (CEST) Received: from [192.168.0.15] (24-121-216-138.flagcmtk01.res.dyn.suddenlink.net [24.121.216.138]) by smtps.univ-orleans.fr (Postfix) with ESMTPSA id 9AA85100D2; Fri, 19 Aug 2016 21:10:01 +0200 (CEST) Message-ID: <57B75988.3040602@univ-orleans.fr> Date: Fri, 19 Aug 2016 12:10:00 -0700 From: =?UTF-8?B?RnLDqWTDqXJpYyBMb3VsZXJndWU=?= Reply-To: frederic.loulergue@univ-orleans.fr Organization: =?UTF-8?B?VW5pdmVyc2l0w6kgZCdPcmzDqWFucyAtIExJRk8=?= User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:24.0) Gecko/20100101 Thunderbird/24.8.1 MIME-Version: 1.0 To: gdr.gpl@imag.fr, lamha.lifo@listes.univ-orleans.fr, skeletons@inf.ed.ac.uk, types-announce@lists.seas.upenn.edu, asr-forum@cines.fr, bspall@bsp-worldwide.org, caml-list@inria.fr, haskell@haskell.org Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] CfP: ACM SAC'17 PAPP Track - Practical Aspects of High-Level Parallel Programming ====================== Call for Papers ====================== SAC'17 - ACM 2017 Symposium on Applied Computing Technical Track PAPP - Practical Aspects of High-Level Parallel Programming Marrakech, Morocco March 27 - 31, 2017 http://frederic.loulergue.eu/PAPP2017 ============================================================= AIMS & SCOPE Nowadays parallel architectures are everywhere. However parallel programming is still reserved to experienced programmers. The trend is towards the increase of cores in processors and the number of processors in multiprocessor machines: The need for scalable computing is everywhere. But parallel and distributed programming is still dominated by low-level techniques such as send/receive message passing and POSIX threads. Thus high-level approaches should play a key role in the shift to scalable computing in every computer. Algorithmic skeletons (Google's MapReduce being the most well-known skeletal parallelism approach), parallel extensions of functional languages such as Haskell and ML, parallel logic and constraint programming, parallel execution of declarative programs such as SQL queries, genericity and meta-programming in object-oriented languages, etc. have produced methods and tools that improve the price/performance ratio of parallel software, and broaden the range of target applications. Also, high level languages offer a high degree of abstraction which ease the development of complex systems. Moreover, being based on formal semantics, it is possible to certify the correctness of critical parts of the applications. The aim of all these languages and tools is to improve and ease the development of applications (safety, expressivity, efficiency, etc.). The PAPP track is aimed both at researchers involved in the development of high level approaches for parallel computing and engineers and researchers who are potential users of these languages and tools. PAPP is no longer a workshop but is a track of ACM Symposium on Applied Computing, the flagship conference of ACM Special Interest Group on Applied Computing (SIGAPP). ACM SAC is ranked A1 in the Qualis ranking. The acceptance rate of recent SAC is around 25%. TOPICS We welcome submission of original, unpublished papers in English on topics including: - design, implementation and optimisation of high-level programming languages, - algorithms and high-level models (CGM, BSP, LogP, MapReduce,...), - artificial intelligence, software engineering and formal methods applied to high-level parallel programming, - middleware and tools: performance predictors, visualisations of abstract behaviour, automatic hot-spot detectors, high-level resource managers, compilers, automatic generators, etc., - applications of high-level approaches, benchmarks and experiments. The PAPP track focuses on practical aspects of high-level parallel programming but it welcomes topics of mostly theoretical nature, provided there is clear practical potential in applying the results of such work. PAPER SUBMISSION AND PUBLICATION Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the link provided at SAC web page (http://www.acm.org/conferences/sac/sac2017). Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted papers will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply with this page limitation already at submission time. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper: This is a requirement for the paper/poster to be included in the ACM/IEEE digital library. No-show of scheduled papers and posters will result in excluding them from the ACM/IEEE digital library. After the conference, selected accepted papers will be invited to a special issue of an international journal (pending). SAC 2017 will also hold a Student Research Competition (SRC). To enter this in the area of PAPP, please submit via the link at SAC web page. IMPORTANT DATES Paper Submission: Sep 15, 2016 SRC Abstract Submission: Sep 15, 2016 Paper/SRC Notifications: Nov 10, 2016 Camera-Ready Copies: Nov 25, 2016 TRACK PROGRAMME COMMITTEE Frederic Loulergue, Track Chair (Northern Arizona University, USA) Marco Aldinucci (University of Torino, Italy) Mohamad Al Hajj Hassan (Lebanese International University, Lebanon) Mathias Bourgoin (LIFO, Universite d'Orleans, France) Ines de Castro Dutra (Universidade do Porto, Portugal) Helene Coullon (Inria Rhone-Alpes, France) Kento Emoto (Kyushu Institute of Technology, Japan) Alexandros Gerbessiotis (NJIT, USA) Khaled Hamidouche (The Ohio State University, USA) Geoff Hamilton (Dublin City University, Ireland) Hideya Iwasaki (The University of Electro-Communications, Japan) Herbert Kuchen (Westfälische Wilhems-Universitat Muenster, Germany) Virginia Niculescu (Babes Bolya University, Romania) Susanna Pelagatti (University of Pisa, Italy) Julien Tesson (Universite Paris-Est Creteil, France)