@inproceedings{DISC19Fence, author = {Mohammad Taheri and Arash Pourdamghani and Mohsen Lesani}, title = {Polynomial-Time Fence Insertion for Structured Programs}, booktitle = {{DISC}}, year = {2019} }