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.
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).