PACT '94: International Conference on PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES August 23-26, 1994 Hotel Meridien [] Montreal, Canada There are enormous opportunities for parallelism in future generation high-performance computer systems. Facing the challenge of exploiting such parallelism, a simple "instruction set" as a binding contract between architects and compiler writers may no longer be enough. The purpose of this conference is to provide an open forum for the parallel architecture and compiler research communities to discuss and debate key issues of common interest and see how parallelism can be exploited more efficiently in a joint effort. Also we aim at bringing together researchers with interest in both conventional and non-conventional approaches (eg. data-flow, multithreading, etc.) to foster communication. The proceedings of the conference will be published by North-Holland. TUTORIALS Three tutorials will be offered on Tuesday, August 23: Tutorial 1: Full Day "Parallelizing Compilers: How to Discover and When to Exploit Parallelism Automatically" --Constantine Polychronopoulos (U of Illinois at Urbana-Champaign) --Alex Nicolau (University of California-Irvine) Tutorial 2: Half Day (Morning) "Data-Driven and Multithreaded Architectures for High-Performance Computing" --Jean-Luc Gaudiot (University of Southern California) Tutorial 3: Half Day (Afternoon) "Mechanisms for Exploiting Instruction Level Parallelism" --Yale Patt (University of Michigan) LOCATION The conference will be held at the Hotel Meridien which is located in Complexe Desjardins in the heart of downtown Montreal. Among other amenities, the Meridien offers a pool, restaurants, parking, laundry service, as well as service in English, French, and Japanese. The Meridien is handicapped accessible. Many of Montreal's varied attractions are easily reachable by foot, by car, or by using Montreal's Metro Subway and other public transportation. The hotel is located very near both the Place d'Armes and and Place des Arts Metro stations. Attractions include Notre Dame and the stone edifices of Old Montreal, the theater, restaurants, and nightlife on Saint Denis, Crescent, and Saint Catherine Streets, Chinatown, the Montreal Casino, Olympic Stadium (home to the 1976 Summer Olympics), Botanical Gardens, a "Biodome", La Ronde amusement park, rafting trips through the Lachine Rapids, Montreal's own mountain -- Mont Royal, plus St. Joseph's Oratory, the second highest in the world. As well, the "Montreal World Film Festival" coincides with the conference. TRAVEL/TRANSPORTATION Two airports service Montreal. Dorval Airport services almost all flights from within North America, and many from abroad as well. A cab ride to the hotel takes roughly 30 minutes and costs CA$25 plus a 10%-15% tip. Alternatively, the Gray Line Bus provides service directly to the hotel every 20 minutes at a cost of CA$8.50. (Be sure to ask the driver to stop at the Meridien.) The trip from Mirabel Airport requires 45-60 minutes with a cab fare of CA$60 plus 10%-15% tip. The Aerobus service charges CA$13. All of these services provide curb-side pickup at the airport. Ask dispatchers there for details. CONFERENCE REGISTRATION Please see the registration form for fees and other details. Payment may be made by check, VISA, Mastercard, or American Express, and in either U.S. or Canadian dollars. Checks must be made out to "PACT '94" and be drawn on a U.S. bank if in U.S. dollars, and on a Canadian bank if in Canadian dollars. All credit card charges will be converted to U.S. dollars at the rate in effect at the time the charge goes through. THE DEADLINE FOR MAIL / FAX REGISTRATION IS AUGUST 7, 1994. Registrations after July 31 will be charged the late fee. However, those registered by July 31 will receive a free PACT '94 sweatshirt. Please send payment, along with the included registration form to: PACT'94 c/o Prof. Walid Najjar Computer Science Department Colorado State University Fort Collins, CO 80523 USA @FAX: (303) 491-2466 (for credit card payments only) Refund requests must be sent in writing to Prof. Najjar, and received by August 7, 1994, and a US$35 (CA$50) cancellation fee will be charged. On-site registration during the conference is also available, with the same forms and currencies of payment accepted, in addition to cash (US$ and CA$). CLIMATE Sunny, hot days. Highs around 30 Celsius (85 Fahrenheit) and lows around 15 Celsius (60 Fahrenheit). HOTEL RESERVATIONS The conference rate is CA$99 plus 11.28% tax, single or double occupancy. This rate will also be honored 2 days before and 2 days after the conference. In order to guarantee your reservation, please complete and mail the attached hotel registration form and include a one-night room deposit including tax (CA$110.17), or send your credit card number, expiration date and authorization. RESERVATIONS MUST BE RECEIVED BY JULY 23, 1994 in order to guarantee space, but may be cancelled up to 24 hours before arrival with no penalty. Send the hotel registration form directly to the hotel. Please call hotel reservations for suite availability. (Phone numbers are included on the registration form.) Mention PACT '94 to receive the conference rates. FURTHER INFORMATION If you have further questions about the conference, general information is available via anonymous ftp from wally.cs.mcgill.ca /pub/doc/PACT94 One of the files (student-support) there describes financial help available to students via the SIGPLAN Professional Activities Committee (PAC). If you have specific questions, please contact Prof. Herbert Hum Phone: (514) 848-3081 FAX: (514) 514-848-2802 Email: herbert@ece.concordia.ca CONFERENCE ORGANIZERS --------------------- STEERING COMMITTEE Michel Cosnard Ecole Superieure de Lyon, France Kemal Ebcioglu IBM Thomas J. Watson Research Center, USA Jean-Luc Gaudiot University of Southern California, USA GENERAL CHAIR Gabriel M. Silberman IBM Thomas J. Watson Research Center, USA LOCAL ARRANGEMENTS CHAIR Herbert Hum Concordia University, Canada PUBLICITY CHAIR Zary Segall University of Oregon, USA PUBLICATION CHAIR Michel Cosnard Ecole Superieure de Lyon, France REGISTRATION CHAIR Walid A. Najjar Colorado State University, USA PROGRAM COMMITTEE CHAIR Guang R. Gao McGill University, Canada PROGRAM COMMITTEE M. Amamiya, Kyushu University, Japan L. Bic, UC Irvine, USA W. Bohm, Colorado State University, USA D. Culler, UC Berkeley, USA D. DeGroot, Texas Instruments, USA K. Ebcioglu, IBM, USA G. Egan, Swinburne University, Australia W. O'Farrell, IBM, Canada J.-L. Gaudiot, University of Southern Calif, USA W. Giloi, GMD Institute, Germany R. Gupta, University of Pittsburgh, USA J. Gurd, University of Manchester, Britain I. Koren, University of Massachusetts, USA M. Lam, Stanford, USA B. Lecussan, ONERA-Sup' Aero, France E. Lee, University of California, Berkeley, USA A. Mendelson, Technion, Israel Y. Muraoka, Waseda University, Japan A. Nicolau, University of California, Irvine, USA G. Papadopoulos, MIT, USA Y. Patt, University of Michigan, USA S. Sakai, Real World Computing Partnership, Japan V. Sarkar, IBM, USA H. Terada, Osaka University, Japan A. Wendelborn, Adelaide University, Australia SPONSORS Sponsored by the International Federation of Information Processing (IFIP) Working Group 10.3 (Concurrent Systems), and the Association for Computing Machinery (ACM) Special Interest Group on Computer Architecture (SIGARCH), in cooperation with Centre de Recherche Informatique de Montreal (CRIM), the Institute of Electrical and Electronics Engineers (IEEE) Computer Society Technical Committees on Computer Architecture (TCCA) and Parallel Processing (TCPP), the ACM Special Interest Group on Programming Languages (SIGPLAN), and support from the Office of Naval Research (ONR), IBM Canada and Hydro-Quebec. ****************************** * PACT '94 TECHNICAL PROGRAM * ****************************** --------------------------------------------------------------------- Wednesday, August 24 --------------------------------------------------------------------- REGISTRATION (8:00--17:30) OPENING SESSION (9:00--9:30) Welcome and Opening Remarks KEYNOTE ADDRESS (9:30--10:30) Arvind Massachusetts Institute of Technology "*T (StarT) the Next Generation: In the Real World" COFFEE BREAK (10:30--10:50) SESSION I: 10:50 -- 12:20 High-Performance Architectures Chair: Herbert Hum Concordia University "EM-C: Programming with Explicit Parallelism and Locality for EM-4 Multiprocessor," Mitsuhisa Sato, Yuetsu Kodama, Shuichi Sakai, and Yoshinori Yamaguchi, ETL, Ibaraki, Japan "A Fine-Grain Threaded Abstract Machine," Jesper Vasell, Chalmers University of Technology, Gothenburg, Sweden "Tradeoffs in the Design of Single Chip Multiprocessors," David H. Albonesi and Israel Koren, University of Massachusetts, Amherst, USA LUNCH (12:20--13:30) SESSION II: 13:30 -- 15:00 Code Generation for Multithreaded and Dataflow Architectures Chair: Shuichi Sakai Real World Computing Partnership "An Evaluation of Optimized Threaded Code Generation," Lucas Roh, Walid A. Najjar, Bhanu Shankar and A.P. Wim Bohm, Colorado State University, Fort Collins, USA "Functional I-structure, and M-structure Implementations of NAS Benchmark FT," Sumit Sur and A.P. Wim Bohm, Colorado State University, Fort Collins, USA "The Plan-Do Style Compilation Technique for Eager Data Transfer in Thread-Based Execution," Masahiro Yasugi, Satoshi Matsuoka, and Akinori Yonezawa, University of Tokyo, Japan COFFEE BREAK (15:00--15:30) SESSION III: 15:30 -- 17:00 Memory and Cache Issues Chair: Hiroaki Terada Osaka University "A Compiler-Assisted Scheme for Adaptive Cache Coherence Enforcement," Trung N. Nguyen, Farnaz Toussi, David J. Lilja, and Zhiyuan Li, University of Minnesota, Minneapolis, USA "The Impact of Cache Coherence Protocols on Systems using Fine-Grain Data Synchronization," David Glasco, Bruce A. Delagi, and Michael J. Flynn, Stanford University, Stanford, USA "Towards a Programming Environment for a Computer with Intelligent Memory," Abhaya Asthana, Mark Cravatts, and Paul Krzyzanowski, AT&T Bell Labs, Murray Hill, USA COFFEE BREAK (17:00--17:20) SPECIAL SESSION: 17:20 -- 18:00 Poster Session (Short) Papers Chair: Gregory K. Egan Swinburne University POSTER SESSION (18:00--19:00) WINE AND CHEESE (19:00--) --------------------------------------------------------------------- Thursday, August 25 --------------------------------------------------------------------- REGISTRATION (8:00--17:30) INVITED TALK (8:00--9:00) B. Ramakrishna Rau Hewlett Packard Labs "The Future of Instruction-Level Parallel Processing: A Personal Opinion" SESSION IV: 9:00 -- 10:30 Distributed Memory Machines Chair: Rajiv Gupta University of Pittsburgh "Communications Analysis for Multicomputer Compilers," Inkyu Kim and Michael Wolfe, University of Oregon, Eugene, USA "Automatic Data Layout Using 0-1 Integer Programming," Robert Bixby, Ken Kennedy, and Ulrich Kremer, Rice University, Houston, USA "Processor Tagged Descriptors: A Data Structure for Compiling for Distributed-Memory Multicomputers," Ernesto Su, Daniel J. Palermo, and Prithviraj Banerjee, University of Illinois at Urbana-Champaign, USA COFFEE BREAK (10:30--10:50) SESSION V: 10:50 -- 12:20 Multi-Level Parallelism Chair: Kemal Ebcioglu IBM T.J. Watson Research "Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers," David A. Berson, Rajiv Gupta, and Mary Lou Soffa, University of Pittsburgh, USA "An Approach to Combine Predicated/Speculative Execution for Programs with Unpredictable Branches," M. Srinivas, Alexandru Nicolau, and Vicki H. Allan, University of California-Irvine, USA "A PDG-based Tool and its Use in Analyzing Program Control Dependences," Chris J. Newburn, Derek B. Noonburg, and John P. Shen, Carnegie Mellon University, Pittsburgh, USA LUNCH (12:20--13:30) SESSION VI: 13:30 -- 15:00 Compiling for Parallel Machines Chair: Abraham Mendelson Technion "Static Analysis of Barrier Synchronization in Explicitly Parallel Systems," Tor E. Jeremiassen and Susan J. Eggers, University of Washington, Seattle, USA "Exploiting the Parallelism Exposed by Partial Evaluation," Andrew A. Berlin and Rajeev Surati, Massachusetts Institute of Technology, Cambridge, USA "Effects of Loop Fusion and Statement Migration on the Speedup of Vector Multiprocessors," Mayez Al-Mouhamed and Lubomir Bic, King Fahd University, Dhahran, Saudi Arabia COFFEE BREAK (15:00--15:30) SESSION VII: 15:30 -- 17:00 Logic Languages Chair: Bill O'Farrell IBM Canada "Practical Static Mode Analyses of Concurrent Logic Languages," Evan Tick, University of Oregon, Eugene, USA "Demand-Driven Dataflow for Concurrent Committed-Choice Code," Bart Massey and Evan Tick, University of Oregon, Eugene, USA "Exploitation of Fine-grain Parallelism in Logic Languages on Massively Parallel Architectures," Hiecheol Kim and Jean-Luc Gaudiot, University of Southern California, Los Angeles, USA COFFEE BREAK (17:00--17:30) PANEL (17:30--18:30) Programming Multi-Threaded Machines Moderator: A.P. Wim Bohm Colorado State University Panelists to Include: Arvind, Jack Dennis Anoop Gupta, B.R. Rau Shuichi Sakai BANQUET (19:00--) Jack Dennis Massachusetts Institute of Technology "Where is Parallel Computing Headed?" --------------------------------------------------------------------- Friday, August 26 --------------------------------------------------------------------- INVITED TALK (8:00--9:00) Anoop Gupta Stanford University "The Stanford FLASH Project" SESSION VIII: 9:00 -- 10:30 Application Specific Architectures Chair: Makoto Amamiya Kyushu University "From SIGNAL to fine-grain parallel implementations," Olivier Maffeis and Paul le Guernic, Rutherford Appleton Laboratory, Chilton, UK "Microcode Generation for Flexible Parallel Target Architectures," Rainer Leupers, Wolfgang Schenk, and Peter Marwedel, University of Dortmund, Germany "A Fleng Compiler for PIE64," Hidemoto Nakada, Takuya Araki, Hanpei Koike, Hidehiko Tanaka, University of Tokyo, Japan COFFEE BREAK (10:30--10:50) SESSION IX: 10:50 -- 12:50 Functional Languages, Models and Implementation Chair: Walid A. Najjar Colorado State University "Compiling Higher-Order Functions for Tagged-Dataflow," P. Rondogiannis and W.W. Wadge, University of Victoria, Canada "Dataflow-Based Lenient Implementation of a Functional Language, Valid, on Conventional Multi-processors," Shigeru Kusakabe, Eiichi Takahashi, Rin-ichiro Taniguchi, Makoto Amamiya, Kyushu University, Japan "Dataflow and Logicflow Models for Defining a Parallel Prolog Abstract Machine," P. Kacsuk, KFKI Research Institute, Budapest, Hungary "Towards a Computational Model for UFO," John Sargent, Chris Kirkham, Steve Anderson, University of Manchester, UK CLOSING REMARKS (12:50--13:00) PACT'94 REGISTRATION FORM PLEASE TYPE OR PRINT LEGIBLY. Last Name _________________________ First Name ___________________ Company/Affiliation ______________________________________________ Address __________________________________________________________ City _______________________________ State _____ Zip ___________ Country ___________________ Phone _______________________________ E-mail Address ____________________________________________________ Badge Name _______________________________________________________ Payment may be made by check, VISA, Mastercard, or American Express, and in either U.S. or Canadian dollars. Checks must be made out to "PACT '94" and be drawn on a U.S. bank if in U.S. dollars, and on a Canadian bank if in Canadian dollars. All credit card charges will be converted to U.S. dollars at the rate in effect at the time the charge goes through. Please send payment, along with this registration form to: PACT'94 c/o Walid Najjar Email: pactreg@cs.colostate.edu Computer Science Department Colorado State University FAX: (303) 491-2466 Fort Collins, CO 80523 USA (For credit card payments only) Mailed or faxed registrations must arrive by August 7, 1994. On-site registration during the conference is also available, with the same forms and currencies of payment accepted, in addition to cash (US$ and CA$). Please check appropriate | Advance Late or Student fee(s) and tutorial selection(s) | (by July 31) On site (see note) (ALL AMTS IN US$) | ------------ ------- ---------- Conference: [ ] $335 [ ] $385 [ ] $210 Tutorials: #1 (full-day) [ ] $300 [ ] $325 [ ] $225 #2 (half-day) [ ] $175 [ ] $200 [ ] $125 #3 (half-day) [ ] $175 [ ] $200 [ ] $125 #2+#3 (2 half-day) [ ] $320 [ ] $345 [ ] $245 BONUS: Register by July 31 and receive a free PACT '94 sweatshirt. Please indicate size: [ ] S [ ] M [ ] L [ ] XL [ ] XXL NOTE: Student registration DOES NOT include a banquet ticket which is available for an additional US$35 (see below). Total conference registration fee: $_____________ Total tutorials fee: $_____________ _____ Additional banquet tickets @ US$35 each: $_____________ TOTAL FEE ENCLOSED: $_____________ Note: if paying by check with Canadian dollars, use 1US$ = 1.40 CA$. Payment method: __VISA __MasterCard __American Express __Check Card #_______________________________________ Exp. Date ____________ Cardholder Name _______________________________________________________ Signature _________________________________________________ HOTEL MERIDIEN REGISTRATION FORM for PACT '94 PLEASE TYPE OR PRINT LEGIBLY. Last Name _________________________ First Name ___________________ Company/Affiliation ______________________________________________ Address __________________________________________________________ City _______________________________ State _____ Zip ___________ Country ___________________ Phone _______________________________ [ ] Single Room [ ] Double FAX _________________________________ Share With _______________________________________________________ Type of Credit Card _____________________ Expiration Date ________ Credit Card Number _______________________________________________ Signature ________________________________________________________ Special Requests and/or Needs ____________________________________ Check in time is 3PM. Check out time is 12 noon. Please indicate any special (access) needs or accommodations. Special requests for suites, adjoining rooms, etc. will be honored whenever possible. To guarantee availability, reservations must be received by July 23, 1994. Rates are CA$99 per night plus 11.28% tax for either a single or double room. Thus the one night deposit due is CA$110.17. This special CA$99 rate will be honored 2 days prior and 2 days after the official PACT '94 days of August 23-26, 1994. However, the rate is good only if booked directly through the hotel. Be sure to ask for the PACT '94 special rates. Your deposit will serve as your confirmation. Deposit refundable if cancelled 24 hours prior to arrival. Call reservations for suite availability and rates. The following credit cards are accepted: VISA, Mastercard, American Express, Diners, Discover, En Route, and JCB. ==================================================================== Hotel Meridien [] 4 Complexe Desjardins [] Montreal, Canada H5B 1E5 --------------------------------------------------------------- Toll Free --------- Phone: 514-285-1450 | Quebec, Ontario, Maritimes 1-800-361-8234 FAX: 514-285-1243 | US, Rest of Canada 1-800-543-4300 Telex: 05-25268 | Europe See Local Directory