daryl@hpcldko.HP.COM (Daryl Odnert) (11/28/89)
/ hpcldko:comp.lang.sigplan / bb@rex.cs.tulane.edu (Boum Belkhouche) / 4:18 am Nov 20, 1989 / ADVANCE PROGRAM IEEE Computer Society 1990 International Conference on Computer Languages New Orleans, Louisiana, USA, March 12-15, 1990 Sponsored by the IEEE Computer Society Computer Languages Technical Committee Monday March 12, 1990: Tutorial: 8:30 - 12:30 and 1:30 - 5:30 PART I: THE FUNCTIONAL LANGUAGE HASKELL by Paul Hudak, Yale University Haskell is a new functional programming language that was designed by a 14-member international committee representative of the "modern" school of functional programming. Although intended primarily as a "common" language to promote both research and application of functional languages, it has several new features that are worthy in their own right---most notably, an elegant form of overloading called type classes, immutable non-strict arrays called array comprehensions, and a purely functional I/O system using streams together with a dual continuation model. Each of these design features, and others, represent datapoints in an interesting spectrum of programming language concepts. This tutorial will center on programming in Haskell, but with emphasis on these concepts. In addition, more recent trends in functional language research will be discussed with the hope of understanding where functional programming research is headed in the future. PART II: CONCURRENT C by Narain Gehani, AT&T Bell Labs Concurrent C is a superset of C that provides parallel programming facilities. It is also a superset of C++ which extends C with object-oriented programming facilities (the Concurrent C compiler has compile-time option to support Concurrent C++). Concurrent C processes interact by means of transactions (message passing) which can be synchronous or asynchronous. The facilities provided include those for declaring and creating processes, process synchronization, conditional and unconditional message passing, selective waiting for events, process termination and abortion. Concurrent C has been implemented on several types of processors and multiprocessors. In this tutorial, we will describe Concurrent C, use it to write non-trivial programs, explain design decisions, and contrast the concurrent facilities in Concurrent C with those in Ada. Monday March 12, 1990: Registration 6:30-8:00 pm Reception: 7:00 pm - 9:00 pm Tuesday March 13, 1990, REGISTRATION: 7:30 am - WELCOME: 8:30 am - 9:00 am Session 1: 9:00 am - 10:30 am: VISUAL LANGUAGES A Practical Animation Language for Software Development J.T. Stasko, Georgia Tech GVL: A Graphical, Functional Language for the Specification of Output in Programming Languages J.R. Cordy, T.C. N. Graham, Queen's University Enhancing Documents with Embedded Programs: How Ness Extends Insets in the Andrew Toolkit W.J. Hansen, CMU Coffee Break: 10:30 am - 11:00 am Session 2: 11:00 am - 12:30 pm: FUNCTIONAL LANGUAGES IMPLEMENTATION Parallel Graph-Reduction with a Shared Memory Multiprocessor System G.Revesz, IBM Yorktown Cache Performance of Combinator Graph Reduction P.J. Koopman, Jr., Harris Semiconductor, and P. Lee, D.P. Siewiorek, CMU A Self-Applicable Partial Evaluator for the Lambda Calculus N.D. Jones, C.K. Gomard A. Bondorf, O. Danvy, T. Morgenson, Univ. of Coppenhagen Lunch: 12:30 pm - 2:00 pm Session 3: 2:00pm - 3:30 pm: DISTRIBUTED LANGUAGES I A Language for Distributed Applications M.R. Barbacci, J.M. Wing, CMU FLAME: A Language for Distributed Programming M.Jazayeri, HP Labs, and F. de Paoli, Politecnico di Milano Experience with Distributed Programming in ORCA H.E. Bal, M. F. Kaashoek, A.S. Tanenbaum, Vrije Universiteit Coffee Break: 3:30 pm - 4:00 pm Session 4: 4:00 pm - 5:30 pm: LANGUAGE DESIGN I EZ Processes D.R. Hanson, M.Kobayashi, Princeton University Data-Oriented Exception Handling in Ada Q. Cui, J.D. Gannon, University of Maryland GARTL: A Real-Time Programming Language Based on Multi-Version Computation C. Marlin, W. Zhao, G. Doherty, A. Bohonis, Univ. of Adelaide Wednesday March 14, 1990 Session 5: 8:30 am - 10:30 am: OBJECT-ORIENTED MODELS Coercion as a Metaphor for Computation S.Jagannathan, Yale University Multi-Dimensional Organization and Browsing of Object-Oriented Systems H. Ossher, IBM Yorktown An Object Model for Shared Data G.E. Kaiser, Columbia University, B.Hailpern, IBM Yorktown Specification and Automatic Prototype Implementation of Polymorphic Objects in Turing Using the TXL Dialect Processor J.R. Cordy, E. Promislow, Queen's University Coffe Break:10:30 am - 11:00 am Session 6:11:00 am - 12:30 pm: DISTRIBUTED LANGUAGES II Conflict Propagation N. Francez, I.R. Forman, MCC Reliable Distributed Computing with Avalon/Common Lisp S.M. Clamen, L.D. Leibengood, S.M. Nettles, J.M. Wing, CMU Using Languages for Describing Capture, Analysis, and Display of Performance Information for Parallel and Distributed Applications C. Kilpatrick, K. Schwan, Georgia Tech Lunch: 12:30 pm - 2:00 pm Session 7: 2:00 pm - 3:30 pm: LANGUAGE DESIGN II Subdivided Procedures: A Language Extension Supporting Extensible Programming W.Harrison, H. Ossher, IBM Yorktown LEGEND: A Language for Generic Component Library Description N.D. Dutt, University of California Irvine Improving Module Reuse by Interface Adaptation J.M. Purtilo, J.M. Atlee, University of Maryland Coffee Break: 3:30 pm - 4:00 pm Session 8: 4:00 pm - 5:30 pm: LOGIC PROGRAMMING Lazy Evaluation in Logic Programming S. Narain, Rand Corporation KSL/Logic: Integration of Logic with Objects M.H.Ibrahim, F.A. Cummins, Electronic Data Systems Implementation and Evaluation of Dynamic Predicate in Sequential Inference Machine CHI A. Atarashi, A. Konagaya, S. Habata, M. Yokota, NEC Corporation Computer Languages Technical Committee Meeting: 6:30 pm Thursday March 15, 1990 Session 9: 8:30 am - 10:30 am: PARALLEL LANGUAGES The Tahiti Programming Language: Events as First-Class Objects J. Hearne, D. Jusak, Western Washington University Coordination Languages for Open System Design P. Ciancarini, Universita di Pisa A Two Degrees of Freedom Approach for Parallel Programming J.B. Bahsoun, L. Feraud, C. Betourne, Univ. Paul Sabatier Parallelism in Object-Oriented Programming Languages A. Corradi, L. Leonardi, Universita di Bologna Coffee Break: 10:30 am - 11:00 am Session 10: 11:00 am - 12:30 pm: LANGUAGE IMPLEMENTATION Incremental Global Optimization for Faster Recompilations L.L. Pollock, Rice University, M.L. Soffa, University of Pittsburgh Compiling SIMD Programs for MIMD Architectures M.J. Quinn, Oregon State University, P.J. Hatcher, University of New Hampshire Computation of Interprocedural Definition and Use Dependencies M.J. Harrold, M.L. Soffa, University of Pittsburgh ********************************** Conference Chair: Boumediene Belkhouche, Tulane, (504) 865-5840, bb@cs.tulane.edu Program Committee Co-Chairs: K.C. Tai, NSF & NCSU, (202) 357-3647, ktai@note.nsf.gov Alex Wolf, AT&T, (201) 582-6443, wolf@ulysses.att.com Program Committee: Mario Barbacci, CMU-SEI Richard LeBlanc, Georgia Tech O. Peter Buneman, Univ. of Pennsylvania Gary Lindstrom, Univ. of Utah S.K. Chang, Univ. of Pittsburgh Al Mok, Univ. of Texas, Austin David Gelernter, Yale University Steven Reiss, Brown University Donald Good, Computational Logic, Inc. William Scherlis, DARPA John Goodenough, CMU-SEI Alan Snyder, HP Labs Carlo Ghezzi, Politecnico di Milano Donald Stanat, UNC, Chapel Hill ________________________________________________________________________ Conference Registration Form Make checks payable to: IEEE-CS Computer Languages Conference c/o Conference Registrar 1730 Massachusetts Avenue, N.W. Washington, D.C. 20036-1903 TWX 7108250437 IEEECOMPSO Telephone (202) 371-0101 Name ____________________________________________ Affiliation _____________________________________ Address _________________________________________ _________________________________________________ Bus. Phone ______________ IEEE Member # _________ Registration Advance* On-Site Tutorial: IEEE Member __ $200 __ $240 Non-Member __ $250 __ $300 Conference: IEEE Member __ $205 __ $245 Non-Member __ $255 __ $305 Full-time Student __ $60 __ $60 __ Check enclosed or __ VISA __ MasterCard Exp. Date _____________ Card #___________________________________________ Signature _______________________________________ *before February 19, 1990 ******************************************************* Hotel Registration Form Please complete and mail to: The Monteleone Hotel 214 Rue Royale New Orleans, LA 70140 (504) 523-3341 / 1-800-535-9595 FAX (504) 528-1019 A block of rooms for conference attendees will be held until February 19, 1990 and will be available from that point on a first-come, first-served basis. Reservations will be held until 6p.m. and may be guaranteed for late arrival by including a check for the first night's lodging or a major credit card number. Name ____________________________________________ Affiliation _____________________________________ Address ________________________________________ _________________________________________________ Telephone:Business ____________ Home ____________ Accommodations desired: __ Single $85.00 __ Double $95.00 Arrival Date __________ Hour ________ AM/PM Departure Date _________ Hour ______ 4 AM/PM To guarantee registration for late arrival: __ Check enclosed or __ Major Credit Card ___________ Exp. Date ____ __ Number _____________________________________ All checks should be in US dollars drawn on a US Bank. ----------
daryl@hpcldko.HP.COM (Daryl Odnert) (11/28/89)
Oops. Sorry about posting this here. I meant to post this note in a different group but didn't discover my error until it was too late. Daryl