Automatic Parallelization with Separation Logic
Venue
Proceedings of the 18th European Symposium on Programming (ESOP’09), pp. 348–362
Publication Year
2009
Identifiers
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.