mrb@sei.cmu.edu (Mario Barbacci) (12/03/89)
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 Hil
l
________________________________________________________________________
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.
--
Good health is merely the slowest rate at which one can die.