Automatic Fence Insertion in Integer Programs via Predicate Abstraction.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine

Browse the full SAS paper archive.