The Coq mailing list

[Frédéric Dabrowski <frederic.dabrowski AT univ-orleans.fr>]

[apologies for multiple copies of this CFP]

===============================================================================
HLPP 2018: High Level Parallel Programming
Orléans, France, July 12-13, 2018
===============================================================================


Conference website    http://www.univ-orleans.fr/lifo/equipes/LMV/hlpp2018/
Submission link    https://easychair.org/conferences/?conf=hlpp2018
Submission deadline    April 6, 2018

===============================================================================
Aims and scope of HLPP
===============================================================================


As processor and system manufacturers increase the amount of both inter-
and
intra-chip parallelism it becomes crucial to provide the software
industry with high-level,
clean and efficient tools for parallel programming. Parallel and
distributed programming
methodologies are currently dominated by low-level techniques such as
send/receive
message passing, or equivalently unstructured shared memory mechanisms.
Higher-level,
structured approaches offer many possible advantages and have a key role
to play in the
scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP
series of workshops/symposia
has been a forum for researchers developing state-of-the-art concepts,
tools and applications for
high-level parallel programming. The general emphasis is on software
quality, programming
productivity and high-level performance models. The 11th Symposium on
High-Level Parallel
Programming and Applications will be held in Orléans, France.

===============================================================================
Submission Guidelines
===============================================================================


Papers submitted to HLPP2018 must describe original research results and
must not have
been published or simultaneously submitted anywhere else. Manuscripts
must be prepared
with the Springer IJPP Latex macro package
http://static.springer.com/sgw/documents/468198/application/zip/LaTeX.zip,
using the single column option (\documentclass[smallextended]{svjour3}),
and submitted via
the EasyChair Conference System
https://easychair.org/conferences/?conf=hlpp2018, as one PDF file.
The strict page limit for initial submission and camera-ready version is
18 pages in the
aforementioned format. Each paper will receive a minimum of three
reviews by members of
the program committee. Papers will be selected based on their
originality, relevance, technical
clarity, and quality of presentation. At least one author of each
accepted paper must register
for the HLPP 2018 symposium and present the paper. After the symposium,
you have ample
time to revise the paper incorporating potential comments and remarks of
your colleagues.

===============================================================================
List of Topics
===============================================================================

    * High-level programming, performance models (BSP, CGM, LogP, MPM,
etc.) and tools
    * Declarative parallel programming methodologies based on
functional, logical, data-flow, and other paradigms
    * Algorithmic skeletons, patterns, etc. and constructive methods
    * High-level parallelism in programming languages and libraries
(e.g, Haskell, Scala, etc.): semantics and implementation
    * Verification of declarative parallel and distributed programs
    * Efficient code generation, auto-tuning and optimization for
parallel programming
    * Model-driven software engineering for parallel systems
    * Domain-specific languages: design, implementation and applications
    * High-level programming models for heterogeneous/hierarchical
platforms with accelerators, e.g., GPU, Xeon Phi, etc.
    * High-level parallel methods for large structured and
semi-structured datasets
    * Applications of parallel systems using high-level languages and tools
    * Teaching experience with high-level tools and methods

===============================================================================
Program Committee
===============================================================================

    * Herbert Kuchen, University of Münster, Germany
    * Christoph Kessler, Linköping University, Sweden
    * Susanna Pelagatti, University of Pisa, Italy
    * Murray Cole, University of Edinburgh, United Kingdom
    * Kostis Sagonas, Uppsala University, Sweden
    * Aleksandar Prokopec, Google Inc., Switzerland
    * Clemens Grelck, University of Amsterdam, The Netherlands
    * Marco Aldinucci, University of Torino, Italy
    * Marco Danelutto, , University of Pisa, Italy
    * Gerbessiotis Alexandros, New Jersey Institute of Technology, USA
    * Joel Falcou, MetaScale / Université Paris-Sud, France
    * Kiminori Matsusaki, Kochi University of Technology, Japan
    * Michel Steuwer, University of Glasgow, UK
    * R.H. Bisseling, Utrecht University, The Netherlands
    * Kevin Hammond, University of St. Andrews, United Kingdom
    * Sergei Gorlatch, University of Münster, Germany
    * Massimo Torquati, University of Pisa, Italy
    * Dalvan Griebler, Pontifical Catholic University of Rio Grande do
Sul, Brazil
    * Patrizio Dazzi, HPC Lab ISTI-CNR
    * Kento Emoto, Kyushu Institute of Technology
    * Jost Berthold, Commonwealth Bank of Australia
    * Peter Kilpatrick, Queen’s University Belfast
    * Julien Tesson, University Paris-Est Créteil, France
    * Wadoud Bousdira, University of Orléans, France
    * Frédéric Dabrowski, University of Orléans, France

===============================================================================
Co-Chairs
===============================================================================

    * Wadoud Bousdira, University of Orléans, France
    * Frédéric Dabrowski , University of Orléans, France

===============================================================================
Organizing committee
===============================================================================

    * Wadoud Bousdira
    * Frédéric Dabrowski
    * Arvid Jakobsson
    * Thibault Tachon

===============================================================================
Steering Committee
===============================================================================

    * Clemens Grelck (Universiteit van Amsterdam, Netherlands)
    * Gaétan Hains (Huawei Technologies Paris, France)
    * Kiminori Matsuzaki (Kochi University of Technology, Japan)
    * Frédéric Loulergue (Northern Arizona University, USA)
    * Quentin Miller (Somerville College Oxford, United Kingdom)
    * Alexander Tiskin (University of Warwick, United Kingdom)

===============================================================================
Publication
===============================================================================
Accepted papers will be distributed as informal draft proceedings during the
symposium. Additionally, accepted papers will be published in a special
issue
of a renowned international journal. Previous editions were published in
Parallel Processing Letters, International Journal of Parallel
Programming and
Computation and Concurrency: Practice and Experience.

===============================================================================
Venue
===============================================================================
HLPP 2018 will be hosted by Université d'Orléans, France.

===============================================================================
Contact
===============================================================================
frederic.dabrowski AT univ-orleans.fr, wadoud.bousdira AT univ-orleans.fr

===============================================================================
Sponsors
===============================================================================
Université d'Orléans, HUAWEI, Fédération ICVL

Attachment: signature.asc
Description: OpenPGP digital signature