Bug Finding Techniques for Programs with Infinitely Many States VIDEO
I will introduce a bug finding technique for concurrent programs over a finitized data domain and a general framework for underapproximations arising from it. Then, I will move to sequential recursive programs over the integers and present a novel underapproximation technique capturing executions with unbounded stack usage. All those algorithmic techniques distinguish by offering extended coverage compared to the state-of-the-art.
Other Videos By Microsoft Research 2016-07-28 Behavior Based Authentication using Gestures and Signatures 2016-07-28 Approximating the Expansion Profile and Almost Optimal Local Graph Clustering 2016-07-28 Stochastic Dual Coordinate Ascent and its Proximal Extension for Regularized Loss Minimization 2016-07-28 A Practical Approach to Reduce the Power Consumption of LCD Displays 2016-07-28 CryptDB: Processing Queries on an Encrypted Database 2016-07-28 Performing Time, Space and Light 2016-07-28 Probabilistic Methods for Efficient Search & Statistical Learning in Extremely HighDimensional Data 2016-07-28 Quantum Computation for Quantum Chemistry: Status, Challenges, and Prospects - Session 4 2016-07-28 Quantum Computation for Quantum Chemistry: Status, Challenges, and Prospects - Session 2 2016-07-28 Quantum Computation for Quantum Chemistry: Status, Challenges, and Prospects - Session 1 2016-07-28 Bug Finding Techniques for Programs with Infinitely Many States 2016-07-28 The Exponential Mechanism for Social Welfare: Private, Truthful, and Nearly Optimal 2016-07-28 TVAL+: Combining TVLA and Value Analyses 2016-07-28 A Directionally Tunable but Frequency-Invariant Beamformer for an “Acoustic Velocity-Sensor Triad” 2016-07-28 Rationale Design of new Drugs Using Azure 2016-07-28 The Sad, Happy-Ending Story of Logic and Abstraction 2016-07-28 Exploring Richer Sequence Models in Speech and Language Processing 2016-07-28 TARDIS: Time and Remanence Decay in SRAM to Implement Secure Protocols 2016-07-28 Abstract Conflict Driven Clause Learning 2016-07-28 TouchDevelop - Program your phone ON the phone: Final event 2016-07-28 Capturing cortical dynamics to build a time-varying model of the brain
1