Automatic Parallelization with Separation Logic

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.

• Type: Conference
• Year: 2009
• Where: ESOP
• Authors: Mohammad Raza, Cristiano Calcagno, Philippa Gardner
• Keywords: ESOP 2009, Memory Separation, Programming Languages, Separation Logic Framework