The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong

Browse the full ESOP paper archive.