Automatic Parallelization with Separation Logic.

Mohammad Raza, Cristiano Calcagno, Philippa Gardner

Browse the full ESOP paper archive.