******************************************************************************* * * * CONPAR 94 - VAPP VI * * International Conference on Parallel and Vector Processing * * * * Johannes Kepler University, Linz, Austria * * September 6-8, 1994 * * * * PRELIMINARY PROGRAM * * * ******************************************************************************* Contact Addresses ================= The preliminary program and the registration form can be also received (in plain text or in PostScript) by * anonymous ftp (login name ftp): ftp.risc.uni-linz.ac.at:/pub/conpar94 prometheus.gup.uni-linz.ac.at:/Gopher/conpar94 * gopher: gopher.edvz.uni-linz.ac.at "Informationen der Institue/Abteilungen"/ "Abteilung fuer Graphische und Parallele Datenverarbeitung"/conpar94 * world-wide web (WWW): http://prometheus.gup.uni-linz.ac.at:8001/ * or contact: Siegfried Grabner Dept. of Computer Graphics and Parallel Processing (GUP-Linz) Johannes Kepler University Altenbergerstr. 69 A-4040 Linz, Austria Tel. +43 732 2468 884 Fax. +43 732 2468 10 Program Structure ================= 1. Day 2. Day 3. Day ------ ------ ------ Keynote Address Keynote Address Keynote Address Streams A+B+C Streams A+B+C Streams A+B+C Poster Session Industrial Session Poster Session Conference Reception Panel Discussion Conference Dinner Stream A Stream B Stream C -------- -------- -------- Performance Analysis Parallel Program Parallel Algorithms and Monitoring Development and Complexity Models Parallel Architectures Parallel Languages and Scheduling in and Abstract Machines Compiler Technology Distributed Memory Systems Networks and Routing Invited Speakers ---------------- Kai Hwang (University of Southern California) Ian Foster (Argonne National Laboratory) Monica Lam (Stanford University) Panel Discussion ----------------- Parallel Computation: Past Expectations and Current Predictions - A comparison with CONPAR 1981. Tuesday, September 6 ==================== 7.30 Registration Desk Opens ---------------------------- 8.30-9.00 Opening Address ------------------------- 9.00-10.00 Keynote Address -------------------------- Kai Hwang (University of Southern Calfornia, USA) Scalability and Programmability of Massively Parallel Processors 10.00-10.15 Break ----------------- 10.15-11.45 Parallel Sessions ----------------------------- A: Performance Analysis and Monitoring I ---------------------------------------- Bernd Mohr, Darryl Brown, Allen Malony (University of Oregon, Eugene, Oregon, USA) TAU: A Portable Parallel Program Analysis Environment for pC++ H. Wabnig, G. Haring, D. Kranzlm"uller, J. Volkert (University of Vienna, Austria) Communication Pattern based Performance Prediction on the nCUBE 2 Multiprocessor System A. Ferscha, J. Johnson (University of Vienna, Austria) Performance Oriented Development of SPMD Programs Based on Task Structure Specifications B: Parallel Program Development I --------------------------------- Luc Bouge, Yann Le Guyadec, Gil Utard, Bernard Virot (Ecole Normale Superieure de Lyon, France) On the Expressivity of a Weakest Preconditions Calculus for a Simple Data-Parallel Programming Language Eric Violard, Guy-Rene Perrin (University of Franche-Comte, Besancon, France) Reduction in Pei D. K. Arvind, B. R. J. McConnell (University of Edinburgh, UK) Towards the Synthesis of Asynchronous Concurrent Programs C: Parallel Algorithms and Complexity Models I ---------------------------------------------- M. Amor, M. J. Martin, D. Blanco, O. G. Plata, F. F. Rivera, F. Arguello (Universidad de Santiago, Spain) Vectorization of the Radix r Self-Sorting FFT M. Clint, J. S. Weston, J. B. Flannagan (Queen's University of Belfast, UK) Efficient Gram-Schmidt Orthogonalisation on an Array Processor M. K. Stojcev, E. I. Milovanovic, M. D. Mihajlovic, I. Z. Milovanovic (University of Nis, Serbia) Parallel Algorithm for Inverting Tridiagonal Matrix on Linear Array Processor 11.45-13.15 Lunch ----------------- 13.15-14.15 Poster Session -------------------------- 14.15-14.30 Break ----------------- 14.30-16.00 Parallel Sessions ----------------------------- A: Performance Analysis and Monitoring II ----------------------------------------- Siegfried Grabner, Dieter Kranzlm"uller (Johannes Kepler University, Linz, Austria) Monitoring for Detecting Bugs and Blocking Communication L. J. Levrouw, K. M. R. Audenaert (University of Gent, Belgium) Minimizing the Log Size for Execution Replay of Shared-Memory Programs Wolfgang Kastner, Stefan St"ockler, Rene Zeitlberger (Technical University of Vienna, Austria) GOLD MINE: Specification Language for Event-based Monitoring B: Parallel Program Development II ---------------------------------- A. M. Geerling (University of Nijmegen, The Netherlands) Formal Derivation of SIMD Parallelism from Non-linear Recursive Specifications S. Fizpatrick, T. J. Harmer, J. M. Boyle (Queen's University, Belfast, UK) Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices using Automatic Program Transformation Stephan Kindermann (University of Erlangen-N"urnberg, Germany) Flexible Program and Architecture Specification for Massively Parallel Systems C: Parallel Algorithms and Complexity Models II ----------------------------------------------- Tudor Jebelean (Johannes Kepler University, Linz, Austria) Systolic Algorithms for Long Integer GCD Computation Beniamino Di Martino, Giulio Iannello (Universita "Federico II" di Napoli, Italy) Parallelization of Nonsimultaneous Iterative Methods for Systems of Linear Equations Thomas Rauber, Gudula R"unger (University of the Saarland, Saarbr"ucken, Germany) Hypercube Implementation and Performance Analysis for Extrapolation Models 16.00-16.15 Break ----------------- 16.15-17.45 Parallel Sessions ----------------------------- A: Parallel Architectures and Abstract Machines I ------------------------------------------------- Mateo Valero, Montse Peiron, Eduard Ayguade (Universitat Politecnica de Catalunya, Barcelona, Spain) Memory Access Synchronization in Vector Multiprocessors Mazin S. Yousif, C. R. Das, M. J. Thazhuthaveetil (Louisiana Tech University, Ruston, USA) A Switch Cache Design for Min-Based Shared Memory Multiprocessors R. Kattner, M. Eger, C. M"uller-Schloer (University of Hannover, Germany) Modeling Cache Coherence Overhead with Geometric Objects B: Parallel Program Development III ----------------------------------- S. G. Sedukhin, I. S. Sedukhin (University of Aizu, Japan) Systematic Approach and Software Tool for Systolic Design Lawrence Lau, Mike Rezny, John Belward, Kevin Burrage, Bert Pohl (ETH Zuerich, Switzerland) ADVISE --- Agricultural Development Visualization Interactive Software Environment Ulich Detert, Michael Gerndt (Research Centre J"ulich (KFA), Germany) TOP^2 Tool Suite for the Development and Testing of Parallel Applications C: Parallel Algorithms and Complexity Models III ------------------------------------------------ Wolf Zimmermann, Welf L"owe (University of Karlsruhe, Germany) An Approach to Machine-Independent Parallel Programming Steven Prestwich (ECRC, Munich, Germany) On Logic Program Parallelisation Strategies S. G. Akl, L. Fava Lindon (Queen's University, Kingston, Ontario, Canada) Paradigms Admitting Superunitary Behaviour in Parallel Computation 17.45-19.00 Break ----------------- 19.00 Conference Reception -------------------------- Wednesday, September 7 ====================== 9.00-10.00 Keynote Address -------------------------- Ian Foster (Argonne National Laboratory, Illinois, USA) Integrating Task and Data Parallelism 10.00-10.15 Break ----------------- 10.15-11.45 Parallel Sessions ----------------------------- A: Parallel Architectures and Abstract Machines II -------------------------------------------------- Stefan L"upke (Technical University Hamburg-Harburg, Germany) Accelerated Access to Shared Distributed Arrays on Distributed Memory Systems by Access Objects Rudolf Berrendorf, Michael Gerndt, Zakaria Lahjomri, Thierry Priol (Research Center J"ulich (KFA), Germany) A Comparism of Shared Virtual Memory and Message Passing Programming Techniques Based on a Finite Element Application Renate Dohmen (Max-Planck-Institute for Plasma Physics, Garching, Germany) Comparison between a Message Passing and a Global Shared Memory Parallel Computer by Means of a Concrete Monte-Carlo Algorithm B: Parallel Languages and Compiler Technology I ----------------------------------------------- Nikolay Mirenkov (University of Aizu, Japan) VIM Language Paradigm M. D. Feng, Y. Q. Gao, C. K. Yuen (National University of Singapore, Kent Ridge, Singapore) Linda Tuplespace Implementation on a Distributed System Peter Bailey, Malcolm Newey, David Sitsky, Robin Stanton (Australian National University, Canberra, Australia) Supporting Coarse and Fine Grain Parallelism in an Extension of ML C: Parallel Algorithms and Complexity Models IV ----------------------------------------------- Carla Limongelli, Roberto Pirastu (Johannes Kepler University, Linz, Austria) Exact Solution of Linear Equation Systems over Rational Numbers by Parallel p-adic Arithmetic Hoon Hong, Hans-Wolfgang Loidl (Johannes Kepler University, Linz, Austria) Parallel Computation of Modular Multivariate Polynomial Resultants on Shared Memory Machine Yoshio Tanaka, Shogo Matsui, Atsushi Maeda, Masakazu Nakanishi (Keio University, Japan) Partial Marking GC 11.45-13.15 Lunch ----------------- 13.15-15.15 Parallel Sessions ----------------------------- A: Parallel Architectures and Abstract Machines III --------------------------------------------------- R. Milikowski, W. G. Vree (University of Amsterdam, The Netherlands) Non-homogeneous Parallel Memory Operations in a VLIW Machine T. B"ulck, A. Held, W. Kluge, S. Pantke, C. Rathsack, S.-B. Scholz, R. Schr"oder (Christian-Albrechts University, Kiel, Germany) Experience with the Implementation of a Concurrent Graph Reduction System on an nCube/2 Platform Patrick Lincoln, Jose Meseguer, Livio Ricciulli (SRI International, Menlo Park, California, USA) The Rewrite Rule Machine Node Architecture and its Performance Kevin Hammond, Jim Mattson (University of Glasgow, UK) Automatic Spark Strategies and Granularity Control for a Parallel Functional Language Reducer B: Parallel Languages and Compiler Technology II ------------------------------------------------ C. Calvin, L. Colombet, P. Michallon, D. Trystram, F. Desprez, B. Tourancheau, B. Jargot (LMC-IMAG, Grenoble, France) Towards Mixed Computation / Communication in Parallel Scientific Libraries Ross A. Bagley, Philip A. Wilsey, Nael B. Abu-Ghazaleh (University of Cincinnati, Ohio, USA) Composing Functional Unit Blocks for Efficient Interpretation of MIMD Code Sequences on SIMD Processors Josep Llosa, Mateo Valero, Jose Fortes, Eduard Ayguade (Universitat Politecnica de Catalunya, Barcelona, Spain) Using Sacks to Organize Registers in VLIW Machines R. Govindarajan, Erik R. Altman, Guang R. Gao (McGill University, Montreal, Canada) A Framework for Rate-Optimal Resource-Constrained Software Pipelining C: Parallel Algorithms and Complexity Models V ---------------------------------------------- Stavros D. Nikolopoulos (University of Cyprus, Nicosia, Cyprus) Parallel Recognition and Location Algorithms for Chordal Graphs using Distance Matrices Michele Dion, Marc Gengler, Stephane Ubeda (Ecole Normale Superieure, Lyon, France) Comparing two Probabilistic Models of the Computational Complexity of the Branch and Bound Algorithm Jingsen Chen (Lulea University, Sweden) Parallel Heap Construction Using Multiple Selection 15.15-15.30 Break ----------------- 15.30-17.00 Industrial Session ------------------------------ 17.00-17.15 Break ----------------- 17.15-18.45 Panel Discussion ---------------------------- 18.45-20.00 Break ----------------- 20.00 Conference Dinner ----------------------- Thursday, September 8 ===================== 9.00-10.00 Keynote Address -------------------------- Monica Lam (University of Stanford, California, USA) A Compiler for Distributed Memory Machines 10.00-10.15 Break ----------------- 10.15-11.45 Parallel Sessions ----------------------------- A: Parallel Architectures and Abstract Machines IV -------------------------------------------------- Wolfgang Schreiner (Johannes Kepler University, Linz, Austria) Virtual Tasks for the PACLIB Kernel Jean-Yves Le Gall, Francois Simon (Alcatel Alsthom Recherche, Marcoussis, France) MUSE: a Message Passing Concurrent Computer for On-Board Space Systems R. S. Hogg, D. W. Lloyd, W. I. Hughes (Sheffield Hallam University, England) Self-Timed Communication Strategies for Massively Parallel Architectures B: Parallel Languages and Compiler Technology III ------------------------------------------------- Jean-Yves Berthou (Universite de Versailles - St Quentin, France) Design of a Meta-Parallelizer for Large Scientific Applications Barbara Chapman, Piyush Mehrotra, John Van Rosendale, Hans Zima (University of Vienna, Austria) A Software Architecture for Multidisciplinary Applications: Integrating Task and Data Parallelism Martin Griebl, Christian Lengauer (University of Passau, Germany) On Scanning Space-time Mapped WHILE Loops C: Parallel Algorithms and Complexity Models VI ----------------------------------------------- Ian Gorton, Toong Shoon Chan, Innes Jelly (University of New South Wales, Kensington, Australia) Engineering High Quality Parallel Software Using PARSE Alfred Spalt, Edith Spiegl, Thomas Meikl (Johannes Kepler University, Linz, Austria) Massively Parallel Volume Rendering W. St"urzlinger, C. Wild (Johannes Kepler University, Linz, Austria) Parallel Visibility Computations for Parallel Radiosity 11.45-13.15 Lunch ----------------- 13.15-14.15 Poster Session -------------------------- 14.15-14.30 Break ----------------- 14.30-16.00 Parallel Sessions ----------------------------- A: Networks and Routing I ------------------------- Sabine R. "Ohring, Dirk H. Hohndel, Sajal K. Das (University of W"urzburg, Germany) Fault Tolerant Communication Algorithms on the Folded Petersen Networks based on Arc-Disjoint Spanning Trees Roman Trobec, Izidor Jerebic (University of Ljubljana, Slovenia) Optimization of Diagnostic Examination G. Chen, F. C. M. Lau (University of Hong Kong) Laying Out Midimew Networks with Constant Dilation B: Parallel Languages and Compiler Technology IV ------------------------------------------------ Mourad Raji Werth, Paul Feautrier (University of Versailles, France) Optimizing Communications for Compiler Parallelized Programs Rumen Andonov, Sanjay Rajopadhye (IRISA, Campus de Beaulieu, Rennes, France) Optimal Tiling Vincent Bouchitte, Pierre Boulet, Alain Darte, Yves Robert (Ecole Normale Superieure de Lyon, France) Evaluating Array Expressions on Massively Parallel Machines with Communication/Computation Overlap C: Scheduling in Distributed Memory Systems I --------------------------------------------- Ismail Haritaoglu, Cevdet Aykanat (Bilkent University, Ankara, Turkey) An Efficient Mapping Heuristic for Mesh-Connected Parallel Architectures Based on Mean Field Annealing Markus Schwehm, Thomas Walter (University of Erlangen-N"urnberg, Germany) Mapping and Scheduling by Genetic Algorithms J"urgen W. Meier (Technical University Hamburg-Harburg, Germany) Self-Organizing Processes 16.00-16.15 Break ----------------- 16.15-17.45 Parallel Sessions ----------------------------- A: Networks and Routing II -------------------------- Pierre Fraigniaud, Cyril Gavoille (Ecole Normale Superieure de Lyon, France) Optimal Interval Routing A. Ferreira, A. Goldman vel Lejbman, S. Song (Ecole Normale Superieure de Lyon, France) Broadcasting in Bus Interconnection Networks D. Deserable (INSA, Rennes, France) Broadcasting in the Arrowhead Torus B: Parallel Languages and Compiler Technology V ----------------------------------------------- S. P. Johnson, M. Cross, P. F. Leggett (University of Greenwich, UK) User Interaction and Symbolic Extensions to Dependence Analysis Vadim Maslov, William Pugh (University of Maryland, College Park, Maryland, USA) Simplifying Polynomial Constraints Over Integers to Make Dependence Analysis More Precise Kleanthis Psarris, Santosh Pande (Ohio University, Athens, Ohio, USA) A Comparison of the Data Dependence Analysis Techniques C: Scheduling in Distributed Memory Systems II ---------------------------------------------- Thierry Le Sergent, Bernard Berthomieu (University of Edinburgh, UK) Balancing Load under Large and Fast Load Changes in Distributed Computing Systems --- A Case Study A. Elleuch, R. Kanawati, T. Muntean, E.-G. Talbi (IMAG, University of Grenoble, France) Dynamic Load Balancing Mechanisms for a Parallel Operating System Kernel J. L. Roch, A. Vermeerbergen, G. Villard (IMAG, University of Grenoble, France) A New Load-Prediction Scheme Based on Algorithmic Cost Functions 17.45 Conference Ends --------------------- ************************************************** * * * CONPAR 94 - VAPP VI * * * * Johannes Kepler University Linz, Austria * * September 6-8, 1994 * * * * REGISTRATION Form * * HOTEL Arrangement * * ADDITIONAL INFOS * * * ************************************************** This CONPAR announcement is divided into 3 different sections: 1. Registration form: this form is to register for the CONPAR 94 - VAPP VI conference. Please cut it out and send it by email to: conpar94@gup.uni-linz.ac.at ^^^ or by normal mail (or fax) to: GUP Linz, Institute of Computer Science c/o Siegfried Grabner Johannes Kepler University Linz Altenbergerstr. 69 A-4040 Linz, Austria/Europe Fax: +43 732 2468 10 2. Hotel Arrangement form: please cut out this part and send it by normal mail to the "Linzer Kongressbuero" Fremdenverkehrszentrale Linz c/o Fr. Manuela Schallauer Urfahrmarkt 1 Postfach 117 A-4040 Linz / Europe or send a fax to +43 732 700494 c/o Fr. Manuela Schallauer subject: CONPAR 94 - VAPP VI / accommodation 3. Additional Information: infos about cultural events (the highlight of the year in Linz will be the "Brucknerfest") are given. If you would like to participate in the "Brucknerfest" please send a fax or write by normal mail to the "Kongressbuero". They will manage ticket reservations for you. One more hint: If you want to get tickets for this event and need accomodations therefore, please contact the "Kongressbuero" as soon as possible. If you are interested in other ongoing events in Linz or its surroundings, please contact the "Kongressbuero", too. The preliminary program of this conference can be received (from May 15) by ftp: ftp.risc.uni-linz.ac.at:/pub/conpar94 prometheus.gup.uni-linz.ac.at:/Gopher/conpar94 (log in as ftp) gopher: gopher.edvz.uni-linz.ac.at submenu: "Informationen der Institue/Abteilungen"/ "Abteilung fuer Graphische und Parallele Datenverarbeitung"/conpar94 mosaic: http://prometheus.gup.uni-linz.ac.at:8001/ or contact: Siegfried Grabner (email: conpar94@gup.uni-linz.ac.at) GUP Linz, Institute of Computer Science Johannes Kepler University Linz Altenbergerstr. 69 A-4040 Linz, Austria/Europe or Wolfgang Schreiner (email: conpar94@risc.uni-linz.ac.at) RISC Linz, Johannes Kepler University Linz Altenbergerstr. 69 A-4040 Linz, Austria/Europe If you have additional questions concerning the conference or general questions (e.g. about Linz, etc.) do not hesitate to contact one of the organizers above. We hope that we can welcome you at the CONPAR 94 - VAPP VI conference in Linz. =============================== cut here ====================================== REGISTRATION FORM for CONPAR 94 - VAPP VI Name: _____________________ First Name: _________________ Middle Initials: ___ Title: ____________________ Affiliation: _____________________________________________ Address: _____________________________________________ City, State: _____________________________ Telephone: _____________________________ e-mail: _____________________________ Registration fees ================= all fees are given in Austrian Schillings (AS) before August 1, 1994 after August 1, 1994 o Regular Participants 4300 AS 5100 AS o Members of: ACPC, PARS, 3600 AS 4300 AS IFSR, IFIP, OCG, OeGI o Students 1000 AS 1200 AS (proceedings and banquet not included) PAYMENT ======= o By cheque payable to "Institut fuer Informatik - CONPAR94" No. 07506903275, Allgemeine Sparkasse Oberoesterreich, Altenbergerstr. 69, A-4040 Linz, BLZ 20320 (net of all bank charges). o By bank transfer to the account "Institut fuer Informatik - CONPAR94" No. 07506903275, Allgemeine Sparkasse Oberoesterreich, Altenbergerstr. 69, A-4040 Linz, BLZ 20320 (net of all bank charges). o By credit card (Mastercard/Eurocard, Visa and American Express are accepted). o Mastercard/Eurocard o Visa o American Express Card #: ____________________________________________________ Expiration Date: _________ Signature: _________________________________________________ (if sent by normal mail or fax) ************************************************************************* No refunds can be made after August 1, 1994. All reservations can only be confirmed after receipt of the total amount. ************************************************************************* ================================ cut here ============================== HOTEL ARRANGEMENT FORM Convention: CONPAR 94 - VAPP VI Last date of registration (if possible): August 1, 1994 -------------------------------------------------------------------------- Name: ................................................ First name: ................................................ -------------------------------------------------------------------------- Address: ................................................................ ................................................................ Fax : ........................................ -------------------------------------------------------------------------- 1. I reserve as follows from ................... to ................... (date of arrival) (date of departure) ... single room(s) with shower/toilet ... double room(s) with shower/toilet o category I (single room AS 1190.- to 1600.-; double room AS 1460.- to 1900.-) o category II (single room AS 700.- to 1190.-; double room AS 1000.- to 1460.-) o category III (single room AS 290.- to 700.-; double room AS 380.- to 1000.-) 2. I arrive at ........ a.m./p.m. by o plane o train o car -------------------------------------------------------------------------- Special requests ================ -------------------------------------------------------------------------- Bookings are handled in the order received. In case of late registration required accommodation cannot be guaranteed. If the requested category of rooms is fully booked, rooms will be reserved in the next higher category. Therefore earliest registration is recommended. We have to inform you that if cancellations have not been made 48 hours before arrival at the latest, the room has to be paid. Prices are given in Austrian Schillings per room and night including breakfast. ......................................... Date, Signature ============================= cut here ======================================== ADDITIONAL INFORMATION: Beginning on September 10, 1994 (2 days after the conference) the well-known "International Brucknerfest" will start and will last until October 2, 1994. I will give here a short overview of the first week, more detailed information can be received from the "Kongressbuero Linz" Fremdenverkehrszentrale Linz c/o Fr. Manuela Schallauer Urfahrmarkt 1 Postfach 117 A-4040 Linz / Europe or by fax +43 732 700494 c/o Fr. Manuela Schallauer subject: CONPAR 94 - VAPP VI / Brucknerfest ------- Reservations for this cultural event have to be made as soon as possible. Calendar: -------- Saturday 10, 1994 "Tag der offenen Tuer" (free entrance) in the Brucknerhaus Sunday 11, 1994 10.30 Opening of the Intl. Brucknerfest '94 20.00 LINZER KLANGWOLKE (classic open air) "Wiener Philharmoniker", director: Ricardo Muti Wednesday 14, 1994 20.00 Hagen Quartett; Paul Gulda, keyboards Friday 16, 1994 20.00 Philharmonica Orchestra London, director: Giuseppe Sinopoli Saturday 17, 1994 20.00 Philharmonica Orchestra London, director: Giuseppe Sinopoli --------------------------------------------------------------------------- As a postconference program trips (e.g. to the famous Wachau, one of the best wineyard sites in Austria) or tickets for other cultural events can be organized (also by the "Kongressbuero", address see above) if enough people will partici- pate. This postconference program will be announced at the conference and can be orga- nized right at the conference within two or three days.