Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion.

Sander de Putter, Anton Wijs

Browse the full IFM paper archive.