|
4th International Workshop on
"Constructive Methods for
Parallel Programming"
(CMPP 2004)
|
|
|
|
|
Stirling, Scotland, UK, 14 July 2004
In connection with the 10th International Conference on Algebraic
Methodology And Software Technology
(AMAST 2004) and
the 7th International Conference on Mathematics of Program Construction
(MPC 2004)
This is the fourth workshop in the biennial CMPP series, which has been
colocated with the MPC conference.
The workshop's day will be July 14, which is just after the MPC conference
(12-14 July) and parallel to the AMAST conference (12-16 July), so the CMPP
participants may register for a combination with one or both of these
events. The programme will include one invited talk, technical
presentations and/or system demonstrations, and a discussion.
Visitor information provided by university of Stirling (maps, getting
there, contact numbers). Residents should check-in at Andrew Stewart Hall.
Programme
Preliminary programme of the CMPP workshop:
| 9:30-10:10 |
Registration (Lecture Theatre B3, Cottrell Building) |
| 10:10-10:15 |
Opening: Sergei Gorlatch (Chair)
|
| 10:15-10:45 |
Functional Metaprogramming in the Construction of Parallel Programs
C. Herrmann |
| 10:45-11:15 |
Towards Mobility Skeletons
A. Rauber Du Bois, P. Trinder, H.W. Loidl |
| 11:15-11:45 |
Coffee/Tea |
| 11:45-12:15 |
Optimization Techniques for Implementing Parallel Skeletons in Grid Environments
M. Aldinucci, M. Danelutto, J. Dünnweber |
| 12:15-12:45 |
Data Parallelism in C++ Template Programs: A Barnes-Hut
Case Study
H. Bischof, F. Hielscher, O. Klössing, H. Ladner, R. Leshchinskiy, J. Müller |
| 12:45-13:15 |
A Functional Language for Departmental Metacomputing
F. Gava, F. Loulergue |
| 13:15-14:15 |
Lunch: Haldane's, Andrew Millar Building ("MacRobert") |
| 14:15-15:00 |
Invited Talk:
 Generative and Adaptive Methods in Performance Programming
Paul H.J. Kelly |
| 15:00-15:30 |
A Unified Programming Approach to Master-Slave Computing
P.E. Hadjidoukas |
| 15:30-16:00 |
Model Checking Constraint-based Concurrent Java Programs
R. Ramirez, J. Martinez, A.E. Santosa |
| 16:00-16:30 |
Coffee/Tea |
| 16:30-17:00 |
Systematic Derivation of Tree Contraction Algorithms
K. Matsuzaki, Z. Hu, K. Kakehi, M. Takeichi |
| 17:00-17:30 |
Communication Scheduling for Generic Skeleton Implementations
T. Nitsche |
| 17:30-18:00 |
An Implementation of Recursive Operations in lambda-evaluator
YALE on Interaction Nets
S. Sato, T. Sugimoto |
Registration and Accommodation
Please fill in the registration
form and send it to
cmpp04@math.uni-muenster.de.
For CMPP-only participants (who are not registered for MPC or AMAST):
Please register through
 MPC registration form
write "CMPP registrant, [no|with] accommodation" in the "special needs
and abilities" field. Your credit card will be charged with 30 GBP
for the one-day rate (incl. lunch, breaks, workshop facilities).
In addition, if you asked for accommodation, you will be charged
for the cost of your room after check-in in Stirling.
For all participants (including CMPP-only):
The CMPP registration fee of 30 GBP (45 EUR)
including the CMPP-proceedings will be payed
by you in cash at the workshop site.
Due to the complexity of the registration process, the following table
illustrates it:
| |
AMAST/MPC + CMPP |
CMPP only |
| Day rate |
Covered by AMAST/MPC registration
| Register through
MPC
registration form, write "CMPP registrant, [no|with] accommodation" in the
"special needs and abilities" field.
|
| Accommodation |
| CMPP registration fee |
30 GBP (45 EUR) to be payed at workshop site |
Scope
The focus of CMPP is on the combination of formal precision, a methodical
approach and practicality in the construction of programs for modern
parallel and distributed systems. This includes but is not restricted to
the following topics:
- formal models, methods, and languages for parallel programming
- cost models and performance evaluation for parallelism
- parallelization and compilation techniques
- components, skeletons, templates and other higher-level constructs
- high-performance computing, incl. MPI, HPF, OpenMP, BSP, etc.
- parallel and distributed functional and logic programming
- parallel and distributed object-oriented programming, Java
- computational grids, metacomputing
- hardware-software codesign
Proceedings
Preliminary proceedings will be published as a technical
report of the University of Münster and made available at the workshop.
Final versions of high-quality papers presented at the
workshop will be collected subsequently for a special issue of the
international journal
Parallel Processing Letters.
Invited Speaker
Paul H.J. Kelly
(Imperial College London, UK)
Programme Committee
Murray Cole (Univ. Edinburgh, UK)
Walter Dosch (Univ. Lübeck, D)
Sergei Gorlatch
(Univ. Münster, D) - Chair
Gaetan Hains (Univ. Orleans, F)
Zhenjiang Hu (Univ. Tokyo, JAP)
Christian Lengauer (Univ. Passau, D) - Liaison with MPC'2004
Susanna Pelagatti (Univ. Pisa, I)
Jan Prins (Univ. North Carolina, USA)
Holger Bischof
(Univ. Münster, D) - Secretary
Dates
Submission deadline: 9 May 2004
Acceptance notice: 3 June 2004
Final version due: 20 June 2004
CMPP Workshop: 14 July 2004
Former CMPP Workshops
CMPP 2002
CMPP 2000
CMPP '98
Paper Submission Papers should be submitted electronically to
hbischof@uni-muenster.de.
Acceptable formats are PostScript or PDF, viewable by gv. Submissions should
not exceed 15 pages. Please use the cmpp.cls style
file for your submission.
|
|
|
