We apologize if you receive multiple copies. --------------------------------------------------------------- Call For Papers Fourth International Workshop on HIGH-LEVEL PARALLEL PROGRAMMING AND APPLICATIONS (HLPP 2007) The University of Tokyo, Tokyo, Japan July 23-24, 2007 http://f.loulergue.free.fr/HLPP/hlpp2007/ --------------------------------------------------------------- AIMS AND SCOPE Bill McColl's post Sequential Computing Considered Harmful is an excellent summary of today's situation (http://www.computingatscale.com). Sequential computing cannot go further. Major companies in the computing industry now recognizes the urgency of reorienting an entire industry towards massively parallel computing. 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) TOPICS 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 computing: - 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. IMPORTANT DATES 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 PROGRAMME COMMITTEE 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) CHAIRS AND ORGANIZERS Zhenjiang HU Information Processing Laboratory Department of Mathematical Informatics Department of Mathematical Engineering and Information Physics The University of Tokyo Frederic LOULERGUE Laboratoire d'Informatique Fondamentale d'Orleans Faculty of Sciences Computer Science Department University of Orleans PAST HLPP WORKSHOPS 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 workshop.