Faculty Summit 2016 - Building Practical Verified Systems

Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=3X-q-gi8YAk



Duration: 1:23:25
131 views
1


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.







Tags:
microsoft research