Stanford EE Computer Systems Colloquium

4:30 PM, Wednesday, November 2, 2016
NEC Auditorium, Gates Computer Science Building Room B3
http://ee380.stanford.edu

Runway: a new tool for distributed systems design

Diego Ongaro
Salesforce
About the talk:

Distributed systems are notoriously difficult to get right. We’re constantly improving the frameworks we use and the way we test production code, yet we rarely invest in tools for system design. The best design tools we have are still low-tech, like whiteboards and back-of-the-envelope calculations. Runway is a new tool to help design distributed and concurrent systems. It combines specification, simulation, visualization, and model checking into one tool, so you can write a single system model and do a bunch of useful things with it: the same model can help you evaluate a design's correctness, availability, and performance while also helping others learn how the design works.

Slides:

Download the slides for this presentation in PDF format. Slides are frequently not available until after the presentation.

Videos:

About the speaker:

[speaker photo] Diego lives in San Francisco and works on distributed systems at Salesforce. Diego received his PhD in 2014 from Stanford, where he was advised by Professor John Ousterhout. During his doctorate, he worked on RAMCloud (a 5-10 microsecond round-trip key-value store), the Raft consensus algorithm (used in building fault-tolerant systems), and LogCabin (a production-ready coordination service built with Raft).

Questions about Runway should be sent to the runway-dev list at https://groups.google.com/forum/#!forum/runway-dev Diego's email address is ongaro@cs.stanford.edu , and he's @ongardie on Twitter.

Contact information:

Diego Ongaro
ongaro@cs.stanford.edu