Automatic Parallelization with Separation Logic

Authors

Mohammad Raza
Cristiano Calcagno
Philippa Gardner

Abstract

We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this framework for determining independences between statements in a program which can be used for parallelization.

Venue

Proceedings of the 18^th European Symposium on Programming (ESOP’09), pp. 348–362

Publication Date

2009

Identifiers

DOI: doi:10.1007/978-3-642-00590-9_25

Source Materials

Authors' Preprint/Accepted Version
techreport.pdf.pdf File
Published Edition
BibTeX Citation