Distinguished Colloquium Series Speaker

E-commerce applications require simple, and well-designed systems, and systems that work well even if users participate in multiple mechanisms (and the value of each player overall is a complex function of their outcomes).

The developer of a high assurance system must justify the fitness of the system for the intended use.

Inspired by Barbara Liskov's brilliiant Turing Lecture on "The Power of Abstraction", I will discuss the role of abstraction in networking.

"Why was I not shown this advertisement? Why was my loan application denied? Why was I denied admission to this university?"

Over recent years, computer vision has made great strides towards annotating parts of an image with symbolic labels, such as object categories or segment types.

Over the last several decades computer architects have been phenomenally successful turning the transistor bounty provided by Moore's Law into chips with ever increasing single-threaded performance.

Abstraction is at the center of much work in Computer Science. It encompasses finding the right interface for a system as well as finding an effective design for a system implementation.

This talk takes you behind the scenes at Pixar Animation Studios for a look at how its 3D computer graphics films are made.

Disk-oriented approaches to online storage are becoming increasingly problematic: they do not scale gracefully to meet the needs of new large-scale Web applications, and improvements in disk capacity have out-stripped improvements in access speed.

This talk describes a radically different architecture for computing called Fleet.