"Automatic Parallelization with Separation Logic."

Mohammad Raza, Cristiano Calcagno, Philippa Gardner (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics