Opportunities and Challenges in End-to-End Verification of Software Systems

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


Duration: 58:22
112 views
0

I'll start out by taking a brief tour that covers my past experience on various projects and how those experiences shape my current view of the importance and practicality of end-to-end system verification. My basic thesis is that end-to-end system verification is theoretically/technically possible, but often *economically* impractical. More importantly the marketplace for verified software systems is likely to significantly expand within this century. I'll will also discuss on going research in developing simpler and flexible semantic techniques for the verification of Foundational Proof-Carrying code systems. In particular, I will discuss how to build proofs of type soundness using higher-order abstract encodings of syntax without the need for meta-logical approaches to soundness.



Other Videos By Microsoft Research


2016-09-05Towards Concept-Based Text Understanding and Mining
2016-09-05Component Programming with Object-Oriented Signals
2016-09-05On the Capacity of Information Networks
2016-09-05One-forms and Tutte-like Embeddings
2016-09-05Personal Passion and Professional Excellence ΓÇô You canΓÇÖt have one without the other!
2016-09-05Social Mobile Applications, Location, Privacy and the Capital of Nevada [1/16]
2016-09-05Search Engines Considered Harmful: In Search of an Unbiased Web Ranking
2016-09-05Science Friction: Where the Known Meets the Unknown
2016-09-05Concave utility functions on finite sets
2016-09-05Exploring Mars by 4-Wheel Drive
2016-09-05Opportunities and Challenges in End-to-End Verification of Software Systems
2016-09-05Tools and Techniques for Prototyping Future Interactions [1/2]
2016-09-05Mathematical Sketching: A New Approach for Creating and Exploring Dynamic Illustrations
2016-09-05A learning-based approach to summarization
2016-09-05Virtual machines: the ultimate tool for computer forensics
2016-09-05Headwinds and Tailwinds:  Where is the U.S. economy going?
2016-09-05Paradigms of Worm Defense & Thoughts from an Ivory Tower
2016-09-05Machine Learning Methods for Discovery of Regulatory Elements in Bacteria
2016-09-05Eyes on Multimodal Interaction
2016-09-05From Promoter to Expression ΓÇô A Probabilistic Framework for Inferring Regulatory Mechanisms
2016-09-05Automated Reconstruction of 3D City Models from Laser Scans and Camera Images


Tags:
microsoft research