CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. - Hünkar Can Tunç; Ameya Prashant Deshmukh; Berk Çirisci; Constantin Enea; Andreas Pavlogiannis (ASPLOS (3), 2024)