Concurrent data representation synthesis

@inproceedings{Hawkins2012ConcurrentDR,
  title={Concurrent data representation synthesis},
  author={Peter Hawkins and Alexander Aiken and Kathleen Fisher and Martin C. Rinard and Shmuel Sagiv},
  booktitle={PLDI},
  year={2012}
}
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… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS

4 Figures & Tables

Topics

Statistics

0510152012201320142015201620172018
Citations per Year

51 Citations

Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.