Runway - A New Tool for Distributed Systems Design

Explore a groundbreaking tool for distributed systems design in this 55-minute Stanford University seminar. Delve into Runway, a comprehensive solution that combines specification, simulation, visualization, and model checking to revolutionize the way distributed and concurrent systems are designed. Learn how this innovative tool allows developers to evaluate correctness, availability, and performance while facilitating knowledge sharing. Discover insights from Diego Ongaro, a Salesforce distributed systems expert and Stanford Ph.D. graduate, as he discusses the challenges of distributed systems and the potential of Runway to transform the design process. Gain valuable knowledge about cutting-edge research in computer systems design, from integrated circuits to operating systems and programming languages, as part of Stanford's Colloquium on Computer Systems Seminar Series.