Behnaz Arzani – Nov 19 2018

Towards networks that manage themselves The goal of data center operators is to provide high availability to their customers. Data center networks operate at massive...

Xin Jin – Nov 9 2018

Title: Co-designing networks and distributed systems with programmable switches Abstract: In this talk, we will present a new paradigm that co-designs networks and distributed systems with...

Andrew Head – Nov 7 2018

Interactive Tools for Creating and Explaining Code Examples Producing great code examples is a time-intensive, iterative, and fundamentally creative process. In this talk I describe...

Bernd Fischer – Nov 2 2018

Seeing Things in the Clouds: Browsing Semi-Structured Data with Tag Clouds over Concept Lattices Search is one of the most common operations on the internet,...

Junchen Jiang – Oct 26th 2018

Enabling Data-Driven Optimization of Quality of Experience for Internet Applications CIT 477 Abstract: Today’s Internet has become an “eyeball economy” dominated by applications such as video...

Michael Greenberg – Oct 19 2018

Rehabilitating the POSIX shell We build intricate systems with complex algorithms and invariants, aiming for guarantees of correctness and performance... and then we maintain and deploy these...

Steve Reiss – Oct 12 2018

The Paradox of Software Visualization Retrospective Software visualization seems like such a logical and helpful concept with obvious benefits and advantages. But after decades of research and...

Yaron Minsky – Oct 1 2018

State machine replication and the modern exchange Electronic exchanges play an important role in the world's financial system, acting as focal points where actors from across...

Jennifer Rexford – Sep 26 2018

Networks Capable of Change The early designers of the Internet fostered tremendous innovation by leaving much of the network’s functionality to the programmable computers at...

Keith Winstein – May 4th

Title: Tiny functions for codecs, protocols, compilation, and (maybe) soon everything Abstract: Networks, applications, and media codecs frequently treat one another as strangers. By expressing large systems as compositions...

Fahad Dogar – April 27th

Title: Re-architecting Network Services for Modern Networked Applications Abstract: Modern networked applications often have stringent performance requirements, which stress the simple TCP/IP service model of today’s...

Molham Aref – April 20th

Title: Solver-Aided Declarative Programming Abstract: I will summarize our work on a declarative programming language that offers native language support for model (or instance) finding. This...

Tim Wood – March 9th

Title: From Pipes to Processors: Building High Performance Network Middleware Abstract: Communication networks are no longer just pipes that move data from place to place....

Ennan Zhai – March 2nd

Title: Heading off correlated failures in cloud-scale systems Abstract: Today's cloud systems heavily rely on redundancy for reliability. Nevertheless, as cloud systems become ever more structurally complex, independent...

Raja Sambasivan – February 23rd

Title: Toward a diagnosis plane for cloud computing Abstract: Today, debugging is an ad-hoc process. Yet, modern applications running in the cloud (and...

Shriram Rajagopalan – February 2nd

Title: Istio Service Mesh - Leveraging SDN principles at L7 Abstract: For the last two decades, the kernel has abstracted low-level networking concepts and TCP/IP...

Rodric Rabbah – December 1st

Title: Serverless Computing with IBM Cloud Functions Abstract: Apache OpenWhisk is an opensource state-of-the-art serverless computing platform which was developed by our group at the IBM...

November 27th – Yaron Minsky

Title: The Design of Iron Code review is a fundamental part of developing high quality software. Pretty much every software organization that cares about good code has some...

November 17th – Aruna Balasubramanian

Title: Improving Quality of Experience (QoE), Usability, and Privacy of Smartphone Applications. CIT 368, Noon Abstract: For too long, performance has been the primary concern for...

October 20th – Jeff Rasley

Title: HyperDrive: Flexible and Efficient Parallel Hyperparameter Exploration The quality of machine learning & deep learning models are sensitive to adjustable parameters (hyperparameters) set before...

October 13th – Ariel Rabkin

The Cloudera Cluster Validation System: Checking for hundreds of thousands of known issues per day Cloudera is a leading provider of big-data processing software, particularly in the...

September 29 – Minlan Yu

Minlan Yu is an associate professor in the computer science department of Yale University. She received her B.A. in computer science and mathematics from...

March 17, 2017 – Yaron Minsky

Yaron Minsky is visiting us from Jane Street.  Abstract to come - probably something to do with PL

March 30, 2017 – Marco Canini

Marco Canini is visiting us from KAUST Professor Canini‘s research interests are in the principled construction and operation of large scale networked computer systems, specifically...

November 18, 2016 – Christos Dimoulas

Christos will be visiting us from Harvard University.  He will give a talk at noon.  Title/abstract pending. It will probably be something about software contracts,...