CSSTs are a novel data structure optimized for maintaining partial orders efficiently in dynamic analyses of concurrent executions.
