@misc{indiciaecf7b5976e166, title = {CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis}, author = {Hünkar Can Tunç and Ameya Prashant Deshmukh and Berk Çirisci and Constantin Enea and Andreas Pavlogiannis}, year = {2024}, url = {https://arxiv.org/abs/2403.17818}, note = {Source identifier: 2403.17818} }