Concurrent data representation synthesis
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 t...
Main Authors: | Hawkins, Peter (Author), Aiken, Alex (Author), Fisher, Kathleen (Author), Rinard, Martin C. (Contributor), Sagiv, Mooly (Author) |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor) |
Format: | Article |
Language: | English |
Published: |
Association for Computing Machinery (ACM),
2012-08-29T19:22:47Z.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Data representation synthesis
by: Hawkins, Peter, et al.
Published: (2012) -
An introduction to data representation synthesis
by: Hawkins, Peter, et al.
Published: (2020) -
Data structure fusion
by: Hawkins, Peter, et al.
Published: (2011) -
Inductive program synthesis over noisy data
by: Handa, S, et al.
Published: (2021) -
Task-Level Data Model for Hardware Synthesis Based on Concurrent Collections
by: Jason Cong, et al.
Published: (2012-01-01)