PFix: fixing concurrency bugs based on memory access patterns. - Huarui Lin; Zan Wang; Shuang Liu 007; Jun Sun 001; Dongdi Zhang; Guangning Wei (ASE, 2018)