Automatic parallelization with separation logic

Mohammad Raza; Cristiano Calcagno; Philippa Gardner

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

Automatic parallelization with separation logic

Mohammad Raza, Cristiano Calcagno, Philippa Gardner

Imperial College London

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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.

Original language	English
Title of host publication	18th European Symposium on Programming, ESOP 2009
Pages	348-362
DOIs	https://doi.org/10.1007/978-3-642-00590-9_25
Publication status	Published - 2009
Externally published	Yes

Access to Document

10.1007/978-3-642-00590-9_25

https://scholar.google.com/citations?view_op=view_citation&hl=en&user=VPEWcZcAAAAJ&pagesize=100&citation_for_view=VPEWcZcAAAAJ:eQOLeE2rZwMC

Cite this

@inproceedings{aac7e6d5ef56433a9a2ac7145f558217,

title = "Automatic parallelization with separation logic",

abstract = "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.",

author = "Mohammad Raza and Cristiano Calcagno and Philippa Gardner",

year = "2009",

doi = "10.1007/978-3-642-00590-9_25",

language = "English",

pages = "348--362",

booktitle = "18th European Symposium on Programming, ESOP 2009",

}

TY - GEN

T1 - Automatic parallelization with separation logic

AU - Raza, Mohammad

AU - Calcagno, Cristiano

AU - Gardner, Philippa

PY - 2009

Y1 - 2009

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

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

U2 - 10.1007/978-3-642-00590-9_25

DO - 10.1007/978-3-642-00590-9_25

M3 - Conference contribution

SP - 348

EP - 362

BT - 18th European Symposium on Programming, ESOP 2009

ER -

Automatic parallelization with separation logic

Abstract

Access to Document

Fingerprint

Cite this