SAC '96 Programming Languages Track: Final Program

                                                              ADVANCE PROGRAM


                          #####################################################
                          1996 ACM SYMPOSIUM ON APPLIED COMPUTING (ACM SAC '96)
                                    ++SPECIAL TRACK ON PROGRAMMING LANGUAGES++


                                                          February 18-20, 1996
                            Marriot Hotel, Philadelphia, Pennsylvania, U. S. A.
                          #####################################################




SAC '96
=======


Over the past ten years, the ACM Symposium on Applied Computing has
become a primary forum for applied computer scientists and application
developers from around the world to interact and present their work.
SAC '96 is sponsored by the ACM Special Interest Groups SIGAda,
SIGAPP, SIGBIO, SIGCUE, and SIGICE. Authors are invited to contribute
original papers in all areas of experimental computing and application
development for the technical sessions.


SAC '96 CONFERENCE OFFICIALS
============================


Symposium Chair
---------------


Jim Hightower
Department of Management Science and Information Systems
California State University-Fullerton
Fullerton, CA 92634-9480, U. S. A.
E-mail: hightower@acm.org
Tel: +1 714 773 2221, FAX: +1 714 449 5940


General Program Chair
---------------------


K. M. George
Department of Computer Science, MS 218
Oklahoma State University
Stillwater, OK 74078, U. S. A.
E-mail: kmg@a.cs.okstate.edu
Tel: +1 405 744 5221, FAX: +1 405 744 9097


Track Program Chairs
--------------------


Barrett R. Bryant
Department of Computer and Information Sciences
The University of Alabama at Birmingham
1300 University Blvd.
Birmingham, AL 35294-1170, U. S. A.
E-mail: bryant@cis.uab.edu
Tel: +1 205 934 2213, FAX: +1 205 934 5473


Hisham Al-Haddad
Department of Computer Science
Marshall University
Huntingdon, WV 25755, U. S. A.
E-mail: alhaddad@marshall.edu
Tel: +1 304 696 2697, FAX: +1 304 696 4646


PROGRAMMING LANGUAGES TRACK
===========================


A special track on programming languages will be held at SAC '96. It
will be a forum for engineers, researchers and practitioners
throughout the world to share technical ideas and experiences relating
to implementation and application of programming languages.


TENTATIVE SCHEDULE
=================


Tutorial - Sunday, February 18, 1996


                              PROGRAMMING LANGUAGES FOR PARALLEL PROCESSING
                                              Boleslaw K. Szymanski
                                    Department of Computer Science
                      Rensselaer Polytechnic Institute, Troy, NY 12180-3590


SUMMARY


This tutorial will discuss the foundations of parallel processing and
languages used in parallel programming. First, we will briefly
introduce the basic concepts of parallel processing and overview
challenges and opportunities that they create. Next, we will review
parallel programming languages, starting with C and its parallel
dialects and then moving to object oriented languages such as C++ and
modern versions of Fortran (F90, HPF). Finally, we will outline
coordination languages (LINDA) and message passing libraries (e.g.,
PVM, MPI) as well as functional (SISAL) and data flow
languages. Examples discussed at tutorial will be drawn from numerical
computations (dense and sparse matrix algorithm, plasma simulation)
and some non-numerical algorithms (parallel sorting, graph
algorithms).


The intended audience include researchers and computer scientists with
limited exposure to parallel processing who would like to learn about
the current trends of parallel programming and future of parallel
languages. The level of tutorial is moderate (good knowledge of
programming languages is required, some understanding of parallel
application is helpful but not necessary).


OUTLINE


1. Foundations of Parallel Computing:
      1.1. classification of parallel architectures: Flynn's and other
                taxonomies,
      1.2. approaches to parallel programming: data parallelism, Single Program
                Multiple Data versus functional parallelism,
      1.3. challenges and opportunities of parallel programming,
      1.4. models of parallel processing: PRAM (ideal shared memory machine),
                networks, Bulk Asynchronous Model,
      1.5. classification of parallel languages,
      1.6. complexity and efficiency of parallel computation: Amdahl Law,
                Gustafson-Barsis Law, cost efficiency.
2. Parallel Programming with C and its dialects: C*, DYNIX C and C with
      message passing.
3. New Paradigms of Parallel Programming - Object Oriented and Functional
      Languages:
      3.1. C++ as a parallel programming language, plasma simulation - from
                Fortran to C++, advantages and costs,
      3.2. object oriented elements in new Fortran extensions, HPF plasma codes,
                challenges in compilation.
      3.3. functional and data flow programming.
4. Synchronization and Coordination -- Linda, PVM and MPI.
5. Conclusions.


ABOUT THE AUTHOR


Dr. Boleslaw K. Szymanski is a Professor of Computer Science and a
member and cofounder of Scientific Computing Research Center at
Rensselaer Polytechnic Institute, Troy, NY. Since joining Rensselaer
in 1985, he has been engaged in a multidisciplinary research that
focus on large scale parallel scientific computation. In the past he
was also affiliated with University of Pennsylvania and Aberdeen
University in UK. He held several technical and managerial positions
with Computer Control and Command Company in Philadelphia which he
co-founded in 1983. Dr. Szymanski also consults extensively for
computer industry and international organizations.


Dr. Szymanski has been ACM National Lecturer, a senior member of IEEE
and co-organizer of several professional conferences. He was an editor
of two research book on parallel programming languages published by
ACM Press in 1991 and Kluwer in 1995. He has contributed chapters to
eight books and authored more than 100 research papers in journals and
conference proceedings. His paper on object oriented plasma simulation
will appear in October issue of Communications of the
ACM. Dr. Szymanski received his Ph.D. in Computer Science from the
National Academy of Science in Warsaw, Poland in 1976.


Szymanski's research interests concentrate on language and compiler
issues in large scale computing systems. He has active research
programs underway on: design and optimization of compilers for
parallel processing; analysis, design and verification of distributed
and parallel algorithms; and simulation and modeling of ecological
systems.


Paper Sessions - Monday, February 19, 1996


Session 1 - Logic Programming
-----------------------------


Verifiable Partial Specifications for Logic Programming
Colin A. Gurr, University of Edinburgh (UK)


Segment Preserving Copying Garbage Collection for WAM based Prolog
Bart Demoen and Geert Engels, Katholieke Universiteit Leuven (BELGIUM)
Paul Tarau, Universite' de Moncton (CANADA)


Incremental Querying in the Concurrent CLP Language IFD-Constraint Pandora
J. H. M. Lee and H. F. Leung, Chinese University of Hong Kong (HONG KONG)


Chronolog(MC): Clocked Temporal Logic Programming
Chuchang Liu and Mehmet A. Orgun, Macquarie University (AUSTRALIA)
New title: Executing Specifications of Distributed Computations
                      with Chronolog(MC)


Session 2 - Functional Programming
--------------------------------


SNACC: A Parser Generator for Use with Miranda
David A. Turner, University of Kent at Canterbury (UK)


Bootstrapping Higher-Order Program Transformers from Interpreters
Michael Sperber and Peter Thiemann, Universita"t Tu"bingen (GERMANY)
Robert Glu"ck, University of Copenhagen (DENMARK)


Specification of a Functional Synchronous Dataflow Language for
Parallel Implementations with the Denotational Semantics
Guilhem de Wailly and Fernand Boe'ri, Universite' de Nice (FRANCE)


Session 3 - Implementation Techniques
-------------------------------------


A Simple Enabling Optimization for C++ Virtual Functions
Bradley M. Kuhn and David W. Binkley, Loyola College (USA)


A Persistent Runtime System using Persistent Data Structures
Zhiqing Liu, AT&T Bell Laboratories (USA)


OFFERS - A Tool for Implicit Parallel Analysis of Sequential
Object-Oriented Programs
Rajeev R. Raje, Indiana University/Purdue University-Indianapolis (USA)
Daniel J. Pease, Syracuse University (USA)
Edward T. Guy, III, Popkin Software and Systems, Inc. (USA)


REGISTRATION
============


ACM Computing Week '96
Registration Form


First Name ___________________________________ M.I.______
Last Name _________________________________________
Name or Nickname (for Badge) ____________________________
Company or School _______________________________________
Address ________________________________________________
                  ________________________________________________
City _______________________State _______________________
Zip ____________________ Country ____________________
Daytime Phone Number ______________________
Home Phone Number______________________
Fax _____________________
EMail Address ________________________________________
Member#_______________________________________
[ ] Check here if you do not want your name included on attendee lists
          made available to outside organizations.
[ ] Special services required____________________________
        _____________________________________________________




  --------------------------------------+------------+------------+-------
  Type of Registration | Member | Nonmember | Amount
  Cut-off for early registration: | | | Due
  1/15/96 | Early Late | Early Late |
  --------------------------------------+ ----- ---- | ----- ---- + ------
  Computers & the Quality of Life (CQL) | $145 $165 | $195 $215 |
  --------------------------------------+------------+------------+-------
  Computer Science Conference (CSC) | $195 $275 | $295 $375 |
  --------------------------------------+------------+------------+-------
  One-Day Only | $ 95 $150 | $200 $280 |
  --------------------------------------+------------+------------+-------
  SIGCSE Technical Symposium (SIGCSE) | $105 $120 | $155 $170 |
  --------------------------------------+------------+------------+-------
  Symposium on Applied Computing (SAC) | $195 $220 | $250 $275 |
  --------------------------------------+------------+------------+-------
  CQL and SAC | $310 $355 | $415 $460 |
  --------------------------------------+------------+------------+-------
  CQL and CSC | $310 $410 | $460 $560 |
  --------------------------------------+------------+------------+-------
  CQL and SIGCSE | $220 $255 | $320 $355 |
  --------------------------------------+------------+------------+-------
  SAC and CSC | $360 $465 | $515 $620 |
  --------------------------------------+------------+------------+-------
  SAC and SIGCSE | $270 $310 | $375 $415 |
  --------------------------------------+------------+------------+-------
  CSC and SIGCSE | $270 $365 | $420 $515 |
  --------------------------------------+------------+------------+-------
  Computing Week (Joint CQL, SAC, CSC, | | |
  SIGCSE) | $580 $720 | $835 $975 |
  --------------------------------------+------------+------------+-------
  For any other combinations add fees for each of the selected |
  conferences, and then deduct $15 off the full price for each |
  --------------------------------------+------------+------------+-------
  Tutorials and Workshops |
  --------------------------------------+------------+------------+-------
  CSC |
  --------------------------------------+------------+------------+-------
  Full Day 1 2 3 | $240 $270 | $270 $300 |
  --------------------------------------+------------+------------+-------
  Half Day 4 5 6 | $155 $185 | $185 $215 |
  --------------------------------------+------------+------------+-------
  SAC |
  --------------------------------------+------------+------------+-------
  Tutorials 1 2 | $90 $115 | $120 $145 |
  --------------------------------------+------------+------------+-------
  SIGCSE |
  --------------------------------------+------------+------------+-------
  Full Day 2 8 9 10 | $75 $90 | $100 $120 |
  --------------------------------------+------------+------------+-------
  Half Day 1 3 4 5 6 7 11 12 13 14 15 | $40 $50 | $55 $65 |
  --------------------------------------+------------+------------+-------
  Other |
  --------------------------------------+------------+------------+-------
  Special Guest Pass | $25 $25 | $25 $25 |
  --------------------------------------+------------+------------+-------
  Tickets for CQL Luncheon _____ X $30 = |
  --------------------------------------+------------+------------+-------
  Additional Tickets for SIGCSE Luncheon _____ X $30 = |
  --------------------------------------+------------+------------+-------
  ENIAC Dinner Tickets for CQL Registrants _____ X $60 = |
  --------------------------------------+------------+------------+-------
  Total Payment Due (and enclosed) |$
  --------------------------------------+------------+------------+-------
  We accept checks or credit cards. Make checks payable to
  ACM Computing Week '96.
  Credit Card (check one) [ ] MasterCard [ ] Visa [ ] Amex
  Credit Card #: _____________________________________
  Expiration Date __________
  Signature ______________________________________________________________


  Mail this form and your payment to: ACM Computing Week '96 Registration,
  Dept. of Computer Science Campus Box 97, Rose-Hulman Institute of
  Technology 5500 Wabash Ave., Terre Haute, IN 47803-39999 USA;
  email: cwregis@acm.org


--

Return to the comp.compilers page.
Search the comp.compilers archives again.