Verifying Fence Elimination Optimisations.

Viktor Vafeiadis, Francesco Zappa Nardelli

Browse the full SAS paper archive.