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