[net.ai] Ferrante Colloquium on Automatic Programming

PETTY@RUTGERS.ARPA (03/01/84)

         [Forwarded from the Rutgers bboard by Laws@SRI-AI.]

               SPEAKER:  Jeanne Ferrante
                         IBM Thomas J. Watson Research Center
                         Yortown Heights, NY

               TITLE:   "PROGRAMS = CONTROL + DATA

A new program representation called the program dependence graph or
PDG is presented which makes explicit both the data values on which
an operation depends (through data dependence edges) and the control
value on which the execution of the operation depends (through control
dependence edges).  The data dependence relationships determine the
necessary sequencing between operations with the same control
conditions, exposing, exposing potential parallelism.  In this talk we
show how the PDG can be used to solve a traditional stumbling block in
automatic program improvement.  A new incremental solution to the
problem of updating data flow following changes in control flow such
as branch deletion is presented.

The PDG is the basis of current work at IBM Yorktown Heights for
compiling programs in sequential languages like FORTRAN to exploit
parallel architectures.

               DATE:  Friday, March 9, 1984
               TIME:  2:50 p.m.
               PLACE:  Room 705 - Hill Center
                      *  Coffee Served at 2:30 p.m.  *