TechFest - Applications of Automated Reasoning

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=V91oBk-nWCg


Duration: 29:55
1,459 views
16

Several recent and fundamental advances have greatly increased the power of automated reasoning tools. Using these advances, Microsoft developed software such as Static Driver Verifier for finding bugs in device drivers. But automated reasoning libraries can be used in contexts beyond bug-finding. Examples include configuration management, scheduling, compilation, and other mathematics-based applications. In this talk I will provide information on the automated reasoning libraries that are currently available and describe how developers can use them to solve a wide variety of problems that require reasoning. I will also outline the projects within MSR to develop automated reasoning tools.



Other Videos By Microsoft Research


2016-09-06Visualization on Touch Enabled Platforms
2016-09-06WACE 2005 - Gaia
2016-09-06Random Forests and the Data Sparseness Problem in Language Modeling
2016-09-06eScience Workshop 2005 - DopplerSource: .NET Framework for Accesing Doppler Radar Data
2016-09-06eScience Workshop 2005 - Bio-Workflow Using Biztalk
2016-09-06Microsoft Research Faculty Summit 2005 — Computer Science Research Agenda in Latin America
2016-09-06MIT iCampus: Disseminating Innovations, Sharing Technology, Building Community
2016-09-06WACE 2005 - Inter-Partition Networking, a Hybrid Network Platform for Collaborative Applications
2016-09-06The Giant Component
2016-09-06Exact 2-CSP Optimization Using Matrix Multiplication
2016-09-06TechFest - Applications of Automated Reasoning
2016-09-06Automatizability and Learnability
2016-09-06On the measure of intersecting families, spectral methods
2016-09-06The Number of Linear Extensions of the Boolean Lattice
2016-09-06Abelian surfaces with a given number of points
2016-09-06Rapt: Attention and the Focused Life
2016-09-06A brief synopsis of recent research at Multimedia Communications and Systems Lab
2016-09-06The End of Alchemy: Empirical Software Security Assurance
2016-09-06Partially Observable Markov Decision Processes for Spoken Dialogue Systems
2016-09-06Technical Presentations
2016-09-06The Posthuman Dada Guide: Tzara and Lenin Play Chess


Tags:
microsoft research