Automatic Parallelization with Separation Logic

  title={Automatic Parallelization with Separation Logic},
  author={Mohammad Raza and Cristiano Calcagno and Philippa Gardner},
Separation logic is a recent approach to the analysis of pointer programs in which resource separation is expressed with a logical connective in assertions that describe the state at any given point in the program. We extend this approach to express properties of memory separation between different points in the program, and present an algorithm for determining independences between program statements which can be used for parallelization. 
Highly Cited
This paper has 52 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 34 extracted citations

52 Citations

Citations per Year
Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…