CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis.

Hnkar Can Tun, Ameya Prashant Deshmukh, Berk irisci, Constantin Enea, Andreas Pavlogiannis

Browse the full ASPLOS paper archive.