When Threads Meet Events: Efficient and Precise Static Race Detection with Origins - Liu, Bozhen (2021)