Research Areas : Computer Systems

Research in CSL is both experimental and theoretical, traversing many domains: operating systems, computer networking, special architectures, compilers, programming languages, information management, graphics, security, reliability and fault tolerance, system specification and verification, user interfaces, integrated circuit design and special computer architectures.

Faculty

Research Focus

Alex Aiken	compilers, static race detection, debugging, algorithms, programming languages
Dan Boneh	applied cryptography, network security
David Cheriton	distributed systems
William Dally	high-speed signaling, multiprocessor architecture, graphics architecture, VLSI systems
David Dill	computational systems biology, formal verification techniques
Dawson Engler	source code analysis; software quality and security
Ron Fedkiw	computational algorithms for applications in computational fluid dynamics, computer graphics, biomechanics
Michael J. Flynn	systems architecture
Hector Garcia-Molina	distributed systems, information integration, database systems
Leonidas Guibas	computational geometry, image processing, graphics, computer vision, sensor networks, robotics, discrete algorithms
Patrick Hanrahan	visualization, graphics systems/architectures, rendering algorithms
Jeffrey M. Heer	human-computer interaction, visualization, social computing
John Hennessy	computer architecture
Mark Horowitz	digital circuit design, VLSI systems, computer architecture
Scott Klemmer	human-computer interaction
Vladlen Koltun	virtual worlds
Christos Kozyrakis	transactional memory, architectural support for security, power management techniques
Monica Lam	compilers, program analysis, operating systems, security, computer architecture, high-performance computing
Philip Levis	sensor networks
Marc Levoy	light field photography, 3D scanning, rendering
David Luckham	complex event processing
David Mazières	secure computing
Edward McCluskey	logic testing, synthesis, design for testability, and fault-tolerant computing
Nick McKeown	network architecture, backbone network design, congestion control, clean slate internet design
Teresa Meng	circuit optimization, neural signal processing, and computation architectures for systems biology
John Mitchell	computer security: access control, network protocols, privacy, software systems, web security
Subhasish Mitra	robust system design, VLSI design & test, computer architecture, design for emerging nanotechnologies, biomedical applications
Oyekunle Olukotun	pervasive parallelism, computer architecture, parallel programming environments and scalable parallel systems
John K. Ousterhout	web application development, storage systems, and operating systems
Balaji Prabhakar	computer and wireless networks, algorithms, stochastic network theory
Mendel Rosenblum	disk storage management, computer simulation techniques, scalable operating system structure, virtualization, computer security
Fouad Tobagi	wireless networks, multimedia communication (video streaming, voice over IP), mobile networking,
Jeff Ullman	database theory, database integration, data mining, and education using the information infrastructure
Jennifer Widom	information management
Gio Wiederhold	valuation of intangibles in software
Terry Winograd	human-computer interaction

Projects:

BioACT!

KIWI Project - Towards Self-Managed Wireless LANs

Light Fields & Computational Photography

PORTIA: Managing sensitive information in a wired world

TRIO: A System for Integrated Management of Data, Accuracy, and Lineage

WebBase Project

Wireless Implanted Networks