Automatic parallelization with separation logic (2009)

by M Raza, C Calcagno, P Gardner
Venue:In European Symposium on Programming