University of Cambridge > Talks.cam > Microsoft Research Cambridge, public talks > Concurrent Data Representation Synthesis

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Concurrent Data Representation Synthesis

Download to your calendar using vCal

If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins .

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

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).

This talk is part of the Microsoft Research Cambridge, public talks series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Meet in the Courtyard Entrance Health and Welfare Reading Group 2D and 3D Heterogeneous Photonic Integration for Future Information Systems - Professor S. J. Ben Yoo, University of California

Other talks

Reachability Types, Traces, and Full Abstraction Strange New Worlds Quantifying the unquantifiable? Assessing the importance of almsgiving in early modern France and Spain Title to be confirmed Why people with schizophrenia die earlier? Mortality and accelerated ageing Gastroenterology and Acute Medicine
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity