Data Race Analysis and its Applications - Jin, Feiyang (ProQuest Dissertations and Theses, 2025)