Fence Synthesis Under the C11 Memory Model. - Sanjana Singh; Divyanjali Sharma; Ishita Jaju; Subodh Sharma 001 (ATVA, 2022)