Declarative fence insertion.

John Bender, Mohsen Lesani, Jens Palsberg

Browse the full OOPSLA paper archive.