STANFORD COMPUTER FORUM

ERL 234 STANFORD, CALIFORNIA 94305

16 January 1980

To Computer Systems/ Faculty and Invited Guests EECEiiWIB) From: Bill Miller, Director and Conference Chairman 18 Sally Burns, Assistant Director E.A. FEIGENBAUM Subj: COMPUTER FORUM ANNUAL MEETING

It is our pleasure to invite you to the 12th Annual Meeting of the Stanford Computer Forum being held Thursday and Friday, 7 and 8 February 1980.

We encourage your participation at the Technical Sessions, the luncheons, the banquet and the Friday afternoon reception. All meals are without charge and for invitees only (sorry, no spouses).

A copy of the Program is attached. Please consult it for location of social events as well as for citation of topics which might be of interest to you in our Technical Sessions.

During the two days of our Meeting, we are provided with an excel- lent opportunity to get to know some of our colleagues in industry. To a large degree, they are coming to this Meeting to get acquainted with you. We would appreciate your attendance at as many functions (both social and scientific) as possible.

A list of attendees from our affiliate companies is enclosed.

A meal reply form is also enclosed. PLEASE COME TO THE MEALS and PLEASE COME TO THE MEALS YOU SAID YOU WOULD COME TO. Sally will accept either hard-copy replies or on-line responses (CSL. SALLY via SCORE) to your meal plans.

Please return your meal reply forms by 1 February 1980.

