[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Final call for participation Parallel Programming and Java conference 13-16 April '97

>>>>>> FINAL CALL >>>>>> FINAL CALL >>>>>> FINAL CALL >>>>>>

For your convenience print this text with 'New Courier 10' font.

             |                                          |
             |           13-16, April, 1997             |
             |                                          |
             |  University of Twente, the Netherlands   |

>>>>>> FINAL CALL >>>>>> FINAL CALL >>>>>> FINAL CALL >>>>>>


This conference is aimed at persons that use object based programming
languages (such as Java or occam) to design multi-threaded applications.
These applications range from simple Java applets through to
internet/intranet client-server systems, embedded systems and general
parallel and distributed multiprocessing.

With its tutorial programme, the conference is also aimed at everyone
responsible for teaching in the above areas.  With the growing number
of Universities switching to Java as their prime language for imperative
programming, this meeting is especially timely.

TUTORIAL PROGRAMME (Sunday, 13th. April, 1997):

The three tutorials run consecutively, starting at 10:00 and aiming to
finish around 17:00.


Title: Java Threads in the light of occam/CSP
Presenter: Professor Peter Welch, University of Kent

Abstract:  Java provides support for parallel computing through a model that
is built into the language itself.  However, the designers of Java chose to
be fairly conservative and settled for the concepts of threads and monitors.
Monitors were developed by Tony Hoare in the early 1970s as a structured way
of using semaphores to control access to shared resources.  Hoare moved away
from this, in the late 1970s, to develop the theory of Communicating
Sequential Processes (CSP).  One reason for this was that the semantics of
monitors and threads are not WYSIWIG, so that designing robust parallel
algorithms at this level is seriously hard.  This tutorial will look at how
this impacts on threaded applications written in Java.

Fortunately, it is possible to introduce the CSP model into Java
through sets of classes implemented on top of its monitor support.
By restricting interaction between active Java objects to CSP
synchronisation primitives, Java thread semantics become compositional and
systems with arbitrary levels of complexity become possible. Multi-threaded
Web applets and distributed applications become simpler to design and
implement, race hazards never occur, difficulties such as starvation,
deadlock and livelock are easier to confront and overcome; and performance
is no worse than that obtained from directly using the raw monitor primitives.

The advantages of teaching parallelism in Java purely through the CSP
class libraries will be discussed.  (These libraries were developed
jointly at Kent and Oxford Universities in the U.K. and the University of
Twente in the Netherlands.)


Title: Communicating Java Threads -- the Reference Manual
Presenter: Ir. Gerald H. Hilderink, University of Twente

Abstract: this manual describes the use of channels and composition
constructs for communicating threads in the programming language Java. We
assume the reader of this manual is an experienced Java programmer. The code
of which the interface is described in this manual is entirely written in
Java.  We see Java as a clear programming language so that the channel and
composition constructs, as described in this reference manual, can be ported
to other object-oriented languages, such as C++ or Smalltalk.

Channels are very close to the scheduler, in fact they may be part of
the scheduler.  Using channels allows scheduling on communication within the
program and without any explicit command from the programmer. Scheduling
based on communication results in a very fast non-preemptive scheduling
algorithm that is faster than pre-emptive scheduling to ensure fair
scheduling.  The program will get better real-time characteristics and the
scheduler of the Java Virtual Machine can be tuned for better performance
for embedded systems.

Composition constructs provide a more easy way to build robust and
better-structured concurrent programs.  In chapter 2 the channel
interface is described and in chapter 4 the use of the channel is
described by three composition (communication) constructs: (1) the
sequential communication construct, (2) the parallel communication
construct, and (3) the alternative communication constructs.  Chapter 5
describes several examples in terms of building blocks that illustrate the
use of channels and composition constructs and by which simple concurrent
programs can be built.


Title: How to Design Deadlock-Free Networks Using CSP and Verification Tools
Presenter: Dr. Jeremy M. R. Martin and Sabeh A. Jassim, Universities of
Oxford and Buckingham

Abstract: the CSP language of C.A.R. Hoare originated as a blackboard
mathematical notation for specifying and reasoning about parallel and
distributed systems.  More recently sophisticated tools have emerged
which provide automated verification of CSP-specified systems.  This has led
to a tightening and standardisation of syntax.  This paper outlines the
syntax and semantics of CSP as it is now used and then describes how to
design CSP networks, which are guaranteed to be free of deadlock, through a
succession of increasingly complex worked examples, making use of the
verification tool Deadlock Checker.

ACCEPTED PAPERS (Monday-Wednesday, 14-16th. April, 1997):

Title: Higher-Order Concurrency in Java
Author: Erik D. Demaine 
University of Waterloo (Canada)

Title: Communicating Java Threads 
Authors: Gerald Hilderink, Jan Broenink, Wiek Vervoort and Andre Bakkers
Institution: University of Twente, (Netherlands)

Title: Scriptic: Parallel Programming in Extended Java
Author: Andre van Delft
Institution: Delftware Technology BV, (Netherlands)

Title: The Design of JET: A Java Library for Embarrassing Parallel
Authors: Luis M. Silva, Hernani Pedroso and Joao Gabriel Silva 
Institution: Universidade de Coimbra (Portugal)

Title: A Tool for Proving Deadlock Freedom
Authors: J.M.R. Martin and S.A. Jassim
Institution: University of Oxford (UK)
	     University of Buckingham (UK)

Title: Higher Levels of Process Synchronisation
Authors: Peter H. Welch and David C. Wood
Institution: University of Kent (UK)

Title: Dynamic Process Interaction 
Authors: Lajos Schrettner and Innes Jelly
Institution: Jozsef Attila University (Hungary)
	     Sheffield Hallam University (UK)

Title: Expanding the Message Passing Library Model with Nested Parallelism 
Authors: C. Rodriguez, F. Sande, C. Leon and F. Garcia
Institution: Universidad de La Laguna (Tenerife, Spain)

Title: Fine-grained global control constructs for parallel programming
Author: Marek Tudruj 
Institution: Institute of Computer Science, Polish Academy of Sciences,

Title: The Macrame 1024 Node Switching Network
Authors: S. Haas, D.A. Thornley, M. Zhu, R.W. Dobinson and B. Martin 
Institution: CERN (Switzerland)

Title: Data-Strobe Links and Virtual Channel Processors 
Author: Barry M. COOK 
Institution: Keele University (UK)

Title: Reconfigurable Computing
Author: Roger Gook 
Institution: Embedded Solutions Ltd. (UK)

Title: Beyond transputing: fully distributed semantics in Virtuoso's
       Virtual Single Processor programming model.
Author: Eric Verhulst.
Institution: Eonic Systems Inc. (Belgium)

Title: WEAVE - A System for Dynamic Configuration of Virtual Links 
Authors: S.R.Harrison and C.R.Brown 
Institution: University of Sheffield (UK)

Title: A Multiprocessor occam Development System for UNIX Network Clusters
Authors: D.G. Patrick, P.R. Green and T. A. York 
Institution: University of Manchester Institute of Science and Technology (UK)

Title: occam for Multi-Processor DEC Alphas 
Authors: Peter H. Welch and Michael D. Poole
Institution: University of Kent (UK)

Title: Compile-Time Schemes for Mapping Loop Parallelism 
Author: Rizos Sakellariou 
Institution: University of Manchester (UK)

Title: Prefetch Data Management for Parallel Particle Tracing 
Authors: Jonathan Tidmus Roger Miles Alan Chalmers 
Institution: University of the West of England (UK)
	     University of Bristol (UK)

Title: A tool for optimisation of program execution in dynamic topology
Author: Tomasz Kalinowski 
Institution: Institute of Computer Science, Polish Academy of Sciences,

Title: An Open Systems Strategy for Distributed occam Execution
Authors: Paul Singleton an Barry M. Cook
Institution: Keele University (UK)


Further details on the conference, including abstracts of all the accepted
papers plus the full conference programme (including meetings of SIGs, the
Industrial Session and Panel Session) can be found at:



Please register me for WoTUG20.

Name:                 _____________________________

Institution/Company:  _____________________________

Address:              _____________________________
City, State:          _____________________________

Postal code:          _____________________________

Country:              _____________________________

Telephone:            _____________________________

Fax:                  _____________________________

E-mail:               _____________________________

Do you need parking permit?     _____________________

Please register me for the tutorial programme on Sunday including meals at
now extra costs YES / NO

Prices                                  DFl.    BP      US$     DM
Conference fee  Sunday - Wednesday     495.00  163.20  266.60  440.80
(Includes tutorials, proceedings and all meals)
single room (4*) Dish Hotel per night  125.00   41.20   67.35  111.30
double room (4*) Dish Hotel per night  140.00   46.15   75.40  124.70

Please mark the accommodation of your preference: _________________
Room assignments will be made in booking order.

Indicate here for which nights you booking should be:

		Sat/Sun   Sun/Mon   Mon/Tue   Tue/Wed

	Payment method  M/C  VISA  AMX  account 	nr.:______________________Exp:____


Please check here if you prefer a bank transfer: _________________

Signature: _____________________________________

Please fax this reservation form to: Congress Association Twente at:

                       +31-53-489 4442

And Email it to:  S.M.Kleisen@xxxxxxxxxxxxxxxxx
    with a   Cc:  wotug20@xxxxxxxxxxxxxxxx

WoTUG is providing a limited number of student discounts.  Please see the
Web page for the conference (http://www.rt.el.utwente.nl/wotug20/)

For your convenience, please fill in one column of the following form:

      SUMMARY   :  #nights : DFl      BP       US$      DM
      Room rate            : ___.__   ___.__   ___.__   ___.__
      Room total =  
      Room rate * #nights  : ___.__   ___.__   ___.__   ___.__
      Registration fee     : 495.00   163.20   266.60   440.80
      SUB-TOTAL            : ___.__   ___.__   ___.__   ___.__
      Student discount  
      from WoTUG           : 270.00-  89.00-   145.50-  240.50-
      GRAND TOTAL          : ___.__   ___.__   ___.__   ___.__


This conference is organised by the World occam and Transputer User Group
(WoTUG).  WoTUG is a world-wide network of scientists, engineers and
educationalists working on the theory and practice of parallel and
distributed computing.  This network has been in operation since 1984 and
has hosted some 50 conferences world-wide.  This conference is also titled
WoTUG-20 (it is the 20th. Technical Conference hosted by the European
branch).  All accepted papers have been reviewed by the full WoTUG
Committee, who are full-time academics at European Universities. The full
list of names can be found from the conference web page (above).

Prof.ir. Andre Bakkers
University of Twente
Open University