COMPUTER SYSTFMS LABORATORY.i STANFORD ELECTRONICS LABORATORIES

DEPARTMENT OF ELECTRICAL ENGINEERINGSTANFORD UNIVERSITY ■ STANFORD. CA 94305

OPPORTUNITIES

FOR GRADUATE STUDY

IN THE COMPUTER SYSTEMS LABORATORY

▼

OCTOBER 1978

t

*

*i

j

COMPUTER SYSTEMS LABORATORY

Computer system design is the major focus of the laboratory. Its uniquestrength derives from the fact that it combines within a single organizationa broad set of related design topics. These range from integrated circuitdesign to techniques for program verification. Rather than separating con-siderations of hardware design from software issues, all aspects of computersystems are treated in an integrated fashion. Faculty and students from bothElectrical Engineering and Computer Science Departments participate in labor-atory programs, and cooperative programs with the Integrated Circuits Labora-tory to support VLSI activities are becoming increasingly important.

Several activities in the laboratory highlight current interests. TheEmulation Laboratory is designed to support general research in the area ofemulation. It includes a universal host machine, the EMMY, which has beenespecially designed to be an unbiased yet efficient host for a wide range oftarget machine and high level language-based architectures. The Center forReliable Computing studies design and evaluation of fault-tolerant and grace-fully-degrading systems, validation and verification of software, and effi-cient testing techniques. In addition, one of the most comprehensive auto-matic Program Verification systems exists in the CSL. The system currentlydeals with Pascal programs, and is being extended to include programs withabstract data types. Other work in this area includes verification tech-niques for concurrent programs, designing verifiable programs, and automatedtheorem-proving. The Center for Design Automation is a collaborative effortbetween CSL and the Integrated Circuits Laboratory. The scope of the re-search ranges from IC process modelling and circuit analysis to circuit lay-out, system level simulation and hardware description languages.

Topics of current research interest in CSL include:

Compilation techniques Microprocessor architecturesMulti -processor systemsComputer communication networks

Database systems MultiprocessorsDesign automation Multi-valued integrated circuits

Operating systemsDirectly executed languagesDistributed computing Performance measurement

Performance modellingProgramming languagesProgram verification

EmulationFault testingFault-tolerant computers

PROGRAMS

Master of Science in CS or EE: Computer Engineering

The degree of Master of Science in CS or EE: Computer Engineering may beconferred upon students who wish to develop a competence in the design of sub-stantial software-hardware computer systems. Programs include at least 42quarter units and typically take one full -time year.

Detailed information regarding this program can be found in the COURSES& DEGREES BULLETIN, under the departmental listing of the Electrical Engineer-ing Department or the Computer Science Department.

i

1

i

k

Master of Science in CS or EE

Candidates for the M.S. degree in either the Computer Science Departmentor the Electrical Engineering Department may specialize in Computer Systemsby taking major course sequences in this area. Naturally students will alsohave to satisfy departmental distribution requirements. More detailed inform-ation is available in COURSES & DEGREES BULLETIN.

Doctor of Philosophy

Students with research interests in Computer Systems may pursue the Ph.D.degree through either the Electrical Engineering or the Computer Science De-partment. General requirements and admissions pol icies of the departments arefound in the COURSES & DEGREES BULLETIN.

Note that in the Computer Science Department students (both post-B.S.and post-M.S.) apply directly for Ph.D. study. In the Electrical EngineeringDepartment post-M.S. students apply directly with sponsorship of a facultymember, while pre-M.S. students are admitted to Ph.D. study after passing aqualifying examination given each January.

FINANCIAL SUPPORTResearch and teaching assistantships are available through the laboratory.

These assistantships carry stipends ranging from approximately $2,925 to $4,536for the academic year and provide tuition payments for 9 units per quarter. Ad-ditional support for the summer quarter is available. A special $l ,000 fellowship,the Phong Bui-Tuong Memorial Fellowship, will be awarded to the most promisingentering graduate student each year.

PHONG BUI-TUONG MEMORIAL FELLOWSHIPA special $1,000 fellowship will be awarded to the most promising enter-

ing graduate student with an interest in computer systems. All students areautomatically considered.

APPLICATIONSApplications for admission are available from:

Graduate Admissions OfficeStanford UniversityStanford, CA 94305

Applications for 1979-1980 should be filed as soon as possible, with adeadline of January 15, 1979 in both Electrical Engineering and ComputerScience Departments. Please indicate your interest in the Computer SystemsLaboratory on the application.

COMPUTER FACILITIESThe Computer Systems Laboratory facilities include: a terminal facility

area, a DEC System 20, the Emulation Laboratory, several microcomputer development systems, several HP2IOO and 21MX minicomputers, several HP3OO (Amigos)computers, and the Distributed Computing Laboratory which will contain a net-work of 12 small computers and at least one large one.

