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:
- Bryan Parno, Microsoft Research
- Zachary Tatlock, University of Washington
- Xi Wang, University of Washington
- Nickolai Zeldovich, Massachusetts Institute of Technology | slides
- 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
-
-
Casey Anderson
-
-
Series: Microsoft Research Faculty Summit
-
-
Quantum Computing and Workforce, Curriculum, and Application Development: Case study
Speakers:- Krysta M. Svore,
- Martin Roetteler
-
-
-
-
Crowd, Cloud and the Future of Work: Updates from human AI computation
Speakers:- Besmira Nushi,
- Vani Mandava
-
-
-
-
-
Empowering People to Achieve More: How Useful a Concept is Productivity?
Speakers:- Brendan Murphy
-
-
Productivity in Software Development
Speakers:- Neel Sundaresan,
- Margaret-Anne Storey,
- Prem Kumar Devanbu
-
-
-
-
-
-
-
Accessible Virtual Reality
Speakers:- Eyal Ofek
-
Calendar.help: A Virtual Meeting Scheduling Assistant
Speakers:- Pamela Bhattacharya
-
Visual Studio IntelliCode
Speakers:- Mark Wilson-Thomas
-
Microsoft Teams: Collaborate with Any Researcher Anywhere
Speakers:- Jethro Seghers
-
Project Alava: Programming Webs of Microcontrollers
Speakers:- James Devine,
- Teddy Seyed
-
AI in PowerPoint
Speakers:- Kostas Seleskerov