Faculty Summit 2016 - Building Practical Verified Systems
Channel:
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=3X-q-gi8YAk
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.
Other Videos By Microsoft Research
Tags:
microsoft research