Concurrent Data Representation Synthesis

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


Duration: 58:33
132 views
2

We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a representation of the relations as sets of cooperating data structures as well as the placement and acquisition of locks to synchronize concurrent access to those data structures. The resulting code is correct by construction: individual relational operations are implemented correctly and the aggregate set of operations is serializable and deadlock free. The relational specification also permits a high-level optimizer to choose the best performing of many possible legal data representations and locking strategies, which we demonstrate with an experiment autotuning a graph benchmark. This is a joint work with Peter Hawkins (Google), Alex Aiken (Stanford), Kathleen Fisher (Tufts University) and Martin Rinard (MIT).



Other Videos By Microsoft Research


2016-08-11Hands-on tutorial on RNNLM toolkit
2016-08-11Gender, Competitiveness and Career Choices
2016-08-11Cloud storage with minimal trust
2016-08-11Static Analysis of Interrupt-Driven Programs
2016-08-11Wireless Spectrum Sharing: Opportunities for Interdisciplinary Research
2016-08-11Scalable Network Virtualization using FPGAs
2016-08-11How To Write a Paper to Optimize its Chances for Publication Success, Part 1
2016-08-11Linear-Algebraic List Decoding And Subspace-Evasive Sets
2016-08-11High Dimensional Data
2016-08-11The Wonders of the Probabilistic Method
2016-08-11Concurrent Data Representation Synthesis
2016-08-11A Domain Specific Language for Testing Concurrent Programs
2016-08-11Planning Under Uncertainty: Challenges and Recent Progress
2016-08-11The Changing Landscape of Parallel Computing - Applications
2016-08-11Summer Number Theory Day; Session 3
2016-08-11Annotating Images with Words, Phrases and Sentences
2016-08-11A Historical View of Large Margin Optimization Methods
2016-08-11Component Based Models: Graphical Models, Sparsity, Low-rank, and all of that Sort of Thing
2016-08-11Adaptive Sampling for Ranking and Clustering
2016-08-11Program Verification via SVMs
2016-08-11Monte Carlo Methods for Bayesian Reinforcement Learning and POMDP


Tags:
microsoft research