A Low Overhead Methodology for Validating Memory Consistency Models in Chip Multiprocessors. - Binod Kumar 001; Swapniel Thakur; Kanad Basu; Masahiro Fujita; Virendra Singh (VLSID, 2020)