*

HP 21 MX minicomputers, used for the EE 181/CS 111 introductory course oncomputer organization and assembly language programming.

A DEC PDP-11/20, used for the EE 288 systems programming lab and forsoftware research projects.

A Digital Logic Laboratory, containing breadboards, IC's, and test equip-ment for the EE 183 logic lab and research projects requiring construction ortesting of logic circuits.

A Microprocessor Laboratory, containing microprocessor breadboards anddevelopment systems for use in the EE 281 microprocessor lab course and byspecial student projects and research projects such as microprocessor-basedmedical data acquisition system

An Emulation Laboratory, based on a 32-bit user-microprogrammable high-speed processor called EMMY. This machine is used for microprogramming spe-cial projects and for research on microprogramming, emulation and directly-executable languages. Emulators have been written on EMMY for several largeand small computers, including the IBM 360/370 and the Intel 8080.► The Design Automation Laboratory, containing an HP 2100S computer, dedi-cated to logic simulation and fault test generation using the HP-TESTAID soft-ware. In addition some computer graphics equipment is available for DA tasks.A major expansion in the area of color graphics is now underway.

The Center for Reliable Computing, using two terminals to facilitate re-search activities in the area of fault-tolerant computing. A terminal roomhouses a Diablo 1620 hard copy terminal; a Hazeltine 1510 CRT terminal isavailable in the general office area.

The Computer Systems Laboratory Terminal Room, housing a collection ofCRT graphics and hard copy terminals. It is available 24 hours/day for gen-eral use by students, and provides access to any of the computer systemslisted below:

LOTS - DEC System 20 for instructional use.SAIL - PDP 10 for research in Artificial Intelligence.SUMEX - PDP 10 for research in medical related areas.SCIP - IBM 370/168 for general university-wide computing.

SLAC - two IBM 370/168 and a 360/91 for research of interest> to the Linear Accelerator group.

»

I

1

f.

\

COURSESCourses in Computer Systems

(Note: When courses are cross-listed in Computer Science and Electrical Engineering,both numbers are shown.)

EE 180EE 181

EE 182EE 183EE 274EE 280A,8EE 281EE 283EE 284EE 285EE 286EE 287EE 288EE 380EE 381AEE 381 8EE 383EE 385AEE 3858EE 385CEE 385DEE 385EEE 385FEE 386A,8EE 387EE 388EE 389EE 392C

CS 107CS 111

CS 112CS 193

CS 194

CS 151CS 142CS 143CS 145CS 191CS 310CS 211 ACS 211 8CS 243CS 319ACS '31 98CS 31 9CCS 31 9DCS 31 9ECS 319FCS 246A,8

CS 247CS 242

Systematic Programming (Aut ,Win,Spr)Introduction to Computer Organization, Machine and

Assembly Languages (Aut, Win,Spr,Sum)Digital Computer Organization (Aut, Win)Digital Logic Laboratory (Aut, Spr)The Computer as a Laboratory Instrument (Aut, Win,Spr , Sum)Computer Applications Laboratory (Win, Spr)Microcomputer Laboratory (Aut,Win,Spr)Analog Computer Design and Application (Spr)Introduction to Discrete Mathematics (Win)Language Features and Their Implementation (Aut,Win)Compilers (Win)File and Database Systems (Win)Computer Systems Laboratory (Spr)Seminar on Computer Systems (Aut, Win, Spr)Theory of Switching (Aut,Win,)Logic Design and Digital Systems (Win, Spr)Compiler Project (Spr)Digital Reliability Seminar (Aut,Win, Spr, Sum)Computer Systems Analysis Seminar (Aut, Spr)Computer Architecture and Emulation Seminar (Aut, Win,Spr)Design Automation Seminar (Aut,Win)Concurrent Programming Seminar (Aut,Win ,Spr)Distributed Computing/Computer Communications (Aut, Win,Spr)Operating System Design (Win,Spr)Algebraic Coding Theory (Aut, Spr)Computer Systems Evaluation (Spr 1980)Programming Language Design (Aut)Program Verification (Win)

(Aut)

»

Courses in Computer Systems (continued)

EE 481EE 482EE 483EE 484

EE 485

CS 341 Computer-Aided Design of Digital Systems (Spr)"» CS 311 Advanced Computer Organization (Aut, Spr)

CS 341 Topics in Concurrent Programming (Spr)Computer Communications Networks (Spr)Advanced Computer Systems (Aut,Win, Spr,Sum)

CS 144A,8 Data Structures (Win, Aut)CS 150 Introduction to CombinatoIntroduction to Combinatorial Theory (Win)

