Wikiuser at 20:57, 21 August 2008

2008-08-21T20:57:52Z

Wikiuser: 1 revision

2008-04-21T14:52:43Z

1 revision

Wikiuser at 17:12, 7 April 2008

2008-04-07T17:12:47Z

New page

[http://csl.stanford.edu/ Computer Systems Laboratory (CSL)]

[http://simos.stanford.edu/~mendel/ Mendel Rosenblum], '''Director, Gates 309 (650)725-0474''', [mailto:mendel@cs.stanford.edu mendel at cs.stanford.edu]

<br> The Computer Systems Laboratory (CSL) is a research and teaching laboratory jointly sponsored by the Departments of Electrical Engineering and Computer Science. Research in CSL spans all areas of computer systems, from programming language theory and verification to integrated circuit design and special computer architectures. CSL enjoys an ample and varied computing environment. Approximately 175 faculty, staff and students contribute to the teaching and research efforts of CSL.

CSL is at the forefront of applying research results to a wide range of applications. A large concentration of systems research takes place within CSL. It is internationally recognized for its excellence; the faculty, research staff and students are widely known for their leadership in developing new ideas and trends in the organization, design and use of computers.

The systems area encompasses both experimental and theoretical work involving topics in operating systems, computer communication, hardware architecture, [http://en.wikipedia.org/wiki/compilers compilers], [http://en.wikipedia.org/wiki/programming_languages programming languages], [http://en.wikipedia.org/wiki/database_systems database systems], and graphics. The systems faculty are now pursuing research interests that represent extensions of these areas as well as exciting combinations of techniques and issues from several of these areas. For example, work in distributed systems represents a synthesis of work in operating systems, computer communication, graphics, and database systems. Database research is extending into knowledge bases and logic programming. Work in [http://en.wikipedia.org/wiki/VLSI VLSI] design, factory automation, and [http://en.wikipedia.org/wiki/programming_environments programming environments] is also evolving. Finally, the systems faculty are involved in a number of ways with issues of parallel computation. Projects here include new multiprocessor machines, operating systems, languages for [http://en.wikipedia.org/wiki/parallel_computation parallel computation], and new parallel algorithms and programs. Other major areas of interest include computer architecture, [http://en.wikipedia.org/wiki/concurrent_programming concurrent programming], laboratory automation, reliability and [http://en.wikipedia.org/wiki/fault_tolerance fault tolerance], design automation, program specification and verification, and [http://en.wikipedia.org/wiki/user_interfaces user interfaces].

====== Large active research projects in CSL include: ======

Current Research in the '''Center for Reliable Computing''' is concentrated in three projects: TOPS - a high level synthesis system for designs including concurrent checking, design-for-testability and Built-In Self-Test; ELF - development of techniques for identifying elusive failures and evaluation of these techniques with experimental chips; ARGOS-design of fault tolerant features for inclusion on an experimental satellite.

'''Clean Slate Design for the Internet''' ([http://cleanslate.stanford.edu cleanslate.stanford.edu]): The Internet architecture is largely unchanged for 40 years and shows signs of its age, particularly in terms of network security, reliability and economic sustainability. This new interdisciplinary and interdepartmental research program includes a number of projects and research groups, and re-examines the architecture of the Internet.

Executive Director: Guru Parulkar.

<br> The '''Communications Networking''' group examines computer communications; Packet radio and [http://en.wikipedia.org/wiki/satellite_networks satellite networks]; [http://en.wikipedia.org/wiki/local_area_networks local area networks], including high speed [http://en.wikipedia.org/wiki/fiber_optics fiber optics] communications and integrated services; VLSI implementation of network functions; and performance evaluation by mathematical modeling and computer simulation.

The '''Computer-Aided Design''' group investigates algorithms for synthesis, verification and simulation of large scale digital circuits as well as develops [http://en.wikipedia.org/wiki/CAD CAD] programs for these tasks.

The '''Distributed Systems''' group is exploring distributed systems and [http://en.wikipedia.org/wiki/parallel_systems parallel systems] issues by designing new [http://en.wikipedia.org/wiki/Communications_protocol high-speed protocols], building scalable shared memory multiprocessor hardware, and implementing a new generation of distributed parallel operating system, extending the early work based on the [w:System V|V Distributed System]]. The work also includes exploration of techniques for structuring demanding applications in this parallel, distributed environment.

The '''Emulation''' Laboratory supports general research in the area of [http://en.wikipedia.org/wiki/emulation emulation], [http://en.wikipedia.org/wiki/simulation simulation] and [http://en.wikipedia.org/wiki/evaluation evaluation] of [http://en.wikipedia.org/wiki/computer_architecture computer architecture].

The '''Graphics and Visualization''' group is currently building two state-of-the-art laboratories to support research in computer graphics and scientific visualization. Facilities include several kinds of high-performance [http://en.wikipedia.org/wiki/3D 3D] graphics workstations, a complete video editing suite, and a multi-workstation computer graphics instructional laboratory. Current research focuses on [http://en.wikipedia.org/wiki/photorealistic photorealistic] [http://en.wikipedia.org/wiki/image_synthesis image synthesis], [http://en.wikipedia.org/wiki/volume_rendering volume rendering] and modeling, scientific visualization, and high-performance graphics architectures.

The '''Manufacturing Automation''' group investigates the complete automation of high technology manufacturing, such as integrated circuit fabrication.

The '''Program Analysis and Verification''' group is largely devoted to developing new programming languages for parallel processing, [http://en.wikipedia.org/wiki/specification_languages specification languages], and advanced programming environment tools.

The '''[http://en.wikipedia.org/wiki/Robust_System_Design Robust System Design]''' group focuses on building robust computer systems and [http://en.wikipedia.org/wiki/information_appliances information appliances] resilient to [http://en.wikipedia.org/wiki/hardware_malfunctions hardware malfunctions], [http://en.wikipedia.org/wiki/software_failures software failures] and [http://en.wikipedia.org/wiki/malicious_attacks malicious attacks]. Research covers various aspects of VLSI design and test, computer-aided design, computer architecture, compilers and applications. Technologies for designing robust systems in emerging [http://en.wikipedia.org/wiki/nanotechnologies nanotechnologies] are being explored.

The '''VLSI Systems and Design''' group is actively involved with the study of new [http://en.wikipedia.org/wiki/VLSI VLSI] architectures, including [http://en.wikipedia.org/wiki/multiprocessor multiprocessors] and VLSI design automation.

Other topics of current research interests in CSL include: [http://en.wikipedia.org/wiki/database_systems database systems], design and analysis of [http://en.wikipedia.org/wiki/geometric geometric] [http://en.wikipedia.org/wiki/algorithms algorithms], [http://en.wikipedia.org/wiki/digital_printing digital printing] and document preparation, [http://en.wikipedia.org/wiki/multiprocessor_systems multiprocessor systems], multi-valued [http://en.wikipedia.org/wiki/integrated_circuits integrated circuits], [http://en.wikipedia.org/wiki/operating_systems operating systems], [http://en.wikipedia.org/wiki/performance_measurement performance measurement] and modeling, program development systems, and [http://en.wikipedia.org/wiki/programming_language_design programming language design].

[[Information Systems Laboratory (ISL)|Next]]

[[Category:Research]] [[Category:Labs]]

← Older revision		Revision as of 20:57, 21 August 2008
Line 39:		Line 39:
	[[Information Systems Laboratory (ISL)\|Next]]		[[Information Systems Laboratory (ISL)\|Next]]

−	[[Category:Research]] [[Category:Labs]]	+	[[Category:Research]] [[Category:Labs]] [[Category:Handbook]]

Computer Systems Laboratory (CSL) - Revision history

Wikiuser at 20:57, 21 August 2008

Wikiuser: 1 revision

Wikiuser at 17:12, 7 April 2008