High-Performance Functional Computing Conference April 9 - 11, 1995 Denver, Colorado Preliminary Program =================== Sunday, April 9, 1995 3:00 - 5:00 PM Registration 6:00 - 9:00 PM Conference Reception Monday, April 10, 1995 8:00 - 8:30 AM Continental Breakfast 8:30 - 10:00 AM Welcome - John Feo Keynote Speech - Guy Steele, Sun Microsystems 10:00 - 10:30 AM Break 10:30 - 12:00 AM First Session (Rex Page) "Integrating Imperative and Functional Programming in Real-World Applications" by T. DeBoni, J. Feo and D. Peters "Application of a Para-Functional Language to Problems in Computer Algebra" by Wolfgang Schreiner "NAS parallel benchmark integer sort (IS) performance on Monsoon" by Sumit Sur and Wim Bohm 12:00 - 1:30 PM Lunch 1:30 - 3:00 PM Second Session (Guang Gao) "Sisal90" by John T. Feo, Patrick J. Miller, Stephen Skedzielewski, Scott Denton and Cindy Solomon "UFO: Language Evolution and Implementation Consequences of State" by John Sargeant and Steve Hooton "Functional Implementations of the Jacobi Eigen-Solver" by A.P.W. Bohm and R.E. Hiromoto 3:00 - 3:30 PM Break 3:30 - 5:00 PM Third Session (Wim Bohm) "An overview of the Adl language project" by Brad Alexander, Dean Engelhardt and Andrew Wendelborn "Caml Flight: a Portable SPMD Extension of ML for Distributed Memory Multiprocessors" by Christian Foisy and Emmanuel Chailloux "Digit-Index Permutation Algorithms: An Applicative Approach" by Jaime Seguel, Dorothy Bollman and John Feo 7:30 - 9:00 PM Panel Discussion (Jack Dennis) "How should nondeterminacy be introduced into functional programming" Tuesday, April 11, 1995 8:00 - 8:30 AM Continental Breakfast 8:30 - 10:00 AM Fourth Session (John Feo) "Update-in-place Analysis for True Multidimensional Arrays" by Steven M. Fitzgerald "The impact of laziness on parallelism and the limits of strictness analysis" by G. Tremblay and G.R. Gao "Extracting Characteristics from Functional Programs for Mapping to Massively Parallel Machines" by A.C. Sodan and Heiko Bock 10:00 - 10:30 AM Break 10:30 - 12:00 AM Fifth Session (Pat Miller) "Static Mapping of Functional Programs: An Example in Signal Processing" by Jack B. Dennis "fsc: A SISAL Compiler for Both Distributed- and Shared Memory Machines" by Vincent W. Freeh and Gregory R. Andrews "Compiler Enforced Cache Coherence Using a Functional Language" by Richard Wolski and David Cann 12:00 - 1:30 PM Lunch 1:30 - 3:00 PM Sixth Session (Lennart Augustson) "Constructing Skeletons in Clean" by Marco Kesseler "Exploiting Locality in a Stateless Data-Flow Architecture" by David F. Snelling "Visualising Granularity in Parallel Programs: A Graphical Winnowing System for Haskell" by Kevin Hammond, Hans Wolfgang Loidl and Andrew Partridge "Profiling Large-Scale Lazy Functional Programs" by R.G. Morgan and S. A. Jarvis ============================================================================ **************************************************************************** ============================================================================ Registration Form High-Performance Functional Computing Conference Executive Tower Inn Denver, Colorado ________________________________________________________________ Last Name First Name M.I. ________________________________________________________________ Organization ________________________________________________________________ Mailing Address ________________________________________________________________ City State/Province Postal/Zip Code Country ________________________________________________________________ Telephone FAX Electronic Mail Address ________________________________________________________________ Name as it will appear on badge Spouse/Accompanying Guest Name Conference Registration Fees All fees in U.S. dollars and drawn on US Banks (sorry no credit cards) Make checks payable to Lawrence Livermore National Laboratory Registration fees include: conference fee, panel discussion, conference proceedings, reception and two lunches Pre-registration deadline is March 9, 1995 Before March 9 After March 9 Fees Full Registration $250 $275 $__________ Student Registration $ 90 $ 90 $__________ (you must enclose a copy of current student I.D. card) Guest Meals (Reception $40; Lunch $20) Reception 4/9 ___ Lunch 4/10 ___ Lunch 4/11 ___ $__________ TOTAL FEES ENCLOSED $__________ Special Dietary Requirements (Please Specify) _____________________________ Refund policy: Prepaid fees will be refunded, less a $50.00 processing fee, if notification is received in writing by March 17, 1995. Cancellations post- marked after March 17, 1995 can not be refunded; however, a substitute regis- trant may be accepted. Mail registration form and fees to: Judy Michels Telephone: 510-422-4236 LLNL, L-306 FAX : 510-423-8520 P.O. Box 808 Email : judy@diego.llnl.gov Livermore, CA 94551 ============================================================================ **************************************************************************** ============================================================================ Housing Form High-Performance Functional Computing Conference Please make reservations for me as follows: Name __________________________________________________ Address __________________________________________________ Firm __________________________________________________ Group _Lawrence Livermore National Laboratory___________ Dates _April 9 - April 11, 1995_________________________ ========================================================== Accomodations Requested Single ___ ($68 plus tax per night) Double ___ ($78 plus tax per night) Date of Arrival ________________________ Time of Arrival ________________________ Date of Departure ________________________ Check-out time is 12:00 P.M. Guaranteed Arrival ____ or Arrival by 6:00 P.M. ____ Should you wish to guarantee your reservation for arrival after 6:00 P.M., please include one night's deposit or credit card number _________________ Please mail housing form to: Executive Tower Inn 1405 Curtis Street Denver, CO 80202 Telephone: 800-525-6651 FAX : 303-825-4301