Formal Languages (Spr)CS 154CS 155 Concrete Mathematics (Aut)CS 156 Introduction to the Mathematical Theory of Computation

CS 190 Assembly Language Programming (Aut)CS 206 Computing with Symbolic Expressions (Aut, Spr)CS 246 Operating Systems (Aut)CS 247 Computer System Evaluation (Spr alternate years, 1980)CS 293 Computer Laboratory (Aut,Win, Spr, Sum)

f CS 300 Computer Science Colloquium (Aut,Win, Spr)

Some 3-Course Sequences in Computer Systems

(Select a sequence of 3 courses across a single line.)

EE 381A, 3818, 388, 481, 482, 484EE 285, 286, 287, 386A, 388, 484

FACULTY4

Research Opportunitie $ in the Computer Systems Laborator\

Listed below are thumbnail sketches of the Computer Systemsfaculty. While their major research activities have been cited,every attempt will also be made to accommodate students with re-search interests not covered by one of these activities. Formore information contact the faculty members listed.

Forest Baskett, Associate Professor of Computer Science and ElectricalEngineering, Ph.D. (CS), University of Texas at Austin, 1970, is inter-ested in the design and analysis of computing systems and comput-ing system components. While on leave for the past two years atLos Alamos Scientific Laboratory, he worked on designing and im-plementing the DEMOS operating system for the CRAY-1 computer andplans to pursue the potential of that system as the basis for adistributed operating system in a network environment. In addi-tion, Professor Baskett has been involved in the development ofsome Markov models of the DEMOS' sophisticated file system to pre-dict and analyze the performance of the buffering scneme used bythe file system. He is interested in designing and developingdisplay oriented personal computing systems in a scientific net-working environment, including a multiprocessor computing engine.He also expects to continue his work in the measurement and analy-sis of computer system components, including CPU structures.t

Michael J. Flynn, Professor of Electrical Engineering, Ph.D. (EE)Purdue University, 1961, is interested in computer organization,particularly the design and architecture of computer systems usingparallel processors, and multiprocessors. Professor Flynn has de-veloped the Emulation Laboratory and conducts studies in the areasof microprogramming, interpretive languages, and the coordinationof asynchronous processes.

John L. Hennessy, Assistant Professor of Electrical Engineering, Ph.D.(CS), State University of New York at Stony Brook, 1977, has beeninterested in programming language design and programming method-ology, particularly with the aim of increasing software reliabilityHe is also interested in distributed computing systems, operatingsystems, and microprocessors.

Balasubramanian Kumar, Assistant Professor of Electrical Engineering,Ph.D. (CS), University of Illinois, 1978, has been interested incomputer system architecture and performance and modelling. He isalso interested in the analysis and synthesis of hardware and soft-ware structures for distributed systems, especially for high-speedcomputation.

i

\

s>

I

1

r

/

Faculty (continued)

David C. Luckham, Adjunct Professor of Electrical Engineering, Ph.D.(Mathematical Logic), Massachusetts Institute of Technology, 1963.,is known for his work on the theory of program schemes and onautomated theorem proving. Professor Luckham is currently work-ing on the design of program specification languages, the designand implementation of concurrent programming languages, and onautomated aids to programming. He leads a research group whichis implementing program verifiers and investigating their appli-cation to various aspects of software production including de-bugging, documentation, and automatic programming.

Edward J. McCluskey, Professor of Computer Science and Electrical En-gineering, Sc.D. (EE), Massachusetts Institute of Technology,1956, is widely known for his contributions to switching theory,and is the author of a standard text on the subject. His currentresearch efforts are directed toward the area of fault-tolerantcomputing. His major investigations are centered around theevaluation of various redundancy techniques for ultra-reliablecomputers and around design and testing problems for highly avail-able and maintainable systems, including multiprocessors.

Robert M. Metcalfe, Consulting Associate Professor of Electrical Engin-eering, Ph.D. in Applied Mathematics, specializing in ComputerScience, Harvard University, 1973, is currently working on computercommunication. His other research interests include packet switch-ing, computer communication protocols, distributed operating systems,and the application of distributed computing and computer communica-tion techniques to the problems of building very large scale integra-tion systems.

Susan S. Owicki , Assistant Professor of Electrical Engineering, Ph.D. (CS),Cornell University, 1975, has been investigating proofs of correct-ness for parallel programs. Her main research interests lie in thearea of parallel systems and program verification, and she is alsoinvolved in investigating design methodologies for program systems,programming language semantics, operating systems, structured pro-gramming, and distributed computing.

