++++++++++++++++++++++++++++++++++++++++++++++
            +        Computer Science Seminar            +
            ++++++++++++++++++++++++++++++++++++++++++++++

0. Calendar Manager Info:

        Date:   22 Oct 1996
        Start:  1600
        End:    1700
        What:   ANU Comp. Sci. Seminar - Dr Barry Jay
		Exploiting Shape in Parallel Programming
                
1. Speaker: Dr C Barry Jay
            Head, Algorithms and Languages Group
            School of Computing Sciences
	    University of Technology, Sydney

2. Time:     4:00pm - 5:00 pm, 22nd October 1996 (Tuesday)

3. Place:    Room N101 in the Department of Computer Science
             Ground Floor, CSIT Building, ANU

4. Title: Exploiting Shape in Parallel Programming


5. Target Audience: honours students and above

6. Abstract: 

Shape theory supports abstraction of data structures independently of
the data that is stored within them. For example, one may talk of a
shape that stores real numbers, without knowing whether the shape is a
tree or an array. Shape information is one of the keys to successful
parallel programming, as it supports error detection, efficient data
distribution and redistribution, and load balancing.

This talk will introduce our higher-order functional language Vec for
vectors and arrays, and show how shape analysis yields these desired
benefits, including a new divide-and-conquer algorithm.

If there is time, I will discuss our plans for extending Vec to
support imperative features, so that we can embed native code from
other languages.

7. Biography

Barry Jay is currently a senior lecturer in the School of Computing
Sciences at the University of Technology, Sydney, and Head of its
Algorithms and Languages Group which is exploring various applications
of shape in computing.

Dr Jay holds the degrees of BSc (Hons.), in Pure Mathematics from the
University of Sydney (1980), and PhD in Mathematics from McGill
University, Montreal (1984). Since then, he has had post-doctoral and
teaching positions at the University of Sydney, Dalhousie University,
University of Ottawa, and University of Edinburgh in Computer Science
before arriving at UTS in 1993.

8. Contact:
	For more information contact Dr Jay via cbj[at]socs.uts.edu.au .


-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
You have a seminar to announce? Send mail to seminars-owner[at]cs.anu.edu.au
                     Please follow the above format.
 Seminar announcements appear at http://cs.anu.edu.au/lib/seminars/seminars96/
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=