We need your enthusiastic involvement. We look forward to a most successful and interesting Twelfth Annual Meeting. xc (with ends.): R. W. Dutton, J. F. Gibbons, W. M. Kays, D. Kennedy, G. J. Lieberman, J. G. Linvill, R. W. Lyman, R. M. Rosenzweig, J. N. Rosse, H. L. Royden, R. L. Street (

STANFORD COMPUTER FORUM

ERL234 STANFORD UNIVERSITY STANFORD, CALIFORNIA 94305

TWELFTH ANNUAL MEETING

7, g February 1980 Tresidder Union Room 270-271

Opening Session: 9:00 - 9:15 a.m., Thursday, 7 February 1980

Conference Chairman: Professor William F. Miller

Opening Remarks: Dr. Robert M. Rosenzweig Vice-President of Public Affai rs Stanford University

Technical Session I: 9 : A - 10:35 a - m -

Chairman: Professor Douglas B. Lenat

The Use of Planning in Language Generation Douglas E. Appelt* Professor Terry Winograd

Representing Large Knowledge Bases Russell Greiner Professor

Planning Molecular Genetics Experiments: Constraint Posting Mark J. Stefik* Professor Bruce Buchanan

Ventilator Manager: A Program to Provide On-Line Consultative Advice in the ICU Lawrence M. Pagan* Professor Edward Feigenbaum

10:35 a.m. Coffee Break

x-denotes speaker Technical Session II: 10: a.m. - 12:15 p.m.

Chairman: Professor Zohar Manna

Can Verification Be Practical? A Case Study of the Verification of a Compiler Wolfgang Polak* Professor David Luckham

Expression Procedures and Program Derivation William L. Scherlis Professor Zohar Manna

Testing, Tracing, and Debugging Recursive Programs Martin F. Brooks Professor John McCarthy

Verifying Network Protocols Using Temporal Logic Brent T. Hailpern* Professor Susan Cwicki

12:25 Luncheon Room 28l (Large Lounge) Tresidder Union

Technical Session III: 1:30 - 3:10 P- m -

Chairman: Professor John G. Herriot

Numerical Fluid Dynamics Professor Robert S. Schreiber*-

Fast Numerical Solution of the Biharmonic Equation Petter E. Bjorstad* Professor Joseph Oliger

Some Numerical Problems in Control Theory Daniel L. Bo ley* Professor Gene Golub

Feature Extraction from Protein Electron M. Density Maps Eric H. Gross e Professor John Herriot

The Khachiyan Algorithm Richard E. Stone* Professor George Dantzig

3:15 p.m. Coffee Break

"^denotes speaker Technical Session IV: 3:35 - 5:15 p.m.

Chairman: Professor Gio Wiederhold

The study of databases is a relatively new area, increasing in importance. By offering a close linkage between computer scientists and computer users, databases allow scientific and engineering competence to be scrutinized directly by laymen. To manage data properly requires reliable hardware, algorithms, programming languages, and operating systems, offering many exciting research areas to explore.

Overview: Database Problems and Academic Research Professor Gio Wiederhold*

Lossless Joins Professor Jeffrey D. Ullman.*

Cooperative Responses to Queries Dr. S. Jerrold Kaplan*

Use of Domain Knowledge for Efficient Retrieval Jonathan J. King Professor Gio Wiederhold

A Relational Database Machine Architecture David Shaw* Professor Terry Winograd

Evening Activities

6:00 p.m. Cocktail Party Gold Lounge Stanford Faculty Club

7:00 p.m. Dinner Main Dining Room Stanford Faculty Club

Toastmaster: Professor William Miller Director Stanford Computer Forum

Speaker: Professor James F. Gibbons* Electrical Engineering Dept Stanford University

"Tutored Videotape Instruction for Off-Campus Education in Science and Engineering"

■^denotes speaker denotes highlight session Technical Session V: 9:00 - 10:20 a.m., Friday, 8 February

Chairman: Professor

A Language for Typesetting Graphics Christopher J. Van Wyk* Professor

Optimum Coalesced Hashing Jeffrey S. Vitter* Professor Donald Knuth

Some Aspects of Complexity Theory Professor Andrew C. Yao

Fill-in Bounds for Generalized Nested Dissection John R. Gilbert* Professor Robert Tarjan

10:20 a.m. Coffee Break

Technical Session VI: 10:^0 a.m. - noon

Chairman: Professor John L. Hennessy

A Statistical Study of Reliability and System Load at SLAC Steven E. Butner Professor Edward McCluskey

Message-Based Priority Functions in -x Multi-access Broadcast Systems Noel Gonzalez-Cawley Professor Fouad Tobagi

A Language-Oriented Approach to Computer Architecture Clark R. Wilcox* Professor Michael Flynn

Multi-Channel Digital Spectrum Analyzer Hardware Design Kok Chen, Kottappuram Mohiuddin* and Shankar Narayan Professor Allen Peterson

12:10 p.m. Luncheon Room 28l (Large Lounge) Tresidder Union

-^denotes speaker \j Technical Session VII: 1:10 - 2:50 p.m.

Chairman: Professor James H. Clark

Presentations of this session represent three types of Design Aid activity at Stanford. System Simulation is the theme of the first three speakers: each effort described is complemented and driven by actual Systems Design research, an important part of any Design Aid endeavor. The fourth speaker presents a specific VLSI Graphics Subsystem of potential use in all design systems. The third type of DA activity is represented by the last speaker who discusses circuit modelling and measurement work that is critical for accurate VLSI timing simulations.

Verification of Timing Constraints in ■x- Large Digital Systems Thomas M. McWilliams Professor Forest Baskett

Language and for Environment Multi- -x- level Simulation Dwight D. Hill Professor Willem vanCleemput

-X- A Microcode Simulator/PLA Compiler Professor John Hennessy

A VLSI Subsystem for Computer Graphics Professor James Clark'

VLSI Circuit Parameters Computed from Process Variables Professor Robert Dutton*

Tours: 3:00 - U:3O p.m.

Computer Forum guests are invited to participate in either or both of the tours planned for this time period.

One will be a visit to the new Computer Science Department quarters in Margaret Jacks Hall (Bldg. U6O) on the quadrangle. One walk-through will be conducted from 3:15 to 3A5 and the second, identical tour will take place from A OO to k'.^O. The tour will range from viewing the computing equipment located in the basement (the DEC-System 20 SCORE computer, the DEC XL/10—formerly housed at the A.I. Lab, and some new graphics printers) to the Xerox Altos and VAX computers housed on the fourth floor with brief stops in-between to see the improved offices on the second and third floors.

Marvin Theimer, the CS student representative to the Computer Forum Committee, will discuss logistics for participating in the Jacks tour at the luncheon on Friday.

denotes speaker \*4. denotes highlight session Tours (continued)

Our second tour will be to the Integrated Circuits Laboratory. Guests are asked to assemble in front of the main door to the Electrical Engineering Department (McCullough Building) . There will be two starting times for these tours: 3:00 and 3A5. The tour will cover the IC fabrication facility (lithography, implantation, CVD, ...IC appli- cation projects) plus demonstration of computer aids for IC technology.

Cary Kornfield, the CSL representative to the Computer Forum Committee, will elaborate upon arrangements to participate in this tour at the luncheon on Friday.

Individual Conferences

Forum attendees may choose to see individual faculty members or students in lieu of taking either tour mentioned above. These personal discussions are certainly encouraged and can be arranged directly with the person involved (see the Directory on the following page).

Reception: k: 30 - 6:00 p.m.

To become better acquainted with the faculty, staff and all students of the Computer Science Department and the Computer Systems Laboratory, an informal wine and hors d'oeuvres reception will be held in the Gold and Red Lounges of the Faculty Club as the "closing session" of our Annual Meeting.

Stanford Computer Forum Committee

Dennis P. Brown, Associate Chairman, Computer Science Department

Sally Burns, Assistant Director, Stanford Computer Forum

Michael J. Flynn, Professor of Electrical Engineering

Cary Kornfield, Ph.D. candidate, Department of Electrical Engineering

Douglas B. Lenat, Assistant Professor of Computer Science

William F. Miller, Director, Stanford Computer Forum; Professor of Computer Science

Marvin Theimer, Ph.D. candidate, Computer Science Department.

SB (1-16-80) DIRECTORY

FACULTY AND RESEARCH SUPERVISORS

Name Title Location Phone

Baskett, Forest Assoc. Professor, CS/EE ERL 228 71916 Binford, Thomas Research Associate, CS MJ 030L" 72797 Buchanan, Bruce Adjunct Professor, CS MJ 238 70935 Clark, James Act. Assoc. Professor, EE ERL 231 71414 Dantzig, George Professor, CS Terman 418 71304 Earnest, Lester Senior Research Assoc, CS MJ 360 74202 Feigenbaum, Edward Professor/Chairman, CS MJ 216 74079 Floyd, Robert Professor, CS MJ 338 71565 Flynn, Michael Professor, EE ERL 232 71450 Golub, Gene Professor, CS MJ 306 73124 Hennessy, John Asst. Professor, EE ERL 228 71835 Herriot, John Professor, CS MJ 310 74381 *Knuth, Donald Professor, CS MJ 328 74367 Lenat, Douglas Asst. Professor, CS MJ 230 70304 Luckham, David Adjunct Professor, EE ERL 235A 71242 Manna Zohar Professor, CS MJ 336 71208 *McCarthy, John Professor, CS MJ 356 74430 McCluskey, Edward Professor, CS/EE ERL 2268 71451 Metcalfe, Robert Consult. Assoc. Prof.,EE Miller, William Professor, CS/GSB SRI Director, Computer Forum Oliger, Joseph Associate Professor, CS MJ 308 73134 Oppen, Derek Senior Research Assoc, EE ERL 236A 70776 Owicki , Susan Associate Professor, EE ERL 233A 71075 Peterson, Allen Professor, EE Durand 227 73594 Samuel , Arthur Adjunct Professor, CS MJ 436 A 73330 Schreiber, Robert Asst. Professor, CS MJ 312 71923 Tarjan, Robert Associate Professor, CS MJ 330 72943 Tobagi, Fouad Asst. Professor, EE ERL 234A 71708 Ullman, Jeffrey Professor, CS MJ 332 71512 vanCleemput, Will em Asst. Professor, EE ERL 230 71270 Wakerly, John Consult. Assoc. Prof ., EE ERL 2338 79388 Wiederhold, Gio Asst. Professor, CS MJ 438 70685 Wilkinson, James Professor, CS MJ 309 74269 Winograd, Terry Asst. Professor, CS MJ 236 72780 Yao, Andrew Asst. Professor, CS MJ 334 71979

* on leave OFFICE MEMORANDUM " STANFORD UNIVERSITY " OFFICE MEMORANDUM STANFORD UNIVERSITY OFFICE MEMORANDU k

COMPUTER SYSTEMS LABORATORY > Date: 16 Jan 80 c To File

From Sally < Subject: to Computer Meeting < Invitees the 12th Annual Forum "i r

Amdahl Corp. GE c Dr. Chacko Neroth Mr. Jack Harriman Mr. Robert Lent Mr. Aksel Olesen Mr. David Anderson Mr. P. S. Potts c Dr. Richard L. Shuey 3 IBM Signetics Corp. Mr. Frank King > Dr. Jean-Marie Cadiou Mr. Gabriel Morretti Horace Flatt Dr. Roger Badertscher Dr. Joel Birnbaum BNR, Inc. Hewlett-Packard Mr. Robert Gaskins Dr. Donald Senzig Mr. Glenn Stewart Dr. E. David Crockett Dr. Robert Kelsch Mr. James Duley c Control Data Cor Hitachi Ms. Dorothy B. Horning *\ Mr. Naoya Takahashi Mr. James Emery ii' Mr. Katsura Mr. Daniel J. Desmond Mr. K. Yasui Tektronix, Inc. Fujitsu > Mr. Ned Phanhouser Mr. Yoshio Honda Dr. Richard LeFai vre c Mr. Hi romu Hayashi Dr. Mayer Schwartz i Fairchild Corp. Teradyne, Inc. V 7 -n Mr. Peter Verhofstadt Mr, Hira Ranga o Dr. Edward Belt Mr. James Nelson Mr. Robert W. Clough Mr. Garry Gi llette

National Semiconductor, Inc. Texas Instruments , Inc.

2"

m a: m ? O TO > OFFICE MEMORANDUM " STANFORD UNIVERSITY OFFICE MEMORANDUM STANFORD UNIVERSITY OFFICE MEMORANDU 2 * COMPUTER SYSTEMS LABORATORY DatE: 16 Jan 80 To File

From Sally

Subject: invitees to the 12th Annual Computer Forum Meeting

Siemens NCR Corp. Mr. Eckhard Baltin Mr. Natu P. Patel Mr. Wolfgang Wenderoth Dr. James Whalen Mr. Kenneth Anderson Mr. Steven Schlesinger

Bell Labs North American Philips Corp. Dr. Alan M. Usas Dr. Paul Rutter Dr. A. V. Aho Dr. Jerry S. Sullivan Dr. Elliot N. Pinson Schlumberger Burroughs Corp. M. Phillipe Rossi Mr. W. Michel itti Mr. Dennis O'Neill Mr. Hanon Potash Mr. Lamar Ledbetter Mr. Jogn Van Zandt Sperry Digital Equipment Corp. Dr. Richard L. Wexelblat Mr. Robert Kusik Dr. George Champine Dr. James Bell Dr. Ted Bonn

Honeywell Intel Dr. Robert Krutz Dr. Terry Opdendyk Dr. Choh Li Mr. Lee Wilkinson Dr. Fred Dorr Hughes Aircraft Co. Mr. Thomas J. Burns Mr. L. W. Beck Mr. C. W. Lobb Mr. Donald H. Close

International Computers, Inc.

Mr. David J. Dace fr Mr. Mahendra Patel

z

5