Allen M. Peterson, Professor of Electrical Engineering, Ph.D. (EE),Stanford University, 1952, is Co-Director of the Stanford Centerfor Radar Astronomy and Senior Scientific Advisor in the Electronicsand Radio Sciences Division of SRI. He is best known for his dis-covery of the backscatter phenomenon in radio communication. Pro-fessor Peterson's computer research investigations lie in the areasof digital systems design and hardware implementation, digital sig-nal processing, speech processing and picture compression. He alsoconducts radioscience research investigations into the remote sens-ing of atmospheres and oceans, and the study of space systems.

a

\

>

«

Faculty (continued)

Fouad A. Tobagi , Assistant Professor of Electrical Engineering, Ph.D. (CS),University of California - Los Angeles, 1974, has been interested inthe mathematical modeling, analysis, and optimization of computer sys-tems, data communication systems, and computer networks. For the pastfive years, he was heavily involved in the design, analysis and measure-ments of the Packet Radio Network, an ARPA sponsored system based onthe concept of packet broadcasting. Professor Tobagi 's current researchfocuses on the packet switching technique and its use in satellite andground radio environments. His research interests extend also to theuse of computer networks for the transmission of data under real timeconstraints. This includes the design, analysis and performance eval-uation of real time transmission protocols in networks of various types,and the analysis of their behavior in internetwork environments encom-passing several networks of different types.

Willem M. vanCleemput, Assistant Professor of Electrical Engineering,Ph.D. (CS), University of Waterloo, 1975, has been conducting re-search studies in design automation of digital systems, includingthe layout of printed and integrated circuits, digital designlanguages, VLSI systems design, and applications of graph theoryto computer design.

Gio C. M. Wiederhold, Assistant Professor of Computer Science, Ph.D.(Medical Information Science), University of California - SanFrancisco, 1976, has been developing methods for the design offile and database systems and their application to planning andmedicine. His extensive consulting and industrial experiencehave led to a standard textbook on database design. Earlier workincluded the development of programming and operating systems, aswell as the architecture of high performance data-processing sys-terns. His current interests include the application of artificalintelligence (knowledge based systems) methods to large databasesand the development of systems to support and use multi -computernetworks, and the refinement of structured and quantitative ap-proaches to system design.

Dr

*

I

1

»

v

COMPUTER SYSTEMS LABORATORY LECTURERS

D. R. Allison Lecturer in Electrical EngineeringPrivate Consultant

J. R. Jacobs Lecturer in Computer ScienceHewlett-Packard Company

S. H. P. Lee Lecturer in Electrical EngineeringAmdahl Corporation

F. W. Terman Lecturer in Electrical EngineeringPrivate Consultant

J. F. Wakerly Lecturer in Electrical EngineeringBell Northern Research, Inc..

RESEARCH ASSOCIATES

Danielle Beaudry, Ph.D. Department of Electrical EngineeringStanford University, 1978

design and evaluation of ultra-reliable computers and performance-basedreliability measures for computer systems.

University of Toronto, 1975

implementation of automated program-analysis systems and the design ofefficient algorithms for automatic deduction.

VISITORS(Recent and Current)

Ms. Frances E. Allen - Consulting ProfessorManager, Experimental Compiling SystemsIBM Thomas J. Watson Research CenterYorktown Heights, New York

Professor Martin Freeman - Visiting Associate ProfessorAssociate ProfessorDepartment of Mathematics, Statistics and Computer ScienceAmerican UniversityWashington, D.C.

Dr. Derek C. Oppen, Ph.D. Department of Computer Science

.I

i

1

VISITORS

(continued)

Professor John P. Hayes - Visiting Associate ProfessorAssociate ProfessorDepartment of Electrical EngineeringUniversity of Southern CaliforniaLos Angeles, California

Professor Valerii V. KiryukhinAssociate Professor

Visiting Associate Professor

Department of Computer ScienceSebastopol Institute of Instrument EngineeringSebastopol , U.S.S.R.

Professor Hans Martin Li pp - Visiting ProfessorProfessorDepartment of Electrical EngineeringUniversity of KarlsruheWest Germany

Professor Bruce C. Lutz - Visiting ProfessorProfessorDepartment of Electrical EngineeringUniversity of DelawareNewark, Delaware

Patrick E. Mantey - ConsultingManager, Advanced ApplicationsComputer Science

ProfessorDepartment

IBM Research LaboratorySan Jose, California

Professor Elliot Organick - Visiting ProfessorProfessorComputer Science DepartmentUniversity of UtahSalt Lake City, Utah

Professor Reijo Sulonen - Visiting Assistant ProfessorAssistant ProfessorLaboratory of Information Processing ScienceHelsinki University of TechnologyEspoo, Finland

Professor Ursula M. vonMaydellAssociate Professor

Visiting Associate Professor

Department of Computer ScienceUniversity of AlbertaEdmonton, Canada