STANFORD COMPUTER FORUM ERL 234 STANFORD UNIVERSITY STANFORD, CALIFORNIA 94305 16 January 1980 To Computer Systems/Computer Science 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 Douglas Lenat 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 Robert Tarjan A Language for Typesetting Graphics Christopher J. Van Wyk* Professor Donald Knuth 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.