Faculty Summit 2016 – Building Practical Verified Systems

Mobile and cloud app ecosystems are growing at a tremendous pace. Today, there are hundreds of thousands of developers building cloud apps and cloud-backed mobile apps. Unlike traditional software, these apps are typically run in uncontrolled “wild” environments: wide range of user interactions, hardware platforms, network connectivities, and fault conditions. Coping with the ensuing performance and reliability issues is difficult enough for sophisticated developers and well-funded organizations, but for small teams with fewer resources at hand, the problem is acute. In this session, we will look at modern developer tools to addressing these problems.

People

Chair: Chris Hawblitzel, Microsoft Research
Speakers:

Series:
Microsoft Research Faculty Summit
Date:
Speakers:
Chris Hawblitzel, Nickolai Zeldovich, Zahary Tatlock, Xi Wang, Bryan Parno
Affiliation:
Microsoft, Microsoft Research, University of Washington-Seattle, University of Washington-Seattle, Microsoft

Series: Microsoft Research Faculty Summit