John Bender, Mohsen Lesani, Jens Palsberg: Declarative fence insertion. OOPSLA 2015: 367-385