fofiurt Wt

Stanford UniversityLibrar issDapL of Special Collectsons

CoMm

\^rro) FbJ. Title

( '- Series V)S(q '

I

>

COMPUTER SCIENCE DEPARTMENTDIGITAL SYSTEMS LABORATORY

STANFORD UNIVERSITY

STANFORD,

CALIFORNIA 94305

STANFORD COMPUTER FORUM

TENTH ANNUAL MEETING

2, 3 February 1978 Room 282 (Small Lounge)Tresidder Union

Professor Jeffrey M. BarthConference Chairman:

9:00 a.m. Professor James L. AdamsAssociate Dean

Welcome

School of EngineeringStanford University

Opening Remarks: Provost William F. MillerProfessor of Computer ScienceVice PresidentStanford University

"Effects of Mr. Volker Haberland9:30 a.m.Microelectronicson Economics and

Society"

Zentrale FertigungsaufgabenSiemens AGMunich, Germany

10:15 a.m. Coffee Break

Opening Session - 9:00 - lQjlg a.m., Thursday, 2 February 1978

.*

Technical Session I - 10:30 a.m. 12:00 n, Thursday, 2 February

Chairman: Professor Willem vanCleemput

New Fourier Transform Algorithms for Real-TimeDigital Signal Processing Systems Shankar Narayan*

Professor Allen M. Peterson

Performance Considerations forReliabilityAnalysis M. Danielle Beaudry*

Professor Edward J. McCluskey

Emulation and High-Level Machines inthe Digital Systems Laboratory Jerome C . Huck*

Professor Michael J. Flynn

Computer System Design Using a HierarchicalApproach to Performance Evaluation Professor Balasubramanian Kumar'

A Hierarchical Approach to IC Design Eric A. Slutz*Professor Willem vanCleemput

Room 28l (Large Lounge)Tresidder Union

12:15 p.m. Luncheon

Chairman: Professor C. Cordell Green

Inferring DNA Structures fromSegmentation Data

Proofs of Efficiency of Computation

Monitoring System Behavior in a ComplexComputational Environment

A Knowledge Based Tutoring System

Rules for Program Annotation

Efficiency Estimation: Controlling Searchin the PSI Program Synthesis System

■^denotes speaker

Mark J. Stefik*Professor Edward A. Feigenbaum

Carolyn Talcott*/Ben MoszkowskiProfessor John McCarthy

Mitchell L. Model*Professor Terry A. Winograd

William J. ClanceyProfessor Bruce G. Buchanan

.u.Nachum DershowitzDr. Zohar Manna

Elaine Kant*Professor C. Cordell Green

Technical Session II - 1:30 - 3:00 P.m., Thursday, 2 February

3:00 p.m. Coffee Break

Chairman: Professor John G. Herriot

Solving Pattern Recognition Problemsby Mathematical Programming Methods Robert Leary*

Professor George B. Dantzig

Data Assimilation for Hyperbolic Systems Kenneth P. Bube*Professor Joseph E. Ollger

Conjugate Gradient Acceleration ofIterative Methods Franklin T. C. Luk*

Professor Gene H. Golub

Kernel Methods for Calculating SplineFunctions William M. Coughran*

Professor John G. Herriot

Evening Activities

6 : 00 p.m. Cocktail Party Rose Room(no host) Rickey's Hyatt House

Palo Alto

7:00 p.m. Dinner Rose RoomRickey's Hyatt House

Toastmaster: Professor Edward J. McCluskeyDirectorStanford Computer Forum

Speaker Professor Paul H. CootnerMiller Distinguished Professor

of FinanceGraduate School of BusinessStanford University

"Retail Banking in the Electronics Age:

A View of EFTS"

■^denotes speaker

Technical Session 111 - 3:15 - k:k^ p.m., Thursday, 2 February

#

.*

Technical Session IV - 9:00 - 10:30 a.m. Friday, 3 February

Chairwoman: Professor Susan S. Owicki

The S-l Multiprocessor L. Curtis Widdoes, Jr.*Professor Forest Baskett

Current Research in Program Verificationat Stanford Richard A. Karp

Dr. David C. Luckham

A Real-Time Software Design Professor John L. Hennessy

An Interprocedural Data Flow AnalysisAlgorithm Professor Jeffrey M. Barth

A Comparison of Update Algorithms forDistributed Data Bases Hector Garcia-Molina

Professor Gio Wiederhold

Professor Susan S. Owicki*Proving that Things Will Happen

10:30 a.m. Coffee Break

Chairwoman: Professor F. Frances Yao

Luis I. Trabb-Pardo*Set Representation and Set IntersectionProfessor Donald E. Knuth

A Spelling Checker for Small Memories Professor Robert W. Floyd*

Voroni Diagrams and ComputationalRobert L. Drysdale*GeometryProfessor Andrew C . Yao

Finding Dominators in Directed FlowThomas LengauerGraphsProfessor Robert E. Tarjan

Characterizations Related to FindingShortest Paths -x-Professor F. Frances Yao

12:20 Luncheon

-^denotes speaker

*

Technical Session V - 10:^5 a.m. - 12:15 p.m., Friday, 3 February

1:30 - p.m., Friday, 3 FebruaryTours and Individual Conferences

Computer Forum guests are invited to participate in either oftwo tours planned for Friday afternoon.

One, organized by Terry Roberts, will be conducted at theArtificial Intelligence Laboratory; the other, organized by DaveGifford, will be conducted at the Stanford Linear Accelerator Center.There will not be enough time to participate in both.

If you are interested in taking either of these tours, would youplease sign up on Thursday at the registration table outside the SmallLounge in Tresidder.

Forum attendees may prefer to see individual faculty or studentsfor small-group discussions in lieu of taking the tours. These can bearranged directly with the persons involved (see Director/ on followingpage) .

So that Forum attendees can become better acquainted with thefaculty, staff, and students of the Computer Science Department andthe Digital Systems Laboratory, an informal reception will be heldin the Student Lounge of our new Terman Engineering Building. Thetour participants will be driven directly to this reception. Othersshould consult their campus maps.

Stanford Computer Forum Committee

Jeffrey M. Barth, Assistant Professor of Computer Science

Sally Burns, Administrative Assistant, Digital Systems Laboratory

David Gifford, Ph.D. candidate, Electrical Engineering Department

Edward J. McCluskey, Director, Stanford Computer Forum; Professorof Computer Science and Electrical Engineering

Teresa Roberts, Ph.D. candidate, Computer Science Department

Willem M. vanCleemput, Assistant Professor of Electrical Engineering.

SB (I-111-78)

Closing Session - - 5:00 p.m., Friday, 3 February

DIRECTORY

FACULTY AND SENIOR RESEARCH STAFF

Name Title Location Phone

Barth, J. M. Asst. Professor, CS ERL 231 712*12*Baskett, F. Asst. Professor, CSBinford, T. 0. Research Associate, CS A. I. 7^971Buchanan, B. G. Adjunct Professor, CS Cedar Hall 7*1878Carhart, R. E. Research Associate, CS Serra Annex 5 7*1878

*Chvatal, V. Assoc. Professor, CSCreary, L. G. Research Associate Serra House 7*1878Dantzig, G. B. Professor, CS Terman *tlB 7130*1Earnest, L. D. Assoc. Dir. SAIL, CS A. I. 7*1202Englemore, R. S. Research Associate, CS Serra House 7*1878

E. A. Professor/Chairman, CS Polya 218 7*1079Floyd, R. W. Professor, CS Polya 253 71565Flynn, M. J. Professor, EE ERL 232 71U50

*Golub, G. H. Professor, CS Serra 12 7312*1Green, C. C. Asst. Professor, CS Polya 203 72780Hennessy, J. L. Asst. Professor, EE ERL 235A 71835Herriot, J. G. Professor, CS Polya 26 1 7*4.381

*Knuth, D. E. Professor, CSKumar, B. Asst. Professor, EE ERL 233A 71*11*1Losq, J. J. Research Associate, DSL ERL 226D 71*1*18Luckham, D. C. Sr. Res. Associate, CS A. I. 7*^971Manna, Z. Research Associate, CS A. I. 71208McCarthy, J. Professor/Act. Chr., CS A. I. 7*1*130McCluskey, E. J. Professor, EE/CS

Director, Computer Forum ERL 226b 71*4-51Miller, W. F. VP/Provost; Prof., CS Bldg. 10 7*1988Oliger, J. E. Asst. Professor, CS Serra 18 7313*1Oppen, D. C. Research Associate, CS A. I. 7*l-971Owicki, S. S. Asst. Professor, EE ERL 228 71075Peterson, A. M. Professor, EE Durand 227 7359^Samuel, A. L. Adj. Prof (Em), CS A. I. 7*^971Tarjan, R. E. Assoc, Professor, CS Polya 255 729*+3vanCleemput, W. Asst. Professor, EE ERL 228 71270Weyhrauch, R. Research Associate, CS A. I. 7)4971Wiederhold, G. Asst. Professor, CS ERL 233C 71255Wilkinson, J. H. Professor, CS Serra 71923

*Winograd, T. A. Asst. Professor, CS A. I. 7*1269Yao, A. C. Asst. Professor, CS Polya 266 71512Yao, F. F. Asst. Professor, CS Polya 262 71979

* on leave