SAC '96 Programming Languages Track: Final Program 
Author Message
 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.

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.

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.

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.

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 Temp{*filter*}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;



Sun, 28 Jun 1998 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. SAC '96 Programming Languages Track: Final Program

2. SAC '96 Programming Languages Track: Final Program

3. CFP: ACM SAC '96 Programming Languages Track

4. CFP: ACM SAC '96 Programming Languages Track

5. CFP: ACM SAC '96 Programming Languages Track

6. CFP: ACM SAC '96 Programming Languages Track

7. CFP: ACM SAC '96 Programming Languages Track

8. CFP: ACM SAC '96 Programming Languages Track

9. CFP: ACM SAC '96 Programming Languages Track

10. Final CFP: ACM SAC'94 Programming Languages Track

11. Final CFP: SAC '94 Programming Languages Track

12. Final CFP: ACM SAC'94 Programming Languages Track

 

 
Powered by phpBB® Forum Software