Proving Correctness of Concurrent Objects by Validating Linearization Points. - Peri, Sathya; Sa, Muktikanta; Singhal, Nandini (CoRR, 2017)