Laws of Concurrent Programming

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


Duration: 1:04:56
3,602 views
59

A simple but complete set of algebraic laws is given for a basic language (e.g., at the level of boogie). They include the algebraic properties of concurrency, similar to those of sequential composition. The laws are valid equally for interleaved concurrency and separated concurrency, and mixtures between them (e.g., as used in VCC). Most recognised methods of program analysis and verification are simply derived from the algebra. But will it be useful?



Other Videos By Microsoft Research


2016-08-16Solving Hard Problems in Science and Education with Game-based Symbiosis of Humans and Computers
2016-08-16Personalized Services in a Privacy-Preserving Datacenter
2016-08-16Blame for All
2016-08-16Coupled dynamics of traits and populations in response to environmental change
2016-08-16Geometry and Theoretical Computer Science
2016-08-16On the Preimage Resistance of SHA-1
2016-08-16Automated FPGA Verification and Debugging
2016-08-16Mechanism Design without Money via Stable Matching
2016-08-16SpecNet: Spectrum Sensing Sans Fronti`eres
2016-08-16Non-Visual Mainstream Smartphone and Camera Interactions for Blind and Low-Vision Users
2016-08-16Laws of Concurrent Programming
2016-08-16Badge Inference for Transparent Personalization
2016-08-16DieHarder: Securing the Heap
2016-08-16Scalable, Consistent, and Elastic Database Systems for Cloud Platforms
2016-08-16Strategies for scaling up data mining algorithms
2016-08-16Applications of Grammatical Inference in Security and Program Analysis
2016-08-16User-Tailored Privacy for Internationally Operating Personalized Websites
2016-08-16Theories, Solvers and Static Analysis by Abstract Interpretation
2016-08-16Opinion Dynamics and Influence in Social Networks
2016-08-16Understanding Visual Scenes: Where are We?
2016-08-16Energy Functionals: Choices and Consequences For Medical Image Segmentation


Tags:
microsoft research