[Caml-list] HLPP2013 Paris July2013: Third Call for Papers

[Caml-list] HLPP2013 Paris July2013: Third Call for Papers

[Gaetan Hains]

[-- Attachment #1: Type: text/plain, Size: 5800 bytes --]

CALL FOR PAPERS

International Symposium on High-level Parallel Programming and Applications

https://sites.google.com/site/hlpp2013

HLPP2013,  Paris 1-2 July 2013

Aims and scope:
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 <http://www.hlpp.eu> the HLPP series of meetings 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 2013 symposium will be a self-contained event,
held in central Paris.

Invited speaker: Leslie Valiant (Harvard University) inventor of the
BSP paradigm and 2010 Turing award.

Topics:  HLPP 2013 invites the submission of papers written in English
on all topics including (but not limited to) the following aspects
of multi-core, parallel, distributed, grid and cloud computing:

    High-­level programming and performance models (BSP, CGM, LogP,
    MPM, etc.) and tools
    Declarative parallel programming methodologies
    Algorithmic skeletons and constructive methods
    Declarative parallel programming languages and libraries: semantics
    and implementation
    Verification of declarative parallel and distributed programs
    Software synthesis, automatic code generation for parallel programming
    Model-driven software engineering with parallel programs
    High-level methods for heterogeneous/hierarchical platforms: GPGPU,
    FPGA 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

Proceedings:
Authors of accepted papers will be expected to register and to present
their paper at the symposium.
All accepted papers will be eligible for publication in a special issue
of Springer's International Journal of Parallel Programming
<http://www.springer.com/computer/theoretical+computer+science/journal/10766>
(IJPP).

International programme committee:

    Mostafa Bamha (Université d'Orléans, France)
    Pavan Balaji (Argonne National Laboratory, United States)
    Rob Bisseling (Utrecht University, Netherlands)
    Murray Cole (University of Edimburgh, United Kingdom)
    Kento Emoto (University of Tokyo, Japan)
    Frédéric Gava (Université Paris-Est, France)
    Alexandros Gerbessiotis (New Jersey Institute of Technology, United
    States)
    Andy Gill (University of Kansas, United States)
    Clemens Grelck (University of Amsterdam, Netherlands)
    Christoph Kessler (Linköping University, Sweden)
    Herbert Kuchen (Universität Münster, Germany)
    Ramon Lawrence (University of British Columbia, Canada)
    Quentin Miller (Somerville College Oxford, United Kingdom)
    Susanna Pelagatti (University of Pisa, Italy)
    Alexander Tiskin (University of Warwick, United Kingdom)

Organizers and program co-chairs:

    Gaétan Hains (Université Paris-Est, France)
    Youry Khmelevsky (University of British Columbia, Canada)

HLPP steering committee:

    Clemens Grelck (University of Amsterdam, Netherlands)
    Gaétan Hains (Université Paris-Est, France)
    Kiminori Matsuzaki (Kochi University of Technology, Japan)
    Frédéric Loulergue (Université d'Orléans, France)
    Quentin Miller (Somerville College Oxford, United Kingdom)
    Alexander Tiskin (University of Warwick, United Kingdom)

Paper submission:
Submitted papers must not have been published or simultaneously
submitted elsewhere.  Submission should include a cover page with
authors' names, affiliation addresses, fax numbers, phone numbers, and
email addresses.  Please, indicate clearly the corresponding author and
include up to 6 keywords from the above list of topics and an abstract
of no more than 450 words.  Submissions should cover approximately 15
pages and camera-ready versions will be 20 pages long.  Full manuscripts
should be prepared with the IJSS latex macro package
<
http://www.springer.com/cda/content/document/cda_downloaddocument/LaTeX.zip?SGWID=0-0-45-468198-0>
and
submitted via the IJPP online editorial system
<http://www.editorialmanager.com/ijpp/>.  Only source latex files will
be acepted by the system. Each paper will receive a minimum of three
reviews.  Papers will be selected based on their originality, relevance,
technical clarity and presentation.  Authors of accepted papers must
guarantee that their papers will be registered and presented at the
symposium.  Accepted papers will be made available at the time of the
meeting and published in the symposium proceedings.

Important dates:
HLPP2013

  Paper submissions      Sun.  17 February 2013
  Notification to authors Sun.  17 March 2013
  HLPP symposium   Mon.-Tue. 1-2 July 2012

Venue:   Institut Henri Poincaré <http://www.ihp.fr/>, Paris.
Registration:   Registration fees will be kept to a minimum. Details
will be shown here as early as possible.

 Past HLPP events:          http://www.hlpp.eu
 URL for this page:         https://sites.google.com/site/hlpp2013/

Contacts: Gaetan.Hains@u-pec.fr, Youry.Khmelevsky@ubc.ca

[-- Attachment #2: Type: text/html, Size: 8025 bytes --]