Distinguished Colloquium Series Speaker

*This talk is open only to Princeton University faculty, staff, and students. 
Please register for this webinar here.

The internal design of software—how the code is structured—is powered by familiar abstractions (such as abstract types, classes and modules). But the external design—how the software actually behaves—is usually viewed informally, without the guidance of robust abstractions.

Just as you wouldn't want to be in a car without seat belts, even if it's a self-driving car, you probably don't want your Self-Driving Network (SelfDN) to rely completely on control-theory or ML, no matter how sophisticated or formally verified.   While autonomous systems promise to so

Machine learning algorithms are ubiquitous in most scientific, industrial and personal domains, with many successful applications.

Determining whether online users are authorized to access digital objects is central to preserving privacy. This talk presents the design, implementation, and deployment of Zanzibar, a global system for storing and evaluating access control lists.

The network edge—where the access networks that connect homes, businesses, and mobile users to the Internet are implemented—is in the midst of a transformation.

In May 2013, Georgia Tech together with its partners, Udacity and AT&T, announced a new online master’s degree in computer science delivered through the platform popularized by massively open online courses (MOOCs).

Despite rapidly increasing enrollment in CS courses, the academic CS community is failing to keep pace with demand for trained CS students, leading to escalating starting salaries for our students.

The ongoing shift of enterprise computing to the cloud provides an opportunity to rethink operating systems for this new setting.  I will discuss two specific technologies, kernel bypass for high performance networking and low latency non-volatile storage, and their implications for operatin

When software engineers re-implement a high-performance research prototype code, one often observes one to two orders of magnitude drop in performance. This holds even if both implementations use the same language.