Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
CFP: HLPP 2007 (Tokyo, July 23-24, 2007)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Frederic Loulergue <frederic.loulergue@u...>
Subject: CFP: HLPP 2007 (Tokyo, July 23-24, 2007)
We apologize if you receive multiple copies.
                       Call For Papers

               Fourth International Workshop on
                         (HLPP 2007)

              The University of Tokyo, Tokyo, Japan
                       July 23-24, 2007



Bill McColl's post Sequential Computing Considered Harmful is an
excellent summary of today's situation
( Sequential computing cannot go
further. Major companies in the computing industry now recognizes the
urgency of reorienting an entire industry towards massively parallel

The trend is towards the increase of cores in processors and the need
for scalable computing everywhere. But parallel and distributed
programming is still dominated by low-level techniques such as
send/receive message passing. Thus high-level approaches should play a
key role in the shift to scalable computing in every computer.

This workshop follows the first three HLPP workshops held in 2001,
2003 and 2005. It is aimed at:

- computer science researchers, practitioners, graduate students
- scientific computing researchers, practitioners, graduate students
- high-performance application developers (e.g. in DBMS, data-mining,
   parallel model checking, virtual reality)


We welcome submission of original, unpublished papers in English on
topics including (but not limited to) the following aspects of
multi-core, concurrent, parallel, distributed, meta and grid

- high-level algorithms for parallel, communication-efficient and
   external-memory computation
- high-level programming models (BSP, CGM, LogP, MPM, etc.) and tools
- high-level programming models, tools and algorithms for
   multi-threaded, reconfigurable and multi-core computing
- parallel programming methodologies
- algorithmic skeletons and constructive methods
- performance models and performance evaluation
- high level resource-aware approaches object, functional,
   logic, constraint programming (semantics and implementation)
- verification of parallel and distributed programs
- security in high-level approaches
- applications using high-level languages and tools (scientific
   computing, DBMS, model-checking, virtual reality, ...)
- teaching experience with high-level tools and methods

Accepted papers should be presented at the workshop. Revised versions
will be published in a special issue of an international journal
(previous HLPP workshops were published in Parallel Processing
Letters, World Scientific Publishing) provided revisions suggested by
the referees are made.


15 April 2007: Full paper due
28 May 2007: Notification
2 July 2007: Camera-ready paper due
23-24 July 2007: Workshop
17 September 2007: Journal version due


Manuel Chrakravarty (Univ. of New South Wales, Australia)
Murray Cole (Univ. of Edinburgh, UK)
Alexandros Gerbessiotis (NJIT, USA)
Sergei Gorlatch (Univ. of Muenster, Germany)
Zhenjiang Hu (Univ. of Tokyo, Japan)
Christoph Kessler (Linkopings Universitet, Sweden)
Herbert Kuchen (Univ. of Muenster, Germany)
Rita Loogen (Univ. of Marburg, Germany)
Frederic Loulergue (Univ. of Orleans, France)
Quentin Miller (Somerville College, Oxford, UK)
Susanna Pelagatti (Univ. of Pisa, Italy)
Alexander Tiskin (Univ. of Warwick, UK)
Kazunori Ueda (Waseda University, Japan)


Zhenjiang HU
Information Processing Laboratory
Department of Mathematical Informatics
Department of Mathematical Engineering and Information Physics
The University of Tokyo

Laboratoire d'Informatique Fondamentale d'Orleans
Faculty of Sciences
Computer Science Department
University of Orleans


HLPP 2005 was held in Coventry (July 4-5, 2005).

HLPP 2003 was held in Paris (June 16-18, 2003). Parallel Processing
Letters (Volume 13, issue 3) contains 14 revised papers presented at
the workshop.

HLPP 2001 was held in Orleans (March 26-27, 2001). Parallel Processing
Letters (Volume 11,issue 4) contains 8 revised papers